Martin Kleppmann, author of the influential book "Designing Data-Intensive Applications," discussed the second edition of his work on the Pragmatic Engineer podcast. The updated edition reflects changes in distributed systems, cloud infrastructure, and the challenges of scaling. Kleppmann also touched upon the increasing importance of formal verification in an AI-assisted world and his research into using cryptography for supply chain transparency. AI
IMPACT Highlights the growing need for formal verification in AI-assisted development and transparent supply chains.
RANK_REASON Podcast episode featuring an influential author discussing his book and industry trends.
Read on The Pragmatic Engineer →
- Kafka
- Apple
- Designing Data-Intensive Applications
- Martin Kleppmann
- Pragmatic Engineer
- Rapportive
- Spotify
- Statsig
- YouTube
- Sonar
- WorkOS
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
