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."
All articles
Weekly Roundup 2025-07-15
It took some time and effort, but I've finally got something to work from.
Coding 2025-07-14
Finally, I have a somewhat concrete idea to weigh the pros and cons of.
Diary 2025-07-13
Let's be real, I was watching game shows for like three hours.
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.
Weekly Roundup 2025-07-08
Gotta eat my vegetables...
Coding 2025-07-07
Clawing out progress, bit by bit.