Coding 2024-07-05
This could have been longer if I didn't start it ludicrously late. Oh well.
Articles in the Short post tag
Coding 2024-07-04
Short, but more meat than "oh no I messed up again".
Diary 2024-07-01
Very, very safe to skip.
Diary 2024-06-30
Somewhat more content, but, like, not much more.
Diary 2024-06-29
Still safe to skip.
Diary 2024-06-28
Very safe to skip.
Coding 2024-06-26
Insert regular expressions joke here.
Coding 2024-06-24
Dafny, please tell me what's missing.
Coding 2024-06-23
Poking some more at Dafny.
Coding 2024-06-22
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.