There’s a lot of tribal knowledge surrounding #[inline] attribute in Rust.I often find myself teaching how it works, so I finally decided to write this... (more…)

F$&k the borrow checker, or “How I learned to stop worrying and love the compiler”. (more…)

I've recently been working on a Rust course for the Qvault app. In order to write a more engaging course, I want students to be able to write and execute code... (more…)

We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memory reasoning for many Rust programs, as long as they do not rely on interior... (more…)

Scipio (pronounced skip-io or |skɪpjəʊ|) is a cooperative thread-per-core crate for Rust & Linux based on io_uring. It allows you to write asynchronous code that takes advantage of rust async/await, but it doesn't use helper threads anywhere. (more…)