Coffee Codex - Jim Gray's Transactions II
Jan 10, 2026
Learning about transactions from Jim Gray's paper (Part 2)
Blog
Thoughts on distributed systems, software engineering, and things I'm learning.
Coffee Codex - Jim Gray's Transactions I
Dec 6, 2025
Learning about transactions from Jim Gray's paper (Part 1)
Coffee Codex - DuckDB
Nov 15, 2025
Learning about DuckDB
Coffee Codex - AWS outage
Oct 25, 2025
Reading the postmortem for the AWS outage
Coffee Codex - hydro.run
Oct 18, 2025
Learning about hydro.run
Coffee Codex - The Log
Oct 11, 2025
Learning about the fundamentals of the log in distributed systems
Coffee Codex - Processes and Threads
Sep 27, 2025
Learning about processes and threads from Planetscale
Coffee Codex - Durable Queues
Sep 13, 2025
Learning about from DBOS about how Distributed Queues were solved
Coffee Codex - OLAP vs OLTP
Sep 6, 2025
Learning about OLAP vs OLTP workloads and storage patterns
Coffee Codex - The flaws of the CAP Theorem
Aug 24, 2025
When is CAP theorem not very useful
Coffee Codex - CRDTs
Aug 10, 2025
Learning about CRDTs
Coffee Codex - Convex Backend
Aug 2, 2025
Learning about the convex.dev backend
Coffee Codex - Convex Client
Jul 26, 2025
Learning about the the convex.dev client
Coffee Codex - Implementing formal methods for Two Phase Commit II
Jul 20, 2025
Two Phase Commit in the P language II
Coffee Codex - Reverse engineering twitch.tv
Jul 12, 2025
Reverse Engineering Twitch's network connections
Coffee Codex - Implementing formal methods for Two Phase Commit
Jun 28, 2025
Two Phase Commit in the P language
Coffee Codex - Learning P For Formal Methods
Jun 15, 2025
Learning about the P Programming Language
Coffee Codex - Formal Methods and P lang
Jun 7, 2025
Learning about how AWS uses P and formal methods to verify system correctness
Coffee Codex - Dropbox Magic Pocket II
May 31, 2025
Learning about the architecture of how Dropbox stores exabytes of data
Coffee Codex - Fluid Compute
May 26, 2025
Learning about how Vercel's Fluid Compute works
Coffee Codex - Dropbox Magic Pocket I
May 17, 2025
Learning about how Dropbox stores exabytes of data
Coffee Codex - Replication
Apr 19, 2025
Learning about Replication in Distributed Systems
Coffee Codex - How AWS Lambda Works (Part 2)
Apr 12, 2025
Learning about Lambda Workers/Firecracker
Coffee Codex - How AWS Lambda Works (Part 1)
Apr 5, 2025
Learning about Lambda
Coffee Codex - Multiple Queues
Mar 29, 2025
Learning about Multiple Queues in bathrooms (Distributed Systems)
Coffee Codex - Broadcast Ordering Algorithms 1
Mar 22, 2025
Learning about Broadcast ordering algorithms in Distributed Systems
Coffee Codex - Broadcast Ordering
Mar 8, 2025
Learning about Broadcast ordering in Distributed Systems
Coffee Codex - Vector Clocks
Mar 1, 2025
Learning about Vector Clocks in Distributed Systems
Coffee Codex - Lamport Clocks
Feb 22, 2025
Learning about Lamport Clocks in Distributed Systems
Coffee Codex - Causality and happens-before
Feb 8, 2025
Learning about causality in Distributed Systems
Coffee Codex - Clock Synchronization
Feb 1, 2025
Learning about synchronizing clocks in Distributed Systems
Coffee Codex - Physical Clocks
Jan 26, 2025
Learning about Physical clocks in Distributed Systems
Union Find Implementation in Redis
Jun 17, 2024
Implementing a Disjoint Set (Union Find) in Redis