A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.

Even if it takes more time, learning to program the hard way using as few libraries and external dependencies as possible will make you more confident.

Research shows that confident people make more money, so it also makes you rich.

In this audio stream…

A guide to bringing up the Linux Kernel and a userspace application on a new hardware (or in this case, a self-made emulator)

Have you ever wondered what a data race is? How a race detector works? If there are bugs in your race detector? We take a look.

After a decade and a half of academic and industrial research, products using CHERI to provide hardware enforced, deterministic memory safety are making their way to market. CheriBSD, a research fo...

This is an introduction to data structure flattening, a special case of arena allocation that is a good fit for programming language implementations. We build a simple interpreter twice, the normal way and the flat way, and show that some fairly mechanical…

Let’s add two numbers

Hello there, I'm a human with way too many interests.

I made a small string library in C. You can use it, it's open source. It's very basic. Here I explain how and why I did this.

Thoughts about programming, mostly