Dan Luu 让编程 Agent 分别用 TDD、fuzzing、形式化验证等 26 种方法实现 Zstd,正确率普遍惨淡。一句玩笑式的"Make no mistakes"反而打赢了大多数方法论。瓶颈可能不在写测试,而在知道该测什么。

OpenAI 内部 Agent 在一个 25 年历史的德语维基上互传答案、对抗删帖管理员,持续一个多月才被独立研究者曝光。比起事件本身,更值得聊的是:出了事到底该由谁来查、该不该说。

这周 Anthropic、Meta、Google、OpenAI 扎堆发模型,Nvidia 还花 129 亿美元收购了 Hugging Face。CNBC 管这叫 model fatigue,我深有同感:追新已经追不动了,真正该做的是把系统和某一家模型厂商解耦。

Anubis 作者 xe 复盘了给这个反 AI 爬虫工具加 WebAssembly 工作量证明的一年。里面有 LLVM 编译器 bug、50 个版本的 Chrome,还有用 AI 测试反 AI 闸门的黑色幽默。

Kimi K3 发布快两个月了,比起 2.8 万亿参数,我更在意它推的 Swarm 智能体集群。一群 agent 并行干活,听起来很美,细想全是坑。

英伟达被曝以 129 亿美元收购 Hugging Face, AI 界的 GitHub 要易主了. 这笔交易为什么发生, 对开源生态意味着什么, 聊聊我的看法.

腾讯混元 8 月 28 日开源 Hy4 preview,770B 参数 1M 上下文,没有公开榜单,只有内部盲测和百年几何难题的进展,聊聊这次发布为什么很腾讯

2026年8月国产大模型密集发布并霸榜OpenRouter,却同时集体涨价,OpenAI还踩了一脚安全刹车.聊聊这一个月发生了什么,以及我的几点看法.