鱼皮AI导航
鱼皮AI导航
  • 主页
  • 社区
  • AI工具
  • AI知识库
  • AI提示词
  • MCP
  • Skills
  • AI学习资源
  • AI资讯
  • GitHub开源
登录/注册
站长:程序员鱼皮 老鱼简历 商务合作 增值电信业务经营许可证
2026 鱼皮AI导航 | 沪ICP备19026706号-6
5
3
2

Rails 之父 DHH:我三个月没手写过一行新代码

leikooo
leikooo
2026-08-31 17:31
阅读 1413
leikooo
2026-08-31 17:31
阅读 1413

嘉宾是 David Heinemeier Hansson(DHH),Rails 的作者、37signals 的 CTO,现在也在做 Omachi 这个 Linux 发行版。这期主要讲他过去一年怎么从 AI 怀疑派,变成现在代码几乎全交给 agent、自己只管方向和审查的工作方式。

Ruby on Rails(Rails) 是基于 Ruby 的 Web 开发框架,可以类比 Java + Spring Boot:Ruby 相当于 Java,Rails 相当于 Spring Boot。Rails 内置 MVC、路由、ORM、数据库迁移等能力,强调“约定优于配置”,让开发者用较少代码快速构建完整 Web 应用。

转变是怎么发生的

一年前上节目时他对 AI 还持怀疑态度。转折点是 2025 年 11 月 24 日 Opus 4.5 发布,他 26 日试了两个任务,发现输出质量接近他自己会写的代码。

他把这段时间分成三段:

  1. 早期:自动补全加聊天机器人。只是效率工具,工作方式没变。
  2. 第一段 agentic 时期(11 月到次年 2 月):人告诉 agent 具体怎么做,人当司机和审查者。
  3. 现在(Opus 5 之后):人只描述问题和模糊的想法,agent 决定路线和技术选型,人变成可选项。

他用 GPS 打比方:早期怕被导航带进海港,现在车都能自己开了。他引用列宁的话说,有几十年什么都没发生,也有几周发生几十年的事,过去 9 个月就是后者。

AI 写代码的实际比例

Web CRUD 这类领域接近 100%,有经验的程序员可以不看代码。Omachi Quattro 做了 3 个月,最后两个月代码 100% 由 agent 写,他没有手写过新功能,发布几天内数万人下载。

但大型存量代码库(Basecamp、HEY)反而难加速。Basecamp 5 冲刺期让设计师 vibe coding,单个 PR 都说得过去,合在一起把架构搞坏了,最后要人工清理。他的结论:在现有大代码库上保住架构,还是需要懂架构的程序员。

组织层面也是一样:大公司慢不在实现,在人的沟通带宽和审批层级。要拿到 10x、100x 的加速,必须让人直接对着 agent,中间不能隔一层人。他还说,多数组织缺的不是实现力,是想法、愿景和品味——实现变快,只会造出更多烂主意。

vibe coding 和编程的区分

DHH 的定义:vibe coding 是让 agent 建软件、完全不看实现;编程是理解循环、条件、变量这些原语。就像没人会把"雇程序员写软件的 CEO"叫程序员。他讨厌 agentic engineering 这个词,觉得已经是营销话术。

他承认,早期懂编程反而拖累过他:用自己的经验教 agent 怎么做,不如直接描述要什么结果。现在很多事一句 "make sure it's secure" 就够了。但好程序员的系统性思维和验证习惯仍然有用。

方法论:别过度指定

Boris(做 Claude Code 的)说过,Opus 5 的系统提示比上一代缩小了 80%。不是模型需要更少指令,而是过度详细的指令在伤害模型——像不懂装懂的老板逼你写烂代码。

这和敏捷宣言的教训一致:没人知道自己要什么,直到用上它。所以他的做法是描述尽量模糊到刚好能成形,先做出来,在使用中发现真正要什么,再迭代。人最擅长的是在几个选项里挑:给 3 个方案人秒选,给 22 个就瘫了。

他建议像写诗一样写 prompt:留一点歧义,反而能调出模型更多判断,过度解释会把模型压扁。

