邵猛谈 WorkBuddy 使用频率上升

邵猛指出 X 上 AI 回复泛滥，几十条评论里 0 真人，Simon 也发文吐槽并试图套出这些回复机器人使用的 prompt，网友猜测方向大致一致。邵猛质疑这类 AI 回复既非原创内容也难引流涨粉，公开要求 AI Bot 说明执行回复的目的，合理才点赞，否则隐藏并拉黑。

作者转发并归纳 Kun Chen 的四篇长文，回应软件已死的说法，认为该说法混淆了软件价格与市场规模、软件与代码、工程师与写代码的人。Kun Chen 以杰文斯悖论论证单个软件会变便宜但整体市场变大，指出有价值的软件还包含网络、基础设施、商业模式、合规与商务谈判，工程师职业的本质是用软件解决问题。其附图显示美国 SWE 招聘在增长，增量主要来自资深岗位、AI 相关岗位和 FDE（前线部署工程师）。

Flatkey 推出统一 AI API 网关，通过 CLI 让 Codex 和 Claude Code 调用 GPT、Claude、DeepSeek、GLM、Kimi 等文本模型及 GPT Image、Seedance 等图片视频模型。

作者介绍斯坦福新课 CME 295（Transformers & Large Language Models），由 Afshine 与 Shervine Amidi 主讲，目前进行到第四讲 Reinforcement learning with LLMs，视频与讲义已公开。本讲从 RL、Reward Design 讲到 PPO、GRPO、RLVR 和 DAPO，逐个符号讲解；课程共 9 讲，覆盖 Transformer 架构、LoRA 微调、Flash Attention、…

邵猛把给孩子做的键盘打字游戏 Keyboard Island 发布到 ChatGPT Sites 后，分享链接引来 800+ 位朋友访问。他已将网站和资源整体开源到 GitHub（shaom/keyboard-island），并保留了可直接体验的 Sites 地址。

邵猛将给孩子做的键盘打字游戏 Keyboard Island 开源到 GitHub，此前已部署在 ChatGPT Sites。游戏由 Codex 生成，含 36 关起步、后增至几十关与无限模式，并加入按键音乐、头像实时拍摄入画、积分装饰小屋等孩子提出的需求。因有用户反馈无法访问并询问实现方式，他公开源码供交流。

作者转述 Addy Osmani 的「Agentic Verification」文章，认为 Agent 瓶颈已从写出代码转移到知道代码是对的，不能自我验证的 Agent 本质上是在猜。

Meta 工程团队 @Meta_Engineers 发布 Agent 架构实践「Thin Orchestrator」，用约 1300 行确定性瘦编排器把 20+ 工作流路由到 14 个上下文隔离的专业 Agent，只有委派一步涉及 LLM 推理。

Addy Osmani 分享其团队在 Agent 时代重构代码审查的做法：当 Claude 编写了 Claude Code 约 90% 的代码、6 月到 9 月合并 PR 数量翻倍以上且回滚率下降超过 40% 时，瓶颈从写代码转向证明代码可用。

韩国一位中间件工程师向 The Pragmatic Engineer 作者 Gergely Orosz 求助，称管理者把 AI token 用量设为 KPI，自己很少用 AI 而被反复敲打。Gergely 站在管理者一边，称持续学习新工具是职业素养的一部分，优秀工程师与拒绝学习新事物可以并存，并给出二选一框架：上船接受 AI 改变工作方式，或诚实接受愿意雇你的公司池子持续缩小的代价。