Coding 2024-02-08
A potential victory in the fight against Dafny's syntax(!)
All articles
Coding 2024-02-07
Pardon my extremely unmotivated notational choices.
Weekly Roundup 2024-02-06
I accomplished a quantity of things that I find somewhat surprising.
Coding 2024-02-05
The whole setup still looks a little strange.
Demiurgent Business 2024-02-04
Life hack: write the bulk of the post like three months ago, and then, this is the important part, actually publish it.
Diary 2024-02-03
Oh well, maybe tomorrow, but leaning towards not.
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.
Weekly Roundup 2024-01-30
Actually trying to work with some of this rigorously is still a real shock to the system.