Coding 2025-01-24
These changes reduced code indentation in some places, and increased it in others. Oh well.
All articles
Coding 2025-01-23
Doing the work this post is about was a roller coaster. A tiny, relatively underwhelming roller coaster.
Coding 2025-01-22
It feels good to have hunches pay off.
Weekly Roundup 2025-01-21
Hm, a triple-header. Not likely to do that again soon.
Coding 2025-01-20
I did not, in fact, make this quick.
Coding 2025-01-19
This is going to be a delicate refactor, because on paper the code is already doing most of what it should be, it's just that the implementation is confusingly non-ideal.
Diary 2025-01-18
Taking it easy so I can take care of some business.
Coding 2025-01-17
Varying levels of intuition arguing about whether "static ref counting" is a thing that can possibly work.
Coding 2025-01-16
At some point I'll have a concrete idea of what to do next...
Coding 2025-01-15
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.