Weekly Roundup 2024-07-02
Losing motivation.
All articles
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-27
This is all a bit awkward to work with.
Coding 2024-06-26
Insert regular expressions joke here.
Weekly Roundup 2024-06-25
This is going to get so brittle when I manage to express absolute convergence. Oh well.
Coding 2024-06-24
Dafny, please tell me what's missing.
Coding 2024-06-23
Poking some more at Dafny.