miniblog.

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

I'm never sure what to name my remotes in git. I tend to use 'mine' so I can add other forks later, but sometimes I use 'gh' or the traditional 'origin'. What do others use?