Designing Data-intensive Applications with Martin Kleppmann
Short summary
Martin Kleppmann discusses his journey from startups to academia, and the new edition of his book Designing Data-Intensive Applications. They cover trade-offs in modern infrastructure, cloud scalability, distributed system challenges, and emerging topics like formal verification and local-first software.
- Kleppmann rewrote and reorganized Designing Data-Intensive Applications' second edition to add consensus algorithm case studies and deeper cloud failure-handling coverage
- Cloud infrastructure has shifted the core scaling trade-offs from raw hardware capacity to network behavior and API guarantees
- Kleppmann is now researching local-first software algorithms for offline-first collaboration and cryptographic methods for supply-chain transparency that preserve pricing/manufacturing secrecy
- He predicts formal verification will become more important as AI-assisted coding introduces subtle bugs that are hard to catch otherwise
Full summary
Martin Kleppmann spent years building startups before he wrote Designing Data-Intensive Applications, and now he’s back with a heavily updated second edition. He began at companies like Rapportive, which LinkedIn bought, then moved into academia. In this episode of Pragmatic Engineer, Kleppmann traces how his hands-on work with real systems fed into the book’s deep dive on data models, stream processing and replication. He also breaks down why he chose to reorganize chapters, add new case studies on consensus algorithms and expand sections on failure handling in the cloud.
The conversation drills into trade-offs you face when you build distributed systems today. Kleppmann explains why “scale” once meant throwing hardware at a problem, and how cloud services shift those trade-offs toward network behavior and API guarantees. He walks through reliability patterns—leader election, quorum reads, consistent hashing—and why repeatable tests matter as much as code coverage. On the engineering ethics front, he questions how much responsibility we carry for data misuse and bias when we design those systems.
Toward the end, Kleppmann turns to what’s next. He argues that formal verification will gain traction in an AI-assisted world where subtle bugs can spiral out of control. He’s exploring local-first software, proving that offline-first collaboration needs fresh algorithms. And he’s researching cryptographic methods to boost transparency in supply chains without revealing secret pricing or manufacturing details. Every topic circles back to one core idea: you can’t separate theory from practice once your app handles serious data loads.
Ask about this article
https://podcasts.apple.com/us/podcast/designing-data-intensive-applications-with-martin/id1769051199?i=1000763097607
That link goes to the Apple Podcasts page for “Designing Data-Intensive Applications with Martin Kleppmann,” an episode of The Pragmatic Engineer. In it, host Gergely Orosz talks with Kleppmann about:
• His path from researcher to startup builder (Rapportive, later acquired by [LinkedIn](https://www.linkedin.com))
• Why and how he wrote Designing Data-Intensive Applications (now in its 2nd edition)
• Core trade-offs in reliability, scalability, repeatability, and cloud services
• How cloud platforms reshaped what “scaling” means
• The persistent pain points of distributed systems
• Ethics for engineers and the rising role of formal verification in AI-driven tooling
• Academia versus industry mindsets and “local-first” software design
• His recent work applying cryptography to supply-chain transparency
Sponsors mentioned include [Statsig](https://statsig.com), [SonarQube](https://www.sonarsource.com/products/sonarqube), and [WorkOS](https://workos.com). Related deep-dives on The Pragmatic Engineer cover [Bluesky](https://blueskyweb.xyz), [Kubernetes](https://kubernetes.io), and the evolution of backend infrastructure.