深圳的软件架构师，也是趣蘑菇教育的联合创始人兼技术总监。
白天做系统架构与 AI 工程化，下了班聊户外教育、营地，以及深圳孩子的升学路。 闲下来泡一壶茶、端起相机、或者扛着望远镜去观鸟。
这里是我把「技术」「教育」「生活」三条线放在一起的地方—— 不全然专业，但都认真。
Shopify 与银河通用：AI 提效不在模型那一侧
我做日报流水线快一年，中间换过好几个模型。真正让产出变稳的，一次都不是换模型那次。 有两次印象很深。一次是把「写稿」和「审稿」拆成两个不共享上下文的步骤，一次是把每天踩到的坑写成一份会累积的清单文件。模型一直是同一个。 ...
TypeSafe 的 Jev 不写字符串，幻觉变成类型问题
做储能电站 EMS 那段时间，我给自己划过一条线：概率性输出不进控制回路。 不是不信任模型的判断力。是控制回路这个位置不接受「95% 的情况是对的」，它只认那 5% 会不会让断路器动错。 ...
Sourcegraph 让编排层先写脚本：agent 的成本与信任，都压在验证这一层
做储能电站 EMS 的那段时间，我给自己划过一条线：该由规则判断的事，不交给模型。 不是不信任它的判断力。是控制回路这个位置容不下概率性输出，它错一半，代价是设备。 ...
llms.txt 与搜索链接同时失守：AI 引用这件事，两端都不再默认可信
网站根目录里那个写给 AI 看的文件，从来不是说明书。它是输入。 **给机器读的东西没有「只是说明」这一说：你写的是说明，它读的是指令。**同一周里，这件事的两端同时出了变化——你发出去的引用可以被陌生人接走执行，你想读的位置正在被平台收回。下面讲清两件事：风险具体落在哪一层，以及内容与工程两侧分别该怎么接。 ...
AI 写代码不是错是胖：SlopCodeBench 量化代码邋遢度
AI 写的代码正在变得几乎不会出错，但代码库一天比一天厚。这个矛盾第一次有了可计算的答案。 代码质量的下一道门不是「对不对」，是「胖不胖」；而这道门只能由人守，agent 守不住。 ...
PaperCut 攻击：AI agent 的边界不能写进提示词
同一天两条证据链落地：安全厂商 GreyNoise 与 Blackpoint Cyber 披露的 PaperCut 实战攻击，和 Anthropic 的九个月滥用处置报告。它们共同指向一个架构结论。 AI agent 的边界不能写在提示词里，只能长在系统里。 ...
OpenAI 承认数据无法排除，DeepSeek 重定价长上下文
同一天，AI 行业在两个相反的方向上同时加速：成本曲线陡降，信任曲线开裂。DeepSeek 把百万 token 上下文的缓存成本压到每 token 890 字节，Cognition 用开源底座以四分之一价格逼近前沿；而 OpenAI 被两位数学家先后逼出一句要命的表态：「不能排除去标识化数据参与了训练」。这篇文章把当天的四条信号拆成对架构师真正有用的决策依据。 ...
AI 工程重心从聪明转向可控：成本、失败与权限
今天 AI 工程的胜负手变了：不再比谁的模型更聪明，而是比谁的 agent 更可控、更便宜、失败更可见。三条独立线索在同一天指向同一结论——Anthropic 官方降本指南、Meta 的 Muse 内部翻车记录、OpenHands 的权限拆分。下面逐条拆成可落地的工程动作。 ...
OpenAI 用 1 万个 agent 解出 Navier-Stokes，数学家指控抢跑
9 月 8 日，OpenAI 在官网发文，宣称其内部模型在约 10,000 个并发 agent 协同下，历时约 88 小时给出了 Navier-Stokes 存在性与光滑性问题的否定性解答：证明光滑初值的流体解可在有限时间内形成奇点。这是克雷数学研究所七个千禧年难题之一，每题悬赏 100 万美元，悬置二十余年。OpenAI 同时明确放弃申领奖金。 ...
OpenAI 承认没人准备好：能力与可观测性正在负相关
9 月 6 日，OpenAI 首席科学家 Jakub Pachocki 在官网发表长文《An Alien Mind》。这篇文章最重要的不是哲学思辨，而是一句罕见的工程坦白：没有任何实验室把对齐与监控解决到可以负责任地继续全速扩展的程度。 ...