A 5-year project to develop “rigorous formal foundations for Rust”

Sorry to see this post sink without a trace; I think this is a really big deal, and I'm excited to see a shared industry/academia ecosystem growing around Rust. Now if only the macro system were a little more hygienic ....