Coding 2025-07-16
"Yeah, sure, I'll rewrite the type checker. But first I have to move these penguins around in increasingly baroque ways."
"Yeah, sure, I'll rewrite the type checker. But first I have to move these penguins around in increasingly baroque ways."
Finally, I have a somewhat concrete idea to weigh the pros and cons of.
Incremental progress. Not very interesting.
I really need a good night's sleep...
One step forward, two steps back.
Repeatedly reworking this information until it's suitably simplified.
Clawing out progress, bit by bit.
Had to unwind all day, couldn't actually make any progress here...
Making progress, and, unrelatedly, having a bad time.
Might have gotten more done today if I hadn't been tired since like 8 AM.