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
影响 Highlights the growing need for formal verification in AI-assisted development and transparent supply chains.
排序理由 Podcast episode featuring an influential author discussing his book and industry trends.
- Kafka
- Apple
- Designing Data-Intensive Applications
- Martin Kleppmann
- Pragmatic Engineer
- Rapportive
- Spotify
- Statsig
- YouTube
- Sonar
- WorkOS
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
