A Sad Day for Rust

Re:A Sad Day for Rust by rowanG077 on Saturday January 18, 2020 @08:27AM (#22084316)

I didn't say it no one will do it. I said almost no one. The Rust compiler is about as far from a normal project as can be. I would like to see this changed but really I have never even seen a proof requirement when looking at Rust jobs. Not even once.

[ Parent | on HN ]

Re:A Sad Day for Rust by fluffything on Monday January 20, 2020 @10:01AM (#22099237)

> I would like to see this changed but really I have never even seen a proof requirement when looking at Rust jobs. Not even once.

Any B.Sc. in CS can do most of the unsafe proofs in a one liner. All crates I maintain require unsafe blocks to be commented with a proof, for most of them the proofs are trivial, and for all of them that weren't, the unsafe code was correct, and the correct one had a trivial proof.

[ Parent | on HN ]

Re:A Sad Day for Rust by rowanG077 on Monday January 20, 2020 @11:25AM (#22099899)

It's fine that YOU do it. But how many unsafe blocks have a proof in the entire Rust ecosystem (read all crates). 5% maybe? I'm not sure what your point is that any B.Sc. in CS can do it.

[ Parent | on HN ]