Learning C++ Memory Model from a Distributed System's Perspective (2021)

Rust's early vs. late lifetime binding

How FoundationDB works and why it works (2021)

Discover Paxos via 2PC (2019)

When and How to Invalidate Cache

Don’t point out something wrong immediately

How and why the Relational Model works for databases

Type Erasure in C++ Explained

Every Computer System Is a State Machine

Global Data Locality – Why and How

Notes on the Amazon Aurora Paper