Coding 2025-07-26
Technically there was progress.
Articles in the Coding category
Coding 2025-07-25
I forget how I even ended up focusing on this.
Coding 2025-07-23
I'm really curious what "normal" code that's supposed to accomplish this stuff looks like.
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.