Microsoft: We're creating a new Rust-based programming language for secure coding

Microsoft's Project Verona involves creating a new language for "safe infrastructure programming" to be open-sourced soon.