Coding 2025-07-05
Making progress, and, unrelatedly, having a bad time.
Articles in the Coding category
Coding 2025-07-04
Might have gotten more done today if I hadn't been tired since like 8 AM.
Coding 2025-07-03
Defining "the thing I want to do" as a special case of "the thing I probably need to do" feels so nice and freeing.
Coding 2025-07-02
I'd feel slightly better about this problem if I'd anticipated it.
Coding 2025-06-30
Maybe if I add custom checking logic to some of the synthesizing nodes...
Coding 2025-06-29
Preparing to make a bunch of onerous code changes.
Coding 2025-06-28
Even if it won't deal with everything, it should still cut down the cruft considerably.
Coding 2025-06-21
It's a little annoying that I haven't come up with tests that typecheck...
Coding 2025-06-20
Kvetching.
Coding 2025-06-04
Not pivoting hard enough.