Weekly Roundup 2024-07-02
- Wednesday: I tried to make the Dafny code less brittle, and it became more brittle.
- Thursday: I investigated the "real" brittleness, and concluded that addressing it would require some kind of methodical enumeration or intuitive leap, neither of which I felt like trying to do.
- Friday: I ran out of steam.
- Saturday: I continued to be out of steam.
- Sunday: I switched tracks to some code I abandoned years ago.
- Monday: I realized that I need to take a break.
Next week, I'm going to try to take a break. It's not going super well so far.