Coffee Codex - OLAP vs OLTP
Sep 6, 2025
Learning about OLAP vs OLTP workloads and storage patterns
Blog
Thoughts on distributed systems, software engineering, and things I'm learning.
Coffee Codex - The flaws of the CAP Theorem
Aug 24, 2025
When is CAP theorem not very useful
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