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

Earlier this year, the Rust compiler gained support for LLVM source-base code coverage. Here's a look at how to setup a CI job in a Rust project to feed source-base coverage information to GitLab. (more…)

This post is about how I booted to bare metal Rust on x86_64. My goal is to describe my learning path and hopefully get you interested in things I talk about. I’ll be very happy if you find this content useful. Note that I’m a begginer and I may be wrong ... (more…)

Helper utility to enable background updates for VS Code in Windows - microsoft/inno-updater... (more…)

I last wrote in October about my work on speeding up the Rust compiler. With the year’s end approaching, it’s time for an update. (more…)