Readings

Books

Isaac Asimov. (1956). The Last Question.
Tim Berners-Lee. (2000). Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web.
Liu Cixin. (2008). The Three-Body Problem / The Dark Forest / Death’s End.
Ian Cheng. (2018). Emissary’s Guide to Worlding.

Leslie Lamport. (1978). Time, Clocks, and the Ordering of Events in a Distributed System.
K. Mani Chandy and Leslie Lamport. (1985). Distributed Snapshots: Determining Global States of Distributed Systems.
Satoshi Nakamoto. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
Marc Shapiro et. al. (2011). A comprehensive study of Convergent and Commutative Replicated Data Types.
Bryan Ford. (2019). Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus.
Martin Kleppmann and Heidi Howard. (2020). Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases.
Lior Goldberg et. al. (2021). Cairo – a Turing-complete STARK-friendly CPU architecture.
Jonathan H. Jiang et. al. (2022). Avoiding the Great Filter: Predicting the Timeline for Humanity to Reach Kardashev Type I Civilization.

Jon Postel. (1980). Transmission Control Protocol. link
Jeff Bezos. (1997). 1997 Letter to Shareholders. link
Steve Jobs. (2010). Thoughts on Flash. link
Moxie Marlinspike. (2016). Reflections: The ecosystem is moving. link
Martin Kleppmann et. al. (2019). Local-first software: You own your data, in spite of the cloud. link
Moxie Marlinspike. (2022). My first impressions of web3. link
Andy Chu. (2022). The Internet Was Designed With a Narrow Waist. link
ludens (2022). Autonomous Worlds (Part 1). link
Jacky Zhao. (2022). Building a BFT JSON CRDT. link
LambdaClass. (2023). Lambda’s engineering philosophy. link
Arnaud Schenk. (2024). On Crypto. link
Arnaud Schenk. (2024). On Trust Infrastructure. link

(2019) SIGGRAPH Spotlight: Episode 30 – Tim Sweeney and the Metaverse. link
(2020) Jim Keller: Moore’s Law, Microprocessors, and First Principles | Lex Fridman Podcast #70. link
(2022) John Carmack: Doom, Quake, VR, AGI, Programming, Video Games, and Rockets | Lex Fridman Podcast #309. link