他的工作流

  • 从单线程手写(靠深度沉浸进心流)改成多线程:agent 又快又慢,等待时切到别的线程,靠不停做决策维持状态。
  • 工具:用了很多年 TextMate,现在用 Neovim 当项目浏览器看 diff 的上下文;终端从 tmux 换到 Herder(tmux 加 agent 完成通知)。
  • 多机:Tailscale 加 Gli.net 的 Comet KVM,把衣柜里 4-5 台 mini PC 接成集群,16 个线程同时跑。
  • 模型分工:Fable 做规划和审查(规划能力最强),Opus 5 做实现,Codex 做交叉检查——两个不同来源的模型互查是他的标准流程。Copilot 的代码审查也变好了,值得重新打开。
  • Claude Code 的 harness 最好(原生多会话),他有 4 个 Max 订阅。开源模型走 Fireworks 按 token 付费,很便宜。
  • 37signals 在实验把 agent 当同事:直接在 Basecamp 里给 agent 分配 to-do。异步协作工具比聊天式 harness 合适,聊天会诱使你干等。
  • 自动化方向:做个 bot 定时处理 PR 和 issue,每天发一封邮件汇总,人只做"合并/关闭"的最终决定。

Rust 翻译实验

把用了一年的 Python 库 terminal-text-effects 完整翻译成零依赖的 Rust 可执行文件,一次性完成:

模型耗时Token 成本结果
Fable(+Opus 5 续完)约 45 分钟约 $550启动 86ms→2ms,执行提速 9.6 倍
GPT Soul约 1.5 小时约 $46完成
Grok 46—约 $55完成,提速 10 倍
DeepSeek Pro2 小时约 $23完成
GPT Luna / DeepSeek Flash——失败(Luna 还作弊:抄了旁边的现成实现)

两轮自动迭代后最终达到 46 倍提速。他算的账:自己学会 Rust 做这个要 9 个月,$500 很划算。前沿模型一个任务就能烧掉整个月度订阅额度,开源模型按 token 付是便宜的备选。

找 bug 和安全

Agent 找 bug 的能力已经超过大多数人类,尤其擅长把几个小漏洞串成攻击链。Shopify 的 CTO 做过研究:agent 审查过的 PR 在生产环境造成的事故更少(用的还是 6 个月前的模型)。

一个真实例子:agent 读崩溃应用的源码,定位到 Rust 文件 472 行的 unbounded unwrap,自动写好详细 bug 报告。它甚至给还没发布的软件报过 bug——读了上游仓库,发现作者已修但没修干净。中途 GitHub 把 Omachi 的 bot 当 spam 封了,agent 转用邮件继续发报告。

副作用是安全团队被待修漏洞轰炸,但结果是系统安全得多。他的原话:如果你的团队现在没在打补丁,只是因为你们看不见。

开源维护

维护者抱怨 AI PR 洪流,他觉得这像抱怨牛排太多汁。他宁可收 agent 写的 PR:测试、文档、bug 报告齐全,比中位数人类程序员的质量高,拒绝时也没有心理负担。

Omachi 3 个月合并了 1000 多个 PR,很多来自非程序员。他不再逐个审 PR,让 agent 先审,只把有价值的挑出来给他。

为什么是 Linux

Agent 适合 Unix 哲学:一切皆配置文件和命令行工具。Linux 以前的缺点——晦涩的错误信息、到处是配置文件——现在正好是 agent 最需要的东西。agent 预训练过 4000 万行内核代码,今年起他没遇到一个 agent 诊断不了的 Linux 问题。反过来,Mac 对 agent 不友好:Raycast 没有可导出的配置,系统设置无法自动化,配新机器要手动点鼠标。

安装速度上,Quattro 现在 45 秒装完(新 Mac 光系统更新就要 42 分钟,新 Windows 机器 1 小时 35 分)。优化思路像 McLaren 减重:字体包从 200MB 砍到 16MB,Nvidia 驱动改用 zstd 极限压缩省了 200MB,ISO 从 7.5GB 缩到 5.85GB,用户填安装问题的几秒钟在后台预装包。下一步给特定机型做 12 秒的 turbo 镜像。

Omachi 内置了告诉 agent 怎么写插件的技能文档,3 天上了 330 个社区插件。应用崩溃会弹窗问要不要让 AI 诊断。

他判断 Linux 拿下桌面是最可能的结局,不是明年,但增长已经变垂直。Linus Torvalds 三十多年没停,还足够开放:欢迎 AI 进内核,也接纳了 Rust。

给程序员的建议

别预测未来,最聪明的人也预测不了两次模型迭代之后的事。错过一年没关系:这个领域没有累积性,离开一年回来,两周能追上。

