miniblog.

GitHub now allows you to group your starred projects into lists: https://github.blog/changelog/2021-12-09-lists-are-now-available-as-a-public-beta/

I've come to realise that the goal of a diff tool isn't to say what's changed. You want it to say what *hasn't* changed. Unchanged content is crucial for deciding how to group changes into hunks and how to align lines. You need matched content pairs for this.

Reading the Rust traits working group notes, I'm struck by how many (17) people have worked on this feature! https://blog.rust-lang.org/inside-rust/2020/07/17/traits-sprint-3.html There are entire languages with fewer people working on them.