Weekly Roundup 2025-05-20
Okay, so I actually fixed the tests because I couldn't leave well enough alone, but there's still more to do.
Articles in the Impliciula tag
Coding 2025-05-19
I've written a bunch of tests for this code, and the main insight they're giving me is that I really need some kind of good DSL for these types.
Coding 2025-05-18
It sure seems easier to write code than to document it...
Coding 2025-05-17
To be fair, it is already prototyped...
Coding 2025-05-16
I'm doing better, but still not as well as I'd like; still able to make some progress.
Coding 2025-05-15
Preparing to build on a tarpit
Weekly Roundup 2025-01-21
Hm, a triple-header. Not likely to do that again soon.
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.