Xavier Leroy

A deep dive into how Linux manages process memory, page tables, and virtual address spaces

So, let’s just walk through the whole thing, end to end. Here’s a twelve-step program for understanding game design. One: Fun There are a lot of things people call “fun.” But most of them are not u…

Interactively Visualizing Ownership and Borrowing for Rust - rustviz/rustviz

Learn how we use macros to make it less painful to use Zig structs in C++ (and vice versa)

This is my Code BEAM Europe 2025 talk, converted to a blogpost.

Simple questions often have not so simple answers. One example is the question is, what priority does this process have?

C++20 added concepts as a language feature.
They’re often compared to Haskell’s type classes, Rust’s traits or Swift’s protocols.
Yet there is one feature that sets them apart: types model C++ concepts automatically.
In Haskell, you need an instance, in Rust…

I have a hobby.
Whenever I see the comment // this should never happen in code, I try to find out the exact conditions under which it could happen.
And in 90% of cases, I find a way to do just that.
More often than not…