ISRG's Prossimo is moving critical software to memory safe code.
Visit memorysafety.org → RSS feedOn Hacker News Jun 2022 – May 2025
Security & Privacy 5Systems & Performance 4Software Engineering 3Open Source 2Tools & Productivity 1Networking & Internet 1
Rémy Rakic is helping us enable the adoption of memory safe software through work to improve Rust compile times. We asked him to provide his perspective on the work in this blog post. Thank you for your partnership and contributions, Rémy! Josh Aas, Head of ISRG's Prossimo project Introduction Over the past few months…
Support for using Rust in the Linux Kernel was recently merged by Linus Torvalds. This is important because Rust is memory safe, meaning that code written in Rust does not suffer from things like buffer overflows, use-after-free, and other memory management vulnerabilities that plague software written in unsafe…
In March of 2023 we announced that we were starting work on a safer high performance AV1 decoder called rav1d, written in Rust. We partnered with Immunant to do the engineering work. By September of 2024 rav1d was basically complete and we learned a lot during the process. Today rav1d works well—it passes all the same…