💡
原文中文，约4100字，阅读约需10分钟。
📝
内容提要
Martin Kleppmann 在访谈中宣布《数据密集型应用设计》第二版即将发布，强调分布式系统的基础已发生变化，云原语取代了物理硬件。他指出，MapReduce 已被淘汰，AI 将推动形式化验证回归主流，提升系统安全性。同时，他对 AI 剥夺初级工程师学习机会表示担忧，认为未来将出现人才断层，并批评当前的 SaaS 模式，提倡去中心化的本地优先软件。
🎯
关键要点
-
Martin Kleppmann 宣布《数据密集型应用设计》第二版即将发布，强调分布式系统的基础已发生变化，云原语取代了物理硬件。
-
他指出，MapReduce 已被淘汰，AI 将推动形式化验证回归主流，提升系统安全性。
-
Kleppmann 对 AI 剥夺初级工程师学习机会表示担忧，认为未来将出现人才断层。
-
他批评当前的 SaaS 模式，提倡去中心化的本地优先软件。
❓
延伸问答
Martin Kleppmann 在访谈中提到的《数据密集型应用设计》第二版有哪些重要更新？
第二版强调分布式系统的基础已发生变化，云原语取代了物理硬件，并且MapReduce被淘汰，AI将推动形式化验证回归主流。
为什么 Martin Kleppmann 认为 AI 会影响初级工程师的学习机会？
他担心 AI 剥夺了初级工程师建立心智模型的机会，导致他们缺乏深刻的理解和经验积累。
Kleppmann 对当前的 SaaS 模式有什么看法？
他批评当前的 SaaS 模式为中心化，认为这种模式不健康，提倡去中心化的本地优先软件。
分布式系统的基础发生了怎样的变化？
分布式系统的基础从物理硬件转向云原语，工程师们现在关注如何与对象存储交互，而不是处理本地磁盘。
Kleppmann 如何看待 MapReduce 的未来？
他认为 MapReduce 已经彻底死了，应该关注更高级的工具如 Spark 和 Flink，而不是浪费精力在过时的技术上。
AI 如何推动形式化验证的回归？
AI 使得形式化验证变得更加可行，能够自动进行数学证明，从而在高风险领域提升系统安全性。
➡️
