miniblog.

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 :)

I see that *up has become an increasingly common name for toolchain installers: rustup, ghcup, even juliaup. I think Rust was the first to use this terminology? I'm curious how similar the different *up tools are.

I've been experimenting with an 'evaluate up to cursor' mode for my PL project. I love evaluating self-contained snippets in Lisp, this generalises the idea. The interpreter remembers the arguments when you run tests, then can re-use them when you say 'eval up to here'. What do you think?