Weekly Roundup 2024-01-23
It's not a great feeling to run into these sharp edges, but whatever.
Articles in the Weekly Roundup category
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.
Weekly Roundup 2023-11-28
Surprising amount of work on MOTR for not intending to focus on it.
Weekly Roundup 2023-11-21
Suddenly, I made progress.