Sealed Rust: A plan to bring Rust to safety critical software domainsferrous-systems.com186 pointsjamesmunns7 years ago