Coding 2026-03-11
I have achieved net zero thought on this matter.
Articles in the Coding category
Coding 2026-03-09
Just spam packs and unpacks everywhere, it'll probably work out.
Coding 2026-03-08
Good old realizing I'm wrong about something as a result of trying to explain it.
Coding 2026-03-07
Informal analysis, or lazy rationalization? Who can say?
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.
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.