Coding 2025-01-16
At some point I'll have a concrete idea of what to do next...
All articles
Coding 2025-01-15
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
Weekly Roundup 2025-01-14
I'm closing in on having a sense of whether Impliciula is, like, a workable idea.
Coding 2025-01-13
Progress on various fronts, but too tired to explain.
Coding 2025-01-12
I hope I at least converge on a consistent architecture with this stuff...
Diary 2025-01-11
Another one that's safe to skip.
Coding 2025-01-10
It's possible that I'm conflating two fundamentally different things that happen to occur around the same time.
Coding 2025-01-09
Weird obstacles, but should be over them soon.
Coding 2025-01-08
Cutting down on the keystrokes involved by at least two orders of magnitude.
Weekly Roundup 2025-01-07
Not super exciting, but I think I'm getting somewhere.