miniblog.

Playing with Claude and my new programming language has made me add features that it wants. I think they're reasonable. `for method in methods` -- custom syntax error explaining that `method` is a reserved word `echo 'println("hello world")' | garden` -- eval snippets from stdin

Difftastic has been cited in a paper! Modernizing SMT-Based Type Error Localization https://arxiv.org/abs/2408.09034 The authors use difftastic to work out which parts of a buggy program have actually changed, a great use case :)

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