Coffee Codex - The flaws of the CAP Theorem
Aug 24, 2025
When is CAP theorem not very useful
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 - 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