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.
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.
Finally, this research is getting somewhere.
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.
Look, I didn't get hardly anything done today, and this is no exception.
Entry delayed by watching stream vods to drown out the voices.
I have no idea what I'm doing.
Progress, to be sure, but very slow.
Is this right? I think this is right. We'll see.
If all of this pain turns out to have hinged on subtle terminology mismatches...
Ah yes, tridirectional typing...