Weekly Roundup 2026-03-10
I'm getting a better understanding of these concepts, which sadly means I have a lot more to be uncertain about.
I'm getting a better understanding of these concepts, which sadly means I have a lot more to be uncertain about.
Just spam packs and unpacks everywhere, it'll probably work out.
Good old realizing I'm wrong about something as a result of trying to explain it.
Informal analysis, or lazy rationalization? Who can say?
Getting far enough along to wonder if I'm totally undermining the theory of how this stuff works.
Just shoving absolutely everything into function types, it'll be fine.
Avoiding old mistakes, and probably making new ones.
In theory, there's no difference between theory and practice...
It's amazing what you can accomplish with good time management, or at least strategically bad time management.
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.