Archived tweet #11882 from the @leastfixedpoint Twitter Archive@DrDeeGlaze But yes, "memory safety" is a security property. Capability discipline is a security property. It's not just OSes that have security properties. (Or, rather, it is, but OS=PLruntime, so... :-) )