Articles in the Coding category

« Page 17 / 89 »

  1. Coding 2024-02-15

    By Max Woerner Chase

    Was there really a point to this? No. Is it likely to make sense to anyone else? Also no. But I did it, and I feel like that counts for something.

  2. Coding 2024-02-14

    By Max Woerner Chase

    The screens have much information about how to build software artifacts, but also, they have the terrible terrible light.

  3. Coding 2024-02-12

    By Max Woerner Chase

    Closing in on a design with a speed normally reserved for something that could get spooked.

  4. Coding 2024-02-02

    By Max Woerner Chase

    Question: is Dafny "of the belief" that the ghost version takes on a single value? Because, if so, why isn't the lemma "obvious", and if not, what the heck does any of this mean?

« Page 17 / 89 »