I'm regularly impressed by the engineering quality of OpenBSD.
They're very much keen C developers, but many of their techniques apply to other PL communities. Software designed collectively, refactoring for clear design, even things like pledge.
Related Posts
It feels like rename is by far the most important refactoring operation. If I had an IDE with only one refactoring, I think I'd want rename.
@krinkle A surprising number of PL design workarounds are "just add another equals sign" 🙃
I regularly see the phrase "all Xs are Ys, but not all Ys are Xs" in teaching material. Even material for children!
I have to re-read it every time. I very much prefer "Y is a more general category than X" or "X is a subset of Y".
Do people find this phrasing helpful, or is it poor pedagogy?