UCG+Miri All-Hands 2019 Recap Rust 2019 and beyond: limits to (some) growth (by @graydon_pub)

The problem isn't "bad coders" by Sean Griffin


In this article, I’m going to look at a recent bug that was caught by the Rust compiler, which I think shows that not only is this assertion unreasonable but virtually impossible for reasons I haven’t seen discussed. While the example I’m going to give is about thread safety rather than memory safety, the arguments I’m going to present can be applied to both.