https://2020.icse-conferences.org/details/icse-2020-papers/68/Is-Rust-Used-Safely-by-Software-Developers-... (more…)

The latest Stack Overflow survey confirms what we already knew here at Mozilla: Rust is the most loved language for developers with 73% of… (more…)

Recently I’ve been working in static analysis land and as a part of that have been familiarizing myself with data flow analysis. I look at a fair amount of MIR and so decided to delve into the rustc_mir_dataflow crate to see how these things are handled i... (more…)

Have you ever noticed that some of the bounds on Rust’s collection types are weird? This is a very long and old story of a problem from before even 1.0. I will explain this problem, and then try to solve it in a new way. I will fail to do so, but in the p... (more…)

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