Rust is a kick-ass language. Many developers hate Rust because of borrowing and responsibility rules, I get it. However, these rules that ... (more…)

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)

A hand wired ortholinear mechanical keyboard with a firmware in rust - TeXitoi/keyberon... (more…)

It has been over six months since my last update on the Rust compiler’s performance. Time for an update. (more…)

The interfaces between C and Rust in the kernel have grown over time; any non-trivial Rust dri [...]... (more…)