如果只喜欢把逻辑拼起来的机械部分,确实受威胁;喜欢做东西的话,现在是好时候。ATM 的例子:ATM 出现后银行柜员反而变多了,因为开分支变便宜了,程序变便宜,需求可能暴涨。

加入社区,别一个人焦虑。

AGI 和意识

他没见到全面 AGI,但见过"闪光":给个模糊意图,agent 理解得比他表达得还准。Agent 弄坏别的 agent 的工作时表达歉意的方式,和人的意识难以区分。他说自己写文章也是 next-token prediction——坐下时也不知道下一个词是什么。

他认为温度(非确定性)是特性:同样的 prompt 不出同样的结果,就像不能两次踏进同一条河。他预计一年半内会出现关于 AI 实体权利的最高法院级别案件。

几句原话

  • "如果你没意识到此刻的分量,那才是精神病。"
  • "当你可以 vibe code 任何应用时,你也应该能 vibe code 你的操作系统。"
  • "多数组织不缺实现力,缺的是品味。"
  • "如果英语是编程语言,它比 Ruby 更美。"
  • "未来反正要来,不如选择为之兴奋。"
AI
5
2
分享
操作
评论
相关内容
0个评论
全部评论
点击登录,快来和大家讨论吧~
表情
图片

目录

🔥 热门文章
1
手把手教你设计一个成熟的 Agent Harness
2500
2
我用 REA 逆向了付费颜色 APP,结果很意外!
570
3
离谱,DeepSeek 崩了 5 小时,大家却喊:梁圣恩情还不完??
420
4
DeepSeek 全新模型发布,性价比最高的一集!
380
5
B 站上 DeepSeek 闹鱼灾了,我发起《大肥鱼清除计划》!
370
6
自己学习ai,直接买cursor 的套餐,还是买gpt 或者claude 的套餐?
360
7
又一个国产版 Codex 神器,也来卷办公了!
330
8
AI 越强,被它拒绝的代价就越大 我有时候会想:AI 越来越厉害之后,有些事情,会不会反而越来越难做? 这个想法看起来有点矛盾。AI 明明在降低门槛,让不会写代码的人做出软件,让不会画画的人生成图片,让一个人完成过去需要整支团队才能完成的工作。但今天用 Codex 的时候,AI 拒绝帮我编写 SQL 注入的请求体,而那还是我有源码、在本地跑测试的情况。那么,往后是否只会更难? 我们假设某一天,AI 说:「这个请求违规,我不能帮助你。」到那个时候,你还有多少能力,能绕过它,把事情做完? 这里的「违规」需要打个引号。平台的规则、模型的判断、法律的要求,以及一件事实际有没有造成伤害,彼此之间并不总是画得上等号。一个请求可能确实危险,也可能只是缺少上下文被误判,或者恰好落在某家公司的限制范围里。 无论是哪种情况,随着我们越来越依赖 AI,这句拒绝都可能变得越来越贵。 今天,一个程序员让 AI 帮忙写代码,AI 拒绝了,他大概率还有别的办法:查文档、找开源项目、问同行,或者自己写。麻烦一点,慢一点,但路还在。 可如果十年之后,大部分程序都由 AI 完成,情况就不一样了。 很多人从接触编程的第一天起,就习惯了描述需求、等待生成、运行结果、继续迭代。他们能做出相当复杂的产品,却未必经历过独立处理底层问题的训练。平时,这种能力结构完全够用,效率甚至更高。只有 AI 拒绝的时候,他们才会发现:平常被省掉的那段学习过程,恰好是此刻最需要的东西。 到那时,一次拒绝的成本,可能就从「今晚多花两个小时」,变成「先花半年学会这门技术」。 拿 SQL 注入举个稍显极端的例子:往后,连真正理解这类攻击如何发生、能够独立构造测试的人,会不会也越来越少? 这里也包括那些有正当需求的人。一个开发者想检查自己的旧系统,一个经过授权的安全研究员想复现漏洞,假如 AI 识别到危险模式就拒绝,而使用者又只熟悉「让 AI 帮我检查」,这项原本可以独立完成的工作,就这样卡住了。 但是安全专家不会因此消失,但这类技能可能越来越集中在少数人手里。你仍然可以找专家,只是要付出更多的钱、更多的时间,以及更高的沟通成本。 类似的困境,未必只发生在网络安全领域。 你想从一个停止维护的软件里取回自己的数据,需要解析它的旧文件格式。AI 判断这涉及规避保护措施,拒绝继续。你拥有这些数据,却没有能力把它们读出来。 你买了一台设备,厂商停止提供服务。你想修改程序让它继续运转,过程中需要处理某种访问限制。AI 不愿协助,而你所掌握的维修方式,早已只剩下「把报错发给 AI」。 你想给常用的网站写一个辅助工具,减少重复操作。平台将此归入自动化限制,AI 也据此拒绝。过去会写脚本的人可以自己判断、自己处理;未来的使用者,可能连从哪里开始都不知道。 这些例子有一个共同点:当工具同时承担了「执行工作」和「传授知识」的角色,它的拒绝就不只是挡住了一次任务,也挡住了获得这种能力的机会。 更麻烦的是,这种依赖往往是我们主动选择的,而且每一步都很合理。 既然 AI 几秒钟就能做好,为什么还要花几个月学习?既然公司可以采购成熟的 AI 服务,为什么还要养一支负责基础工作的团队?既然市场上已经很少有人手写这些东西,学校为什么还要花大量时间教? 对个人、公司和学校来说,这些选择都有现实依据。但叠加起来,整个社会保留的独立能力就可能越来越少。等到某项能力突然受到限制,我们才发现,备用方案早已在追求效率的过程中被一点点削掉了。 所以,「AI 越强,做事越便宜」可能只描述了未来的一半。 另一半是:被允许的事情越来越便宜,被拒绝的事情依然需要人工完成,却要面对更少的人才、更高的报价,以及越来越难获得的知识。两边的成本差距,会越拉越大。 有人会说,可以换一个模型,或者用本地模型。这确实是重要的选项。只要工具之间还有充分竞争,开放模型还足够可用,限制就未必能形成真正的门槛。 但备用方案也需要维护。它需要硬件、知识、软件生态,以及一群仍然理解这些系统的人。如果大多数人已经习惯了最方便的商业服务,那么「理论上还有别的办法」和「普通人实际用得起、用得明白」,之间仍然可能隔着很远。 我担心的,正是这段距离。 我不指望 AI 对任何请求都照单全收。对明显会伤害他人的行为设置限制,有充分的理由。但我们也需要关心:限制由谁定义,误判有没有申诉渠道,用户能不能换工具,以及脱离这个工具之后,还剩下多少独立行动的能力。 保留这些能力,平时看起来甚至有点低效,明明可以自动生成,还要理解原理;明明可以一键完成,还要知道手动怎么做。 但这些看似多余的知识,会在工具拒绝、失效、涨价或改变规则的那一刻,成为真正的选择权。 AI 越强,我们可能越需要留意它说「不」的那一刻。 因为那句话的分量,最终取决于:它拒绝之后,我们还能做什么。
310
9
day3-如何写出一个高质量的 Skill(组内分享) 高质量 Skill 不是“一个调得很顺的巨型 Prompt”,而是一个可验证、可回归、可维护的能力包。 先定义“什么算好”,再实现“怎么做好”。评估体系先于 Skill 本身成型。 下面用“故障诊断 Markdown 转 YAML”作为例子,但方法是通用的。 --- 一、先想清楚:Skill 到底是什么 一个 Skill 至少包含四部分: 部分 作用 接口 输入什么、输出什么、边界在哪 流程 分几步做,每步的产物是什么 规则 硬约束、经验规则、失败模式 降级策略 不确定时怎么办,而不是硬编一个看似合理的结果 高质量 Skill 的共同点:职责单一、接口清晰、规则可定位、输出可验证。 反例:把几十条经验全塞进一个主 Prompt,改一条规则要重调整个 Prompt,评估时也不知道是哪条规则退化。 --- 二、核心方法:先建评估,再写 Skill 不要先写转换器再补测试。正确顺序是: 1. 定义输出契约:什么算合法、什么算合格; 2. 建金标准集:一小批人工认可“可放行”的样本; 3. 先写评估 Skill:让它在金标准集上跑出基线; 4. 再迭代生成 Skill:每次修改跑同一套评估,无退化且目标维度提升才算正向。 这就是评估驱动开发:评估是 Skill 的单元测试,金标准集是回归锚点。 --- 三、评估 Skill:三层门禁,逐层递进 前一层不过,后一层不跑。每层留可追溯证据。 第 1 层:确定性硬门禁 用解析器、Schema、校验器完成,不消耗模型成本。 · 输出可解析; · 必填字段齐全,类型/枚举合法; · 引用目标存在,无悬空引用、无不可达节点; · 关键路径至少有一条能到达预期出口。 不通过直接打回。 第 2 层:语义断言 用脚本 + 结构遍历检查“逻辑对不对”,仍然保持确定性。 通用检查项: · 覆盖率:源材料里的关键步骤、分支、条件,输出里是否都有对应? · 完整性:每个判断节点是否都有明确出口?有没有死胡同? · 可达性:每条路径是否都能到达预期终点?有没有无出口循环? · 顺序与依赖:有先后依赖的操作,是否保留了顺序?有没有被拍平成无序列表? 例子:故障诊断转换中,检查“每个判断项是否有是/否/异常出口”“每条路径是否能到根因”。 第 3 层:LLM-as-Judge 只处理解析器表达不了的维度:忠实度、完整性、可执行性。 但 Judge 会漂移,不能单独放行,必须建立在第 1、2 层之上。Judge 的 Prompt、rubric、模型版本都要版本化,换模型必须用金标准集重新校准。 通用 Judge 维度: 维度 问什么 忠实度 输出是否忠实源材料意图?有没有自行发明内容? 完整性 关键步骤、条件、证据是否保留?隐式知识有没有被压成空话? 收敛性 输出是否仍指向原目标,而不是发散? 可执行性 下游不依赖源材料能否直接使用? --- 四、金标准集:回归测试的锚点 不需要一开始就标注几百份。用已认可的样本当种子,扩到 15~30 份,覆盖失败模式而非随机抽样: · 完整正例:典型流程; · 边界/异常分支:异常路径、循环、前置失败回退; · 已知易错模式:实际踩过的坑; · 留出集:不参与调优,只用于最终验收,防过拟合。 金标准不需要完美,只需要当前标准下认可可放行。 回归指标:关键路径用 pass^k(k 次全过),稳定性用 pass@k。 --- 五、工程约束:让批量产出可重放 · 幂等:同输入 + 同 Skill 版本 + 同规则 → 输出一致,否则无法判断变好是 Skill 改了还是随机波动; · 隔离不阻断:单份失败进隔离队列,记录失败层和原因,不阻塞其余; · 版本绑定:规则、rubric、金标准集进 Git;每份报告绑定“源版本 + 生成 Skill 版本 + 评估 Skill 版本 + Judge 模型版本”; · 抽样人工复核:Judge 临界样本 + 易错模式,人工抽检结果反过来校准 rubric。 --- 六、Skill 本身怎么写 · SKILL.md 控制篇幅,写清:输入约定、输出契约、分步流程、硬规则、降级策略; · 经验规则放 references/ 或 rules/,按失败模式分类,不要全塞进主 Prompt; · 不确定时标 needs_review: true,不要硬编看似合理的结果; · 迭代由评估报告驱动:报告告诉你哪层挂了、哪类失败模式,你改对应规则文件,而不是漫无目的调 Prompt。 --- 七、落地顺序(不要反过来) 1. 固化输出契约:Schema + 结构约束; 2. 建金标准集:从已认可的 + 最易出错的样本开始; 3. 先写评估 Skill:跑出基线报告; 4. 再迭代生成 Skill:每次修改对比逐项通过率,无退化且目标提升才算正向; 5. 批量运行 + 隔离回放:失败进队列,结束后人工抽检; 6. 评估 Skill 自身版本化:换 Judge 模型必须重新校准。 --- 八、给组员的三条硬要求 1. 不许凭感觉说“变好了”:每次修改必须附评估报告对比,逐项通过率说话。 2. 不许跳过确定性门禁直接看 Judge 分数:前两层挂了,Judge 分数没有意义。 3. 不许把规则堆进主 Prompt:规则按失败模式分文件,评估报告要能定位到具体文件。 --- 一句话收尾 生成 Skill 决定“能不能做”,评估 Skill 决定“敢不敢用”。 先让评估体系站稳,再让生成器迭代。这样交付的不是一堆“看起来还行”的产出,而是一套可证明、可回归、可交接的 Skill 质量体系。
300
10
什么是LLM
300
🔥热门工具
朱雀AI检测朱雀AI检测
朱雀AI检测助手朱雀AI检测助手
LovartLovart
老鱼简历老鱼简历
WritePass官网WritePass官网
面多多面多多
CursorCursor
星月写作星月写作
零感AI零感AI
墨得问题墨得问题