In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Tokio. (more…)

The Lunatic VM. Contribute to lunatic-lang/lunatic development by creating an account on GitHub. (more…)

I have blogged a few times before about Stacked Borrows, my proposed aliasing model for Rust. But I am a researcher, and what researchers (are expected to) do is write papers—so that’s what... (more…)

I’m sick of the myth that Rust compile times are slow. I maintain that there are far slower tools out there that people don’t bitch about half as much. Let’s look at some case studies. (more…)

Rust for JavaScript Developers - Tooling Ecosystem Overview... (more…)