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.
Articles in the Short post tag
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.
Diary 2024-01-10
Maybe if I turn up the lights when I get home...
Diary 2024-01-08
A good day, but nothing to write about.
Diary 2024-01-07
Slightly more done than I committed to, hooray.
Diary 2024-01-06
This is frustrating. Don't look.
Diary 2024-01-05
It'd be really weird if this turned out to represent a consistent shift in pronunciation.
Diary 2024-01-03
About two weeks of not being in our usual bed. Eesh.