Weekly Roundup 2024-01-16
Good job with Dafny, bad luck with time management.
Articles in the Weekly Roundup category
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.
Weekly Roundup 2023-11-14
I got more done on MOTR than expected, but now I'm taking a break really for real.