miniblog.

I find it fascinating how some businesses have scheduled downtime for their websites (e.g. my electricity provider last weekend), but others don't. I suspect it's primarily culture. You generally need to turn off electricity to do work, so your other tooling may reflect that.

I've been writing docs for different programming language operators (+, *, == and so on). Each one gets a separate web page. I've suddenly realised that / is much harder! docs/+ and docs/== is fine, but docs// just doesn't work as a URL in a static site. Any ideas?

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