What's sad is that huge amounts of software are still not provably memory-safe, and this sometimes has disastrous consequences, particularly for security. I hop

What's sad is that huge amounts of software are still not provably memory-safe, and this sometimes has disastrous consequences, particularly for security. I hope that Mozilla's work on Rust will significantly contribute to solving that problem.