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.
Articles in the Coding category
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.
Coding 2026-02-25
Entry delayed by watching stream vods to drown out the voices.
Coding 2026-02-23
I have no idea what I'm doing.
Coding 2026-02-22
Progress, to be sure, but very slow.
Coding 2026-02-21
Is this right? I think this is right. We'll see.
Coding 2026-02-20
If all of this pain turns out to have hinged on subtle terminology mismatches...
Coding 2026-02-19
Ah yes, tridirectional typing...