Weekly Roundup 2025-07-01
Yay, I made something.
Articles in the Impliciula tag
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.
Weekly Roundup 2025-06-24
In spite of various factors, I think I can stick the landing.
Diary 2025-06-22
I was feeling lightly burnt out, so I tried to take things easy...
Coding 2025-06-21
It's a little annoying that I haven't come up with tests that typecheck...
Coding 2025-06-20
Kvetching.
Weekly Roundup 2025-06-10
Looking good so far, but we'll see...
Coding 2025-06-04
Not pivoting hard enough.