miniblog.

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?

I really like base-2 prefixes in writing, e.g. 1 KiB, 2 MiB, 3 GiB and so on. It's way more explicit. However, SI units are k M G and so on. Switching between lowercase k and uppercase Ki keeps tripping me up.

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