Coding 2024-01-19
Regrettably, I'm just getting started. This notation and its uses are... flexible.
Articles in the Coding category
Coding 2024-01-18
If I can't figure out how to do this one thing in Dafny, I'll have to switch to some other system where I can.
Coding 2024-01-17
I don't remember reading this chapter before, which is kind of weird.
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.
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...
Coding 2023-12-29
"Ooh, nameless things, how spooky..." They're really confusing and frustrating, is what they are.
Coding 2023-12-28
Trust nobody, not even yourself.
Coding 2023-12-27
I confused myself several times working this out.