Coding 2025-07-26
Technically there was progress.
Articles in the short post tag
Coding 2025-07-25
I forget how I even ended up focusing on this.
Diary 2025-07-24
Time to be a blob indefinitely.
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.
Diary 2025-07-20
Skip.
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."