Coding 2025-07-23
I'm really curious what "normal" code that's supposed to accomplish this stuff looks like.
Articles in the Coding category
Coding 2025-07-21
I couldn't see anything to do at this point besides the unpleasant part, so I guess I had to do that.
Coding 2025-07-19
Still just chipping away at this stuff.
Coding 2025-07-18
Solid progress, but not terribly interesting. Safe to skip.
Coding 2025-07-17
Code is a liability, so I'm writing just enough to hopefully get things working.
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."
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.