Coffee Codex - Learning P For Formal Methods
6/15/2025
Learning about the P Programming Language

Coffee Codex - Formal Methods and P lang
6/7/2025
Learning about how AWS uses P and formal methods to verify system correctness

Coffee Codex - Dropbox Magic Pocket II
5/31/2025
Learning about the architecture of how Dropbox stores exabytes of data

Coffee Codex - Fluid Compute
5/26/2025
Learning about how Vercel's Fluid Compute works

Coffee Codex - Dropbox Magic Pocket I
5/17/2025
Learning about how Dropbox stores exabytes of data

Coffee Codex - Replication
4/19/2025
Learning about Replication in Distributed Systems

Coffee Codex - How AWS Lambda Works (Part 2)
4/12/2025
Learning about Lambda Workers/Firecracker

Coffee Codex - How AWS Lambda Works (Part 1)
4/5/2025
Learning about Lambda

Coffee Codex - Multiple Queues
3/29/2025
Learning about Multiple Queues in bathrooms (Distributed Systems)

Coffee Codex - Broadcast Ordering Algorithms 1
3/22/2025
Learning about Broadcast ordering algorithms in Distributed Systems

Older Posts