News for hackers. Stuff that matters.

A comment on Announcing Rust 1.26.2. Parent comment

Re:Announcing Rust 1.26.2 by eatbitseveryday on Tuesday June 05, 2018 @04:59PM (#17241990)
> Participants range from "I'm interested in formal methods" to "my company uses formal methods and we're starting to apply them to Rust" to "The EU has given almost two million Euro for a university grant to prove Rust code" and everywhere in between :)

Steve - can you give me a source for the latter? I'd like to read more into that, specifically.

edit: this? https://joinup.ec.europa.eu/news/eu-funds-open-source-progra...

[ Parent | on HN ]
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.

[ Parent | on HN ]