Coffee Codex - Formal Methods and P lang
Jun 7, 2025
Learning about how AWS uses P and formal methods to verify system correctness
Blog
Thoughts on distributed systems, software engineering, and things I'm learning.
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