News for hackers. Stuff that matters.
Re:Announcing Rust 1.26.2 by steveklabnik on Tuesday June 05, 2018 @05:05PM (#17242052)
https://plv.mpi-sws.org/rustbelt/ is the project, https://cordis.europa.eu/project/rcn/200802_en.html is the citation for the currency figure.

It's already borne some wonderful fruit. See https://www.ralfj.de/blog/2017/06/09/mutexguard-sync.html for an area where we were unsound, and https://github.com/rust-lang/rust/pull/45267#issuecomment-33... for an area where we were overly restrictive, and could remove some bounds without affecting soundness.

There are no comments on this comment yet.