News for hackers. Stuff that matters.
Re:Announcing Rust 1.20 by steveklabnik on Thursday August 31, 2017 @10:54PM (#15145763)
This is being worked on! Several bits of the rust standard library have already been proven safe in the initial model.

There are no comments on this comment yet.