Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog RustBelt: Securing the Foundations of the Rust Programming Language