Aanand Kainth

Reading List

Distributed Systems

  1. Hierarchical Correctness Proofs for Distributed Algorithms
  2. RNG: Flat Datacenter Networks at Scale
  3. Write-Read Decoupling in Modern Large-Scale Search Engines
  4. Aurora DSQL: Scalable, Multi-Region OLTP
  5. QuePaxa: Escaping the Tyranny of Timeouts in Consensus
  6. Optimizing Distributed Protocols with Query Rewrites
  7. Finding Bugs in Raft implementations — Antithesis

History & Society

  1. A History of Democratic Kampuchea (1975–1979) — DC-Cam
  2. The Tenderloin: Sex, Crime, and Resistance in the Heart of San Francisco — Randy Shaw

California Housing