Mitchell Hashimoto是HashiCorp的联合创始人，也是终端模拟器Ghostty的作者。当地时间7月29日，他官宣了离开HashiCorp三年后的第一次正式创业——Superlogical，第一站是重做终端多路复用器，终局野心是打造覆盖人机协同全场景的“工作多路复用层”。公司获得Notable Capital与Amplify Partners领投的1000万美元种子轮融资，投资人阵容中不乏Stripe、Shopify、Patrick Collison等重量级人物，其中就包括12年前就下注HashiCorp的老朋友——Glenn Solomon。

Thoughtworks与Martin Fowler在瑞士召集的软件工程未来峰会传递出一个反直觉的信号：AI代码生成能力已经过剩，真正卡住行业脖子的是验证、信任和治理。报告揭示了“Harness Engineering”崛起、学徒制断代、决策瓶颈取代产能瓶颈、老板与工程师认知鸿沟等五大趋势，并给出了技术与管理两个层面的具体行动清单。最后的结论是：当生成变得廉价，人类的判断力和审美，才是唯一不会贬值的资产。

MCP协议迎来自诞生以来最大规模的规范升级——2026-07-28版本正式发布，核心架构从有状态转为无状态，砍掉握手与会话机制，引入多轮往返请求（MRTR）、请求头路由、可缓存列表结果；MCP Apps、Tasks、企业级鉴权（EMA）正式纳入扩展框架；鉴权体系全面对齐OAuth 2.0/OIDC生产标准。Claude率先宣布跟进适配，目前MCP连接器目录已收录950+服务，SDK月下载量突破4亿。

Go 官方 Collections 工作组正式提出泛型集合标准化方案，一口气带来 hash.Map、hash.Set、set.Set、tree.Map、heap/v2.Heap 等 7 个提案，并首次给出解决“二元方法问题”的抽象集合接口设计。这是 Go 语言标准库多年来最系统的一次集合类型补课。

本文基于 Dex Horthy（HumanLayer 创始人）软件工厂为什么会失败系列第三篇《Benchmarking the new frontier》整理而成。文章介绍了 SlopCodeBench 这一新基准如何通过“检查点”机制模拟真实开发中需求逐步演进的过程，弥补了传统基准“一次性摊开问题”的缺陷。Dex 亲自用该基准的一个子集实测了 Opus 5、Sonnet 5、Opus 4.8 三个模型，最强的 Opus 5 严格通过率也只有 24%，且随着开发推进，几乎所有模型生成的代码都会触发“代码劣化”检测规则。文章最后给出了一个更有前瞻性的验证思路：把强模型维护过的代码库交给弱模型接手开发，用“能否被顺利接手”反向检验强模型的代码到底维不维护得住。