Coding 2026-03-07
Informal analysis, or lazy rationalization? Who can say?
Articles in the Impliciula tag
Coding 2026-03-06
Getting far enough along to wonder if I'm totally undermining the theory of how this stuff works.
Coding 2026-03-05
Just shoving absolutely everything into function types, it'll be fine.
Coding 2026-03-04
Avoiding old mistakes, and probably making new ones.
Weekly Roundup 2026-03-03
In theory, there's no difference between theory and practice...
Coding 2026-03-02
It's amazing what you can accomplish with good time management, or at least strategically bad time management.
Coding 2026-03-01
Not feeling super-confident here, but fundamentally, I "just" need to balance out all of the call-by-push-value bookkeeping, and figure out where it wants annotations.
Coding 2026-02-28
Finally, this research is getting somewhere.
Coding 2026-02-27
I don't want to buckle down and just work on stuff, which is unfortunate, because that's exactly what I need to do for this project to get anywhere.
Coding 2026-02-26
Look, I didn't get hardly anything done today, and this is no exception.