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?

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

The word "agent" is so overloaded in the AI space. Sometimes it means a sophisticated interaction system, but other times it just means API. I think it's partly a sign of how new the space is. We don't have consensus on the best way to use these systems yet.