Weekly Roundup 2024-02-13
Train of thought jumped the tracks and landed on another set of tracks.
Train of thought jumped the tracks and landed on another set of tracks.
I accomplished a quantity of things that I find somewhat surprising.
Actually trying to work with some of this rigorously is still a real shock to the system.
It's not a great feeling to run into these sharp edges, but whatever.
Good job with Dafny, bad luck with time management.
I am preparing to slack off so much, you guys.
Post-holiday rundown
A hectic week.
A few time many "Whoops it's 11 PM"s this week...
I'm not sure, but I think my efforts to get more dang sleep are paying off.