Coding 2024-01-17
I don't remember reading this chapter before, which is kind of weird.
All articles
Weekly Roundup 2024-01-16
Good job with Dafny, bad luck with time management.
Coding 2024-01-15
No actual coding today, but I didn't want to put this entry out of context.
Coding 2024-01-14
It's going to be really jarring when I'm not just checking the book's work for going from recurrence relations to closed forms.
Diary 2024-01-13
Don't want to go through that again.
Coding 2024-01-12
Let's see how well the Mystery Code I installed to get this post to render works.
Coding 2024-01-11
Still a little rough around the edges...
Diary 2024-01-10
Maybe if I turn up the lights when I get home...
Weekly Roundup 2024-01-09
I am preparing to slack off so much, you guys.
Diary 2024-01-08
A good day, but nothing to write about.