Designing Data-intensive Applications with Martin Kleppmann

《Designing Data-Intensive Applications》一书的作者 Martin Kleppmann 在 Pragmatic Engineer 播客上讨论了他的著作第二版。更新版反映了分布式系统、云基础设施的变化以及扩展性方面的挑战。Kleppmann 还谈到了在 AI 辅助世界中形式化验证日益增长的重要性，以及他关于使用密码学实现供应链透明度的研究。 AI

影响 强调了在 AI 辅助开发和透明供应链中对形式化验证日益增长的需求。

排序理由 播客节目，采访了一位有影响力的作者，讨论了他的著作和行业趋势。

在 The Pragmatic Engineer 阅读 →

• Kafka
• Apple
• Designing Data-Intensive Applications
• LinkedIn
• Martin Kleppmann
• Pragmatic Engineer
• Rapportive
• Spotify
• Statsig
• YouTube
• Sonar
• WorkOS

• 观点
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →