Coding 2024-01-17
I don't remember reading this chapter before, which is kind of weird.
Articles in the Dafny tag
Weekly Roundup 2024-01-16
Good job with Dafny, bad luck with time management.
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.
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...