软件正确性与供应链安全：与Sean Allen的对话
The Pragmatic Engineer采访了Antithesis的杰出工程师、Pony语言核心贡献者Sean Allen，讨论软件正确性与供应链安全。Allen认为，ML语言家族的强类型系统在编译期捕获的错误比ALGOL家族语言更多，而手动测试是确保正确性最差的方式。他还表示，供应链攻击没有单一的简单修复方案，因为像'E'这样防御稳健的语言并不流行，而流行语言则假设生态系统可信。
#开源生态
The Pragmatic EngineerAI 评分2222
Recode China AIAI 评分3434 DeepSeek工程师关于AI风险与Anthropic的博客文章走红，引发全球媒体关注
DeepSeek机器学习与内核工程师刘胜宇的一篇博客文章走红，他在文中质疑前沿AI如今能否优化自身的底层GPU代码，并将Anthropic CEO Dario Amodei比作Adolf Hitler。该文章被《南华早报》和Business Insider等媒体报道，放大了关于谁应掌控先进AI的争论。
Charlie O'NeillAI 评分3838 AI界的Michael Scott纸业公司：为什么开源专业化在智能上限上胜过前沿实验室
Opus 4.6和GPT-5.3-Codex上周双双发布，但决定性的较量并非原始能力。该论点认为，大多数有经济价值的工作位于专业化层，在那里，一个用客户自有数据微调的80B以下模型在该客户的工作流上胜过GPT-5.2——更快、更便宜，且无需将专有数据发送给第三方。开源只需匹配智能上限，而非前沿，而实验室对资本的依赖时钟是更弱的处境。