miniblog.

I'm surprised by how many different weather forecasts I can get out different apps. Surely there aren't many API providers for weather predictions? Alternative conspiracy theory: do weather apps that predict nicer weather get more downloads?

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

Today I learnt that Racket *intentionally* doesn't have a traditional REPL workflow. The authors were concerned about students not understanding the state between the current session and the code on disk. (Arguably Jupyter has some of these features now.) https://blog.racket-lang.org/2009/03/the-drscheme-repl-isnt-the-one-in-emacs.html