There are many paths to memory safety, even if the one Rust project seems to be going nowhere. There's other memory-safe languages, and there's formal verifica

There are many paths to memory safety, even if the one Rust project seems to be going nowhere. There's other memory-safe languages, and there's formal verification. e.g. seL4 favors pancake.