There’s been a lot of excitement and news recently about Project Quantum and Mozilla’s efforts to build the next generation of web browser…

Contribute to stratisd development by creating an account on GitHub. (more…)

Just yesterday, we submitted our paper RustBelt: Securing the Foundations of the Rust Programming Language. Quoting from the abstract: Rust is a new systems programming language that pr... (more…)

A systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety. (more…)

I am pleased to announce my first Rust tutorial, available through a general Rust tutorials project. The tutorial is intended to help beginners to Rust who are interested in learning Rust concepts through their application. The subject of the tutorial i... (more…)