Weekly Roundup 2024-02-13
- Wednesday: I tried to get the logic right for handling "absolute convergence requires that only countably many values are non-zero".
- Thursday: I wrote really weird code.
- Friday: I explained why I wrote the really weird code, and what I think makes it weird.
- Saturday: I got sidetracked away from Dafny to work on build pipelines for a novel draft.
- Sunday: I tried to figure out the minimum I need from these pipelines, so I can get back to writing.
- Monday: I went over what I'm trying to do there again, and put together the beginnings of a basic idea of how this all should work.
Next week, I'll keep working on something, that's for sure.