Coffee Codex - Convex Client
Jul 26, 2025
Learning about the the convex.dev client
Blog
Things I'm learning about distributed systems, software engineering, and anything else. Less of a blog, more of a learning log.
RSS Feed 
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