Readings
A selection of papers, articles and podcasts that I’ve found interesting.
Writing fast software
Designing distributed systems
- Δ-CRDTs: making δ-CRDTs delta-based
- Clocks and causality
- Nightshade: NEAR Protocol Sharding Design
- Verifying Distributed Systems with Isabelle/HOL
Algorithms & Data Structures
Fundamentals of AI
Money and the real world
Miscellaneous