miniblog.

Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv

Claude asked me a question today: was I looking for an Emacs plugin (because I was talking about elisp) or a Rust program (because I have configured Rust preferences)? I'm really impressed, it's rare to see LLMs ask follow-up questions. (I wanted Emacs in this case.)

Some delightful examples of good compiler error messages in the latest Gleam release: https://gleam.run/news/context-aware-compilation/