Weekly Roundup 2024-02-06
I accomplished a quantity of things that I find somewhat surprising.
Articles in the Weekly Roundup category
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...
Weekly Roundup 2023-12-12
I'm not sure, but I think my efforts to get more dang sleep are paying off.
Weekly Roundup 2023-12-05
Mostly I just realized just how tired I've consistently been lately, and how I should do something about that.