Diary 2024-01-25
Uuuuuugh again
Articles in the short post tag
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.
Diary 2024-01-22
Uuuuuugh
Coding 2024-01-21
I should not be trusted to know what is not possible with Dafny.
Coding 2024-01-20
I can't tell if it needs to be like that.
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.
Coding 2024-01-17
I don't remember reading this chapter before, which is kind of weird.
Coding 2024-01-15
No actual coding today, but I didn't want to put this entry out of context.
Diary 2024-01-13
Don't want to go through that again.