Weekly Roundup 2024-01-16
- Wednesday: I didn't have a good time going back into work.
- Thursday: I tried using marimo and Dafny to verify stuff related to Concrete Mathematics. It didn't go great to start with.
- Friday: I got Dafny working much better.
- Saturday: Too much work. (Remember that I date these the day after I write them...)
- Sunday: I ran into some issues with Dafny; I basically had to declare a helper function "closed form" by fiat, even though it's not, I don't think.
- Monday: I took a look at the harder problems from Concrete Mathematics, and decided, you know what, I don't need to do those right now.
Next week, I'm going to keep up with that, try to work on lore for my wife's writing, maybe get back to my own writing, and maybe get a better handle on audio editing because I have some weird ideas to get out.