Series

Lock-Free SPSC Queue Programming from Scratch

Build a complete lock-free single-producer, single-consumer (SPSC) queue from scratch. Learn circular buffers, atomic operations, memory ordering, and cache-aware programming for high-performance systems.

3-Part Series Ongoing

Building a Formal Verification Tool from Scratch

A deep dive into building a TLA-based formal verification tool from scratch. Learn systems programming, virtual machines, parsers, compilers, and formal method by building a real tool.

3 articles Ongoing