Introduction to UX/RT (2022)

A Rusty CHERI – The path to hardware capabilities in Rust [video]

Implementing the NTFS filesystem in Rust

Self-Hosting (Almost) All the Way Down [video]

Starting Over – A FOSS proposal for a new type of OS for a new type of computer

PostgreSQL used fsync incorrectly for 20 years (2019)

Guix: Unifying provisioning, deployment, and management in the age of containers

GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows (2019)

Emacs Should Be Emacs Lisp - Thoughts on the Future of Emacs

FOSDEM 2019 - Autonomous Train Control Systems: a First Approach

Python 3 Is Now 10 Years Old Was It Worth It?

The Microkernel Overhead (2012)

Comparing codes of conduct to copyleft licenses (2016)

F9: Secure Microkernel for Deeply-Embedded Devices (2017)