Weekly Roundup 2024-01-30
Actually trying to work with some of this rigorously is still a real shock to the system.
Articles in the Dafny tag
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.
Weekly Roundup 2024-01-23
It's not a great feeling to run into these sharp edges, but whatever.
Coding 2024-01-21
I should not be trusted to know what is not possible with Dafny.
Coding 2024-01-19
Regrettably, I'm just getting started. This notation and its uses are... flexible.
Coding 2024-01-18
If I can't figure out how to do this one thing in Dafny, I'll have to switch to some other system where I can.