Starting with a 192-byte one-liner that implements a Reverse Polish Notation arithmetic compiler, we'll work backward to transform it into readable JavaScript by removing one code golf trick at a time

VMs are much harder to understand these days. Linux provides many building blocks for virtualization, but only a select few kernel engineers know how to stitch them together. So, we compiled our understanding into this blog that describes four reference architectures…

approximate distinct counting algorithm

Reproduce Deepseek R1 „aha moment“ and train an open model using reinforcement learning trying to teach it self-verification and search abilities all on its own to solve the Countdown Game.

Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.

Linux running inside a PDF file via a RISC-V emulator - ading2210/linuxpdf

In this blog post, we’ll explore implementing order-independent keyword arguments for C++ through use of C++26’s proposed reflection features. I stumbled upon this technique while experimenting with reflection a few days ago and thought it might be worthwhile…

Well, at least it’s not Swift.

A comparison of how well Rust and Ada prevent the most common memory-related software errors.

The Dafny Programming and Verification Language and tools

We discuss how to make sure that your access to TLS (thread-local storage) is fast, and how the presence of constructors and shared libraries affects the access time.

Yep. We got the Doom engine running purely in TypeScript types. Like. For real. We’ve prepared two more videos, one answering “why we did this” (storytime format) and another answering “how we did this” (technical deep-dive). What would you like to hear…