I recently wrote about some work I’ve done to speed up the Rust compiler. Since then I’ve done some more.

I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf argument... (more…)

A research operating system developed from scratch in Rust, aimed to explore the impact of language safety on operating system organization. (more…)

Rust has an amazing dbg macro that lets you quickly set up an expression printer that will also put in the source line. It also returns the value of the expression so you can even easily inline the printing when you want to! (more…)

Facebook is excited to announce that it has joined the Rust Foundation as a Platinum member. (more…)