Coffee Codex - Reverse engineering twitch.tv
Jul 12, 2025
Reverse Engineering Twitch's network connections
Blog
Things I'm learning about distributed systems, software engineering, and anything else. Less of a blog, more of a learning log.
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