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."
Articles in the Coding category
Coding 2025-07-14
Finally, I have a somewhat concrete idea to weigh the pros and cons of.
Coding 2025-07-12
Incremental progress. Not very interesting.
Coding 2025-07-11
I really need a good night's sleep...
Coding 2025-07-10
One step forward, two steps back.
Coding 2025-07-09
Repeatedly reworking this information until it's suitably simplified.
Coding 2025-07-07
Clawing out progress, bit by bit.
Coding 2025-07-06
Had to unwind all day, couldn't actually make any progress here...
Coding 2025-07-05
Making progress, and, unrelatedly, having a bad time.
Coding 2025-07-04
Might have gotten more done today if I hadn't been tired since like 8 AM.