Weekly Roundup 2024-02-20
I sort of forgot how long this was lasting...
Articles in the Weekly Roundup category
Weekly Roundup 2024-02-13
Train of thought jumped the tracks and landed on another set of tracks.
Weekly Roundup 2024-02-06
I accomplished a quantity of things that I find somewhat surprising.
Weekly Roundup 2024-01-30
Actually trying to work with some of this rigorously is still a real shock to the system.
Weekly Roundup 2024-01-23
It's not a great feeling to run into these sharp edges, but whatever.
Weekly Roundup 2024-01-16
Good job with Dafny, bad luck with time management.
Weekly Roundup 2024-01-09
I am preparing to slack off so much, you guys.
Weekly Roundup 2024-01-02
Post-holiday rundown
Weekly Roundup 2023-12-26
A hectic week.
Weekly Roundup 2023-12-19
A few time many "Whoops it's 11 PM"s this week...