Empowering everyone to build reliable and efficient software. - rust-lang/rust... (more…)

UNDER CONSTRUCTION I had the honor of attending this workshop , however, this is not a full report. Instead, I am reporting on what I learned and how it relates to my So You Want to Rust the Linux Kernel? blog series that I started in 2021, and of which t... (more…)

Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot... (more…)

The Linux Plumbers Conference (LPC) is a developer conference for the open source community. The LPC brings together the top developers working on the plumbing of Linux - kernel subsystems, core libraries, windowing systems, etc. - and giv... (more…)

This month we see a trend, in blockchain and across the Rust ecosystem, of projects quickly picking up stable async/await support and migrating to tokio 0.2. (more…)