Blog
Building a Formal Verification Tool from Scratch: Part 1 (Die Hard Edition)
What if you could explore every possible timeline of your distributed system to find the bugs you haven't imagined yet? I'm building a TLA model checker from scratch to understand how formal verification works
2025 Wrapup: Articles, Talks, Papers, and Software I Loved
A look back at some of the most impactful articles, talks, research papers, and software tools that shaped my year in 2025.
Building a Lock-Free Single Producer, Single Consumer Queue (FIFO)
Build a complete lock-free Single Producer Single Consumer (SPSC) queue from scratch. Step-by-step implementation in Zig with detailed explanations of every atomic operation and memory ordering choice.
Faster Websites with Client-side Prerendering & Speculation Rules API
Learn how to use client-side prerendering and the Speculation Rules API to improve the performance of your site.
When Threads Share Memory: Understanding Race Conditions and Atomics
Learn why multi-threaded programs break in subtle ways and how atomic operations fix them. A practical guide to race conditions, memory ordering, and Acquire/Release semantics.
On Software Complexity: Why Can't We Make Simple Software?
Exploring the challenges of software complexity and advocating for simplicity in design.
Write Your Own FIFO Queue: An Essential Data Structure for Modern Systems
Learn how to implement a queue data structure from scratch using circular buffers. Understand FIFO principles, constant-time operations, and why this pattern powers everything from audio processing to network packet handling. Code examples in Zig.
The Road Ahead: Why I'm Going All-In on Zig
This is a story about leaving the comfort of web development to tackle hard problems, find a new philosophy, and build software that lasts.
Angular Signals: Building a Reactive Countdown Timer
A comprehensive tutorial for experienced Angular developers to learn Angular Signals and their practical applications.