So you’re writing Rust but it’s not fast enough?Even though you’re using cargo build --release?Here’s some small things you can do to increase the runtime speed of a Rust project– practically without changing any code! (more…)

Contribute to matklad/cargo-xtask development by creating an account on GitHub. (more…)

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project. (more…)

I think people really don't appreciate just how incomplete Linux kernel API docs are, and how Rust solves the problem. (more…)

Hey guys, I made a thing! I call it RoaaR, you can see it here: https://github.com/shaunmulligan/roaar. Lately I have been playing around and trying to learn the rust language, but it gets really annoying having to include all the rust toolchain and pus...