Building a Container Runtime in Rust

The container ecosystem is growing up. Proprietary implementations are gradually being replaced by open standards. One of the most important standards from the open container initiative is the oci-runtime spec, which allows alternative container runtimes … Read more


Rust is Software’s Salvation

After the post by Steve Klabnik, “Rust is more than safety”, and a reply by Graydon Hoare, “Rust is mostly safety” - I thought it wise to throw my opinion into the mix, whether warranted or not. This is going to be a long article, which I hope rai...

Read more »

Putting the Rust in Trust

After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

Read more »