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…)

rust-out-your-c-talk - Slides and resources for my talk "Rust out your C", first given at Pittsburgh Tech Fest June 11, 2016. (more…)

A PKCS#11 v3.0-compliant Software Hardware Security Module (HSM) written in pure Rust - craton-co/craton-hsm-core... (more…)

In a previous post, I shortly discussed the concept of “effects” and the parallels between them. In an unrelated post since then, Yosh Wuyts writes about the problem of trying to write fallible code inside of an iterator adapter that doesn’t support it. I... (more…)

Outperforming Rust With Functional Programming... (more…)