Empowering everyone to build reliable and efficient software. (more…)

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. (more…)

Between 2016 and 2020 I wrote a series of blog posts called “How to speed up the Rust compiler”. These were mostly about my work on the Rust compiler, plus some updates on the progress on the Rust compiler’s speed in general. (more…)

The Rust programming language makes it easier to build safer software. What will it take to Rust All the Things? (more…)

Correct concurrent programs are difficult to write; when multiple threads mutate shared data, they may lose writes, corrupt data, or produce erratic program behavior. While many of the data-race issues with concurrency can be avoided by the placing of loc... (more…)