GeistHaus
log in · sign up

RustBelt

plv.mpi-sws.org
12 pages link to this URL
10 Years of Stable Rust: An Infrastructure Story - The Rust Foundation

A note from the Rust Foundation: Today, May 15, 2025, marks 10 years since the first stable release of Rust. To commemorate this milestone, we are excited to share the following guest blog contributed by Graydon Hoare, initial author of the Rust programming language. Rust turns 10 today, or at…

2 inbound links article en
Formalizing Rust

My current research project – and the main topic of my PhD thesis – is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...