Videos from Rust Belt Rust 2016 are now available

Rust Belt Rust ( is a conference about the Rust programming language held in the Rust Belt region of the US. In 2016, it was h…


Revisiting a ‘Smaller Rust’

A bit over a year ago, I wrote some notes on a “smaller Rust” - a higher level language that would take inspiration from some of Rust’s type system innovations, but would be simpler by virtue of targeting a domain with less stringent requirements for user... (more…)

Read more »