Coding 2024-02-07
Pardon my extremely unmotivated notational choices.
Articles in the Coding category
Coding 2024-02-05
The whole setup still looks a little strange.
Coding 2024-02-02
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?
Coding 2024-02-01
Extremely excited to rewrite my tasks.py file to run dafny verify path/to/dfyconfig.toml as much as possible.
Coding 2024-01-31
Hoarding property definitions like a really weird dragon.
Coding 2024-01-29
I'm not retyping those names.
Coding 2024-01-28
Cutting edge technology, in that there are many edges to cut oneself on.
Coding 2024-01-27
I don't intend to inflict these names on anyone else more than this post already does so.
Coding 2024-01-26
No idea if this will work. Slightly worried it'll drain my battery. Oh well.
Coding 2024-01-24
I really hope "if you're missing certain asserts, it just spins its wheels forever" is something that's going to go away.