miniblog.

I'm surprised there aren't more interpreted languages with a first party type checker. Python has several good type checkers, Ruby has Sorbet, and there are others. Having zero compilation time *and* a full IDE seems like such a compelling design, at least on paper.

I've been impressed with code written by Fable in my testing: Difftastic: found small optimisations in a hot loop I'd already profiled extensively. Helped me prototype Dijkstra to A* too (hard to find a good heuristic). Garden: Found some real bugs in my simplistic typechecker.

I've had good results by prompting an LLM "review your changes" in the same session when I don't like the initial output. I'm surprised this is effective: I would think it's redundant when you're running with a high effort setting.