北京，终于开始热了。 六月份天气的反常，让大家觉得是不是今年夏天都会这样。不过随着七月，台风过后，北京迎来37度的高温，北京的暑假，比四川老家好一些，北京干燥，虽然气温高，但是风吹着和阴凉的地方，完全不会闷热的感觉。随着天气升温，电影市场也逐渐回热。我是看新闻才知道，今年票房市场很冷淡，远低于去年，韩红的“走个面儿”火爆社交圈。...

Haskell基金会成员Avi Press宣布，Scarf公司在使用七年Haskell后，因编译速度慢转向Python。AI时代要求快速开发，Haskell的编译时间成为瓶颈。Avi强调，AI生成Python代码的效率更高，Haskell需改进工具链以适应市场需求。

WhatsApp负责人Will Cathcart将辞职，印度金融科技创业公司Cred创始人Kunal Shah接任。Meta将向Cred投资9亿美元，获得20%股份。Cathcart在任期间推动了加密聊天备份和iPad版WhatsApp的推出。

Wasmer团队将七年的Django后端重写为Rust，成功将服务器成本降低90%。重写后，CPU从220核降至24核，内存从800GB降至64GB，查询延迟提升5-10倍。迁移过程分阶段进行，确保新旧系统兼容，最终实现更高性能和更低维护成本。尽管Rust存在编译时间长等缺点，但整体收益显著，团队架构也得到优化。

微软与OpenAI修订合作协议，解除云合作独家限制，知识产权授权变为非独家，并设定收入分成上限。双方关系转向多元化，OpenAI开始独立发展，微软也启动自研模型，双方各自追求AGI的权利。

本文探讨了信息消费的变化与个人阅读习惯的转变，强调在信息过载中保持警觉与判断力的重要性。作者反思科技与理性的偏好，认识到虚构作品和感性表达的价值，指出理性不足以全面理解世界。

李笑来回顾了七年的职业生涯，强调运气、朋友、选择和复盘的重要性。他总结了收获与错误，展望未来希望大胆探索、旅行和成为父亲，期待新七年稳步提升。

随着技术和社会问题的深入，系统性问题的边界认知不断演进。中国信创产业对.NET技术的态度从质疑转向有限接纳，反映了技术生态的成长。AvaloniaUI社区在国产化适配和跨平台开发中发挥了重要作用，推动了.NET技术在信创领域的应用与发展。2025年.NET技术峰会标志着社区主导的成熟模式，促进了技术交流与生态建设。

谷歌推出全新的Jetpack Navigation 3库，重新设计了Android应用的通知处理，提供对返回栈的完全控制，并与Jetpack Compose的状态管理无缝集成。该库支持反应式编程，简化视图栈管理，模块化设计允许自定义功能，并提供19个导航示例以助开发。

华为Nova系列手机在七年内迭代12代，Nova 14系列在影像、处理器和系统上有显著升级，配备5000万像素摄像头和麒麟8020处理器，支持HarmonyOS 5.0，展现了国产供应链的进步与自主创新。

七年前，我辞去Twitter工作，开始撰写系统设计面试书。经过努力，我们已出版七本畅销书，并计划继续推出更多。感谢所有支持者！

美股科技七巨头估值降至七年低，英伟达在上海租新办公空间，小米玄戒O1已开始量产，华为首款鸿蒙折叠电脑售价23999元起，鸿海向印度投资15亿美元，AMD出售ZT Systems业务。