In recent weeks several vulnerabilities have rocked the Rust community causing many to question its safety. This post examines two such vulnerabilities. (more…)

Contribute to KillingSpark/rustysd development by creating an account on GitHub. (more…)

A practical introduction to async programming in Rust A practical introduction to async programming in Rust In this post we will explore a brief … (more…)

After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

This post will be a bit all over the place. Several months ago, I wrote Hard Mode Rust, exploring an allocation-conscious style of programming. In the ensuing discussion, @jamii name-dropped TigerBeetle, a reliable, distributed, fast, and small database w... (more…)