miniblog.

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?

Defining a subset of #[no_std] Rust, formally verifying it, and releasing it as 'Sealed Rust' for use in safety critical systems like automotive and avionics:

Wow, there's an entire Clojure interpreter implemented in Go! https://github.com/candid82/joker The primary use case seems to be linting, but it implements an impressive subset of the language.