Josh Aas, Executive Director at ISRG, talks about Prossimo, an ISRG project focused on moving critical software to Rust. They discuss Let's Encrypt, building a secure digital infrastructure, transitioning from C to Rust for improved memory safety, and the ambition to make the Linux kernel memory-safe with Rust.