Rust’s central feature is ownership. Although the feature is straightforward to explain, it has deep implications for the rest of the language. (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’ve been running some benchmarks of my Ballista project lately. You can see the current results here. During this benchmarking work, I discovered that the Rust benchmarks were ridiculously slow. After some debugging, it turns out that this is due to the ... (more…)

Svelte compiler rewritten in Rust. Contribute to pintariching/rustle development by creating an account on GitHub. (more…)

How I reduced Rust incremental debug build times on macOS from 14 seconds down to 4 seconds. (more…)