从简约到超算：Hoare、LeCun 与 AI 代理的冲突与共鸣
About This Episode
我们追溯 Tony Hoare 的设计哲学，审视如今行业对复杂度的盲目追捧；再看 Yann LeCun 亿元种子轮背后欧洲 AI 版图的赌局。随后探讨 Redox OS 对 LLM 的禁令、个人全库自测的执念以及午夜自行运行的 AI 代理，拼凑出当下技术焦虑与希望的全景。
Chapters
Links
小雅: 老冯，你听这雨声，跟服务器风扇一个节奏，我他妈都快分不清外面下的是水还是机房漏电了。
老冯: 漏电？你想多了，这年头机房早就防水了，倒是你手里这杯冰咖啡，小心别洒我键盘上，我可不想明天上班看到「键盘版水帘洞」。
小雅: 切，你就是心疼你那破键盘。说真的，今晚咱们聊点啥？又不是来这儿听你吐槽我的咖啡的。
老冯: 今晚？今晚咱们得聊聊这帮老古董和新潮派的撕逼大战。Hoare 那帮人还在鼓吹「简约至上」，LeCun 又跳出来喊「AI 代理才是未来」，你说这 2026 年了，怎么还有人活在石器时代？
小雅: 哦豁，有意思。Hoare 那套「少即是多」的理论我还能理解，但 LeCun 这波「超算加持 AI 代理」的路子，真不怕把自己玩死？
老冯: 玩死？你太小看这帮大佬了。Hoare 那边是「宁缺毋滥」，LeCun 这边是「不撞南墙不回头」，两边都有道理，但谁也说服不了谁。今晚咱们就来聊聊这「冲突与共鸣」，看看谁更有道理。
小雅: 行吧，反正闲着也是闲着。不过老冯，你可别又跑题到「当年我搞超算的时候」那套，我可没耐心听你吹牛逼。
老冯: 放心，今晚不吹牛逼，就聊聊这帮大佬怎么把 AI 搞得跟宫斗剧似的。不过话说回来，你那边有没有啥爆料？最近评论区不是有人说 LeCun 的新论文「纯属炒作」吗？
小雅: 哈哈，你还真信评论区那帮键盘侠？不过说真的，Hoare 最近在 Twitter 上怼 LeCun 那条，转发量都快破万了，这年头撕逼比技术本身还吸引眼球。
老冯: 得了，咱们开始吧。今晚就从这「简约」和「超算」的撕逼大战聊起，看看这帮大佬的「冲突与共鸣」到底能擦出啥火花。
老冯: 诶，小雅，你听说了没？Tony Hoare 这老爷子上周走了，92 岁。
小雅: 卧槽，quicksort 那个 Tony Hoare？我靠，这可是活化石级别的人物啊。
老冯: 嗯，图灵奖得主，ALGOL、Hoare logic 这些都是他的手笔。不过我刚看了篇博客，作者跟他还挺熟的。
小雅: 别扯那些虚的，说重点！他不是有句名言吗，「简单到显然无缺陷」？现在这帮搞 LLM 的，哪个不是「复杂到没人看得懂缺陷」？
老冯: 哈哈，你这嘴啊，跟评论区那个 marxisttemp 有得一拼。他直接说现在 vibe coding 盛行，业界彻底拥抱「复杂到无缺陷」这条不归路了。
小雅: vibe coding？这不就是「我感觉这样行」的高级说法吗？我他妈就服这些大厂，明明一个模型能解决的问题，非得堆十个模型，然后吹「我们的架构多么优雅」。
老冯: 别急，withoutboats 还补充了句实话：实现「简单到显然无缺陷」难如登天，委员会决策更是往往为时已晚。
小雅: 委员会？我呸！你见过哪个委员会能做出好东西？要么妥协成四不像，要么内斗到项目黄。老冯，你之前不是吐槽过那个跨部门协作的项目吗？
老冯: 嗯，hinkley 那个例子说得好：「妥协即无人如愿」。我当时就想，这不就是 Hoare 老爷子对组织复杂性的洞察吗？
小雅: 诶，说到组织，awesome_dude 不是提了个「委员会 vs 独裁者」模型吗？前者避免暴政但效率低，后者高效但风险集中。
老冯: 你这是在暗示 LeCun 那帮人？他最近不是老说「AI 代理需要更复杂的架构」吗？这不就是「独裁者」模型的翻版？
小雅: 我靠，你别扯上 LeCun 啊！人家好歹是图灵奖得主，Hoare 老爷子的接班人。不过说真的，Hoare 那句「可靠性无法用金钱购买」，现在这些大厂真该好好琢磨琢磨。
老冯: dilawar 那句评论够狠：「富人也最难支付其代价」。你看现在这些 LLM 项目，烧了几十亿，最后还不是充满明显缺陷？
小雅: pocksuppet 说得好：「Complex software full of very obvious deficiencies that nobody bothered to look for.」 这不就是现在的 AI 行业写照吗？
老冯: 但也有人不这么看。1vuio0pswjnm7 就推崇个人开发者写的小型、免费、「完成态」软件。他说他最喜欢的软件都不是「团队」写的。
小雅: 这我认同！你看那些经典工具，哪个不是个人或小团队搞出来的？quicksort 不就是 Hoare 一个人琢磨出来的吗？
老冯: 嗯，他那个 quicksort 的故事你听过没？他跟老板打赌说自己有更快的算法，老板说「我赌六便士你没有」。结果他真搞出来了，老板还真给了他六便士。
小雅: 我靠，这故事太牛逼了！不过你别跑题，说正事儿。Hoare 老爷子那句「简单到显然无缺陷」，现在这些搞 AI 的真该好好学学。
老冯: jdironman 那句评论够犀利：「管理层不理解技术导致项目失败」。这不就是 Hoare 演讲里提到的老问题吗？
小雅: 诶，你刚才说 Hoare 老爷子还干过微软？他不是还偷偷溜出去看电影吗？这老爷子也太可爱了。
老冯: 嗯，博客里说他下午经常溜去 Arts Picturehouse 看电影。不过他最牛逼的还是那句「政府的技术永远领先你想象」。
小雅: 我靠，这老爷子不会是看到了什么不该看的东西吧？不过说真的，Hoare 这辈子的故事，够拍一部电影了。
老冯: 他自己倒是吐槽过好莱坞对「天才」的刻画：「电影里的天才都是瞬间解决问题，现实中天才都是死磕一个问题好几年。」
小雅: 这不就是现在这些 LLM 项目的写照吗？动不动就吹「我们的模型能瞬间解决一切」，结果呢？一堆明显的缺陷。
老冯: 所以啊，Hoare 老爷子的遗产，就是提醒我们：简单才是真正的复杂。现在这帮人啊，是把复杂当成了简单。
老冯: 哎哟，小雅，你刷到那个 FT 的大新闻没？Yann LeCun 这老哥的 AI 创业公司刚刚在欧洲拿了 10 个亿美金的 seed round。
小雅: 卧槽，10 个亿？！seed round？欧洲人疯了吧？这都快赶上 A 轮 B 轮的规模了。
老冯: 可不是嘛，这钱都够买半个英超球队了。不过话说回来，LeCun 这老哥可是图灵奖得主，人家搞 JEPA 架构，跟现在主流的 LLM 完全不是一条路子。
小雅: 对对对，JEPA 这玩意儿不是那种一步一步生成文本的 autoregressive 模型，而是直接预测世界模型。LeCun 老是说 LLM 有 error accumulation 的问题，搞得跟炒股似的，一步错步步错。
老冯: 哈哈，你这比喻绝了。不过话说回来，欧洲人这么砸钱，到底是真看好这条路，还是单纯不想被美中两国甩太远啊？
小雅: 管他呢，反正欧洲现在是真急了。之前不是有个评论说吗，「欧洲现在就缺一个拿得出手的 AI 旗舰项目」。这下好了，LeCun 这 10 个亿算是给欧洲长脸了。
老冯: 长脸？我看悬。评论区有个哥们说得好，「如果你觉得 LLM 快要通往 AGI 了，那这 10 个亿就是欧洲最大的败笔」。
小雅: 嗯？这话什么意思？
老冯: 意思就是，现在 LLM 都快搞出 RSI（Recursive Self-Improvement）了，LeCun 还在这儿搞什么 JEPA，纯属浪费时间和资源。
小雅: 我去，这哥们也太绝了。不过话说回来，RSI 真有那么近吗？我怎么感觉还是遥遥无期啊。
老冯: 谁知道呢。反正 LeCun 是铁了心要走自己的路。不过话说回来，这 10 个亿的 seed round 也太夸张了，都快把欧洲其他小公司给挤死了。
小雅: 可不是嘛，这钱都够养活多少个小团队了。而且 FT 还说这公司总部在巴黎，结果 IP 和税收都在新加坡。这不就是典型的欧洲画饼吗？
老冯: 哈哈，你这话说得太损了。不过话说回来，LeCun 这老哥也是够倔的，明知道 LLM 路线大势所趋，还非要搞自己的 JEPA。
小雅: 倔归倔，但人家有资本啊。10 个亿砸下去，至少能让欧洲在 AI 领域有点存在感。要不然真成美中两国的附庸了。
老冯: 存在感是有了，但这钱花得值不值还两说。要是 JEPA 最后搞不出名堂，欧洲这波操作可就成笑话了。
小雅: 管他呢，反正钱不是咱们的。不过话说回来，LeCun 这路子要是真成了，那可就打脸一大片 LLM 信徒了。
老冯: 可不是嘛，到时候咱们就等着看戏吧。不过话说回来，这 10 个亿的 seed round 也太离谱了，都快赶上欧洲 AI 领域的 GDP 了。
小雅: 哈哈，你这话说得太夸张了。不过话说回来，这事儿确实挺魔幻的。欧洲人这是真急了，连 seed round 都玩出了新高度。
老冯: 可不是嘛，这要是放在以前，seed round 能有个几百万美金就谢天谢地了。现在可好，直接 10 个亿砸下去，都快赶上天使轮的规模了。
小雅: 哎，你说这钱要是给咱们，咱们能干啥？
老冯: 哈哈，你可拉倒吧。咱们要是有这钱，估计早就被你败光了。
小雅: 去你的，我好歹也是个有理想的愤青。这钱我肯定拿来搞点有意义的事儿，比如训练个更牛逼的开源模型啥的。
老冯: 得了吧，你那点小心思我还不知道？估计最后都拿去买显卡了。
小雅: 切，你懂个屁。显卡才是硬道理。
老冯: 行行行，显卡大法好。不过话说回来，LeCun 这事儿确实挺有意思的。咱们就等着看他能不能搞出点名堂来吧。
小雅: 哎老冯，你刷到 Redox OS 这事儿了吗？他们现在贡献指南里直接加了个「严禁 LLM 生成代码」的政策。
老冯: 哟，这帮理想主义者还真敢整。MIT 协议底下加这么一条，不怕吓跑贡献者啊？
小雅: 吓跑？我看是筛选。评论区有个哥们说得好：「如果 AI 能替代你的工作，你本身就不是个好程序员」。
老冯: 哈哈，这话说得跟「如果机器能替你种地，你就不是好农民」一样。时代变了，工具也在变，非要拿手工活儿当图腾。
小雅: 但另一边也有人反驳：「我和几百万乡下程序员都被 AI 煮熟了」。这不就是现实吗？
老冯: 煮熟？夸张了。LLM 现在连个「TODO」标签都写不利索，还想替人写内核？Redox 那帮人就是怕 review 成本飙升。
小雅: 但他们也不是一刀切啊，文档和 issue 还是可以用 LLM 帮忙生成的。
老冯: 中庸之道嘛。不过话说回来，手写代码真有「内在价值」？我写个驱动，能跑就行，管它是人写的还是 AI 吐的。
小雅: 你这观点跟 LeCun 一个调调！他最近不也说「代码是工具，不是艺术」吗？
老冯: 哟，你还真给我扣帽子。我可没说不要艺术，但 OS 开发不是写诗，追求的是稳定和效率。
小雅: 那你怎么解释 Hoare 那帮人？他们不就把代码当手艺活儿吗？
老冯: Hoare？那老头子当年设计 QuickSort 的时候，估计也没想过几十年后有人拿 AI 批量生成排序算法。
小雅: 所以你是站「效率至上」那边喽？
老冯: 我站「别给我添乱」那边。Redox 现在 review 资源就那么点儿，来一堆 LLM 吐的「word salad」，维护者不得累死？
小雅: 但评论区有个大佬说，Claude 3 写的代码比他手写的还好。
老冯: 吹牛逼不打草稿。你让 Claude 3 写个 Redox 的内存管理模块试试，保准一堆「FIXME」和「UNOPTIMIZED」。
小雅: 行吧，但你不能否认 LLM 在 boilerplate 上的优势。
老冯: boilerplate？那玩意儿写个脚本就搞定了，还用得着 LLM？Redox 那帮人连 GitLab CI 都没自动化，还好意思说别人。
小雅: 噗，你这嘴真毒。不过话说回来，他们连 JavaScript 都禁了，估计对 LLM 更警惕。
老冯: JavaScript 禁了就对了！当年 Node.js 那帮人非要往 OS 里塞 JS，现在好了，Redox 连 WebAssembly 都不敢轻易碰。
小雅: 所以你的结论是？
老冯: 结论？Redox 这帮人就是「手工党」的极端分子，但他们有资格这么选。你我这种打工人，还是老老实实用 LLM 提效吧。
小雅: 切，你这就是双标。不过我喜欢。
老冯: 欸，小雅，你刷到那个「我把一辈子塞进一个数据库」的帖子没？Felix Krause 这哥们，38 万条数据，从心跳到喝了多少 Club Mate，全给记下来了。
小雅: 卧槽，我看了！这人简直是数据洁癖的终极形态。每天手动记 75 条数据，还他妈 MIT 协议开源，我服了。
老冯: 哈哈，你这反应跟评论区那个「OCD 伪装成自律」的哥们一模一样。不过话说回来，他这套系统还真挖出点东西 —— 比如心率长期稳定，排除了心衰风险。
小雅: 对对对！还有那个「心情 happy 时，学习效率飙 20%」的结论，我直接拿来当学习动力了。但老冯，你不觉得这玩意儿有点过头吗？38 万条数据，就为了证明「天冷时我更容易抑郁」？
老冯: 过不过头得看 ROI 啊。他花几百小时搭系统，换来「喝酒后心率飙 50%」这种结论，换你你干吗？我反正宁愿用这时间多撸几个 side project。
小雅: 嘶 —— 你这观点我竟无法反驳。但他那个「每周生活可视化」的表格，我是真眼馋。一眼看出自己 14 岁前啥也没干，这谁顶得住啊？
老冯: 你要真想要，我给你写个脚本，一键导出你的微信运动步数和 GitHub 提交记录，保证比他那个「纽约步数是维也纳两倍」的结论更刺激。
小雅: 滚！你当我跟他一样闲？不过说真的，他这套东西要是能商业化，绝对比 Apple Watch 更牛逼。想象一下，你的 AI 管家直接读取你的「生命数据库」，给你定制健身餐饮计划 ——
老冯: 然后你的 AI 管家发现你每次熬夜写代码后体重涨 0.3kg，直接给你发消息：「小雅，你再不睡觉，我就把你的外卖软件卸载了。」
小雅: 去你的！不过他那个「心率 vs 体重」的图表，我是真想看看自己喝奶茶后心率会不会飙升。老冯，你觉得这玩意儿会不会变成未来的「社交货币」？比如相亲时直接甩出数据库链接 ——
老冯: 「你好，我叫冯，这是我的 38 万条数据，包括但不限于每次拉屎的时长和心情。」—— 然后对方直接拉黑你。
小雅: 哈哈哈哈！但说真的，他这套东西要是能简化成「一键导入 Apple Health + 微信步数」，我绝对第一个用。现在这样，纯纯折磨。
老冯: 所以啊，中间路线才是王道。像他这样 DIY 系统，99% 的人都会半途而废。但 Apple Watch 这种低成本方案，谁都能坚持。
小雅: 嗯…… 不过他那个「飞行统计」的图表，我是真想偷过来炫耀。「看，我一年飞了 50 次，你呢？」—— 然后被朋友骂「资本家走狗」。
老冯: 你这不就是典型的「数据炫耀」吗？Felix 这哥们估计也是，明明可以用 Excel 记账，非得整个 MIT 协议开源，生怕别人不知道他多牛逼。
小雅: 行行行，你赢了。但我还是觉得，他这套东西要是能跟 AI 结合，绝对是未来趋势。比如你的 AI 管家直接读取你的「生命数据库」，给你预测「下个月你会因为熬夜暴瘦 3 斤」——
老冯: 然后你的 AI 管家直接给你妈发消息：「阿姨，小雅最近熬夜太多，请您劝劝她。」—— 你猜你妈会先骂你还是先骂我？
小雅: 欸，老冯，你听说最近有个哥们在搞什么「睡觉时跑代码的 Agents」吗？
老冯: 哦？睡觉跑代码？听起来像是又一个「我要解放双手」的 AI 幻想。
小雅: 不是幻想啊！这哥们叫 Abhishek Ray，他在用 Claude 搞一套多 Agent 系统，一边睡觉一边让 AI 写代码、写测试、review PR。
老冯: 嚯，听起来像是把自己变成了「产品经理」，让 AI 当苦力。
小雅: 哈哈，有点那个意思。但他发现一个大问题：AI 写的代码，自己 review 不就成了「自嗨机器」了吗？
老冯: 这不废话吗？让 Claude 写代码，再让 Claude 写测试，最后再让 Claude review—— 这不就是「左手摸右手」吗？
小雅: 对啊！所以他开始用 TDD 的思路，先写 Acceptance Criteria，再让 AI 去实现。
老冯: TDD？那玩意儿不是早被证明过时了吗？现在谁还手写测试啊？
小雅: 不是手写测试，是手写「验收标准」！比如「用户登录成功后跳转到 /dashboard」，然后 AI 去实现，Playwright 去验证。
老冯: 哦，所以还是 AI 干活，人类负责「定义正确」？
小雅: 对啊！他还说，这样至少能 catch 一些集成问题，比如「理论上能跑，但浏览器里就是不行」的那种。
老冯: 听起来不错，但你不觉得这套东西太复杂了吗？Playwright、多 Agent、Opus、Sonnet…… 这得烧多少 tokens？
小雅: 烧 tokens 是小事，关键是「你真的信任这套流程吗」？评论区有个哥们说得好：「这不就是把最烦人的活儿 —— 写 spec、写测试、review 代码 —— 都丢给 AI 了吗？」
老冯: 哈哈，这评论戳中要害了。AI 解放的不是生产力，是「无聊的工作」，但「无聊的工作」不就是开发者的日常吗？
小雅: 但至少现在有人在尝试啊！他都开源了一个叫 verify 的 Claude Skill，直接用 claude -p 跑，还能接 CI。
老冯: 开源是好事，但你不觉得这套东西有点「过度工程」吗？为了「不 review diff」，搞了一堆复杂的验证流程。
小雅: 但总比「盲目信任 AI」好吧？他自己都说：「如果你不先定义「完成」的标准，那最后只能祈祷 AI 对了」。
老冯: 这话倒是实在。不过啊，小雅，你不觉得这套东西有点「本末倒置」吗？
小雅: 怎么说？
老冯: 本来 AI 是为了「辅助」开发者，结果现在开发者得花大量时间「辅助」AI—— 写 spec、调试验证流程、处理假阳性……
小雅: 但至少现在有方向了啊！总比「AI 写完代码，人类瞎猜」好吧？
老冯: 方向？这叫「方向」？这叫「把开发者变成了 AI 的调试工具」！
小雅: 行行行，老油条，你有什么更好的解决方案？
老冯: 解决方案？没有。但至少别把「复杂」当成「进步」。
小雅: 切，你这就是「酸葡萄心理」！
老冯: 随你怎么说。反正我是不会让 AI 帮我写代码，然后自己变成「AI 的保姆」的。
小雅: 行吧行吧，你就继续「纯手工」吧！我先去试试 verify 了，看看能不能真的「睡觉时跑代码」。
小雅: 操，聊着聊着都快凌晨两点了，我这咖啡都喝第三杯了。
老冯: 年轻人，体力不行啊。我这把老骨头还能再扯两小时。
小雅: 扯你个大头鬼，今天从 Hoare 的简约哲学聊到 LeCun 的野心，再到 AI 代理的内卷，脑子都快炸了。
老冯: 炸了好啊，炸了就清净了。不过话说回来，这帮大佬的思路还挺有意思的，一个追求极简，一个搞超算，最后都绕到代理上去了。
小雅: 可不是嘛，感觉 AI 圈现在就是个大型宫斗戏，谁也不服谁。不过咱们这期算是把这锅浓汤给熬透了。
老冯: 熬透了也得散伙啊，我这老腰可受不了机房的凳子了。对了，想听下期继续扯淡的，记得用泛用型客户端订阅一下，别指望那些封闭平台给你推送。
小雅: 切，谁还用那些封闭平台啊。RSS 订阅一下，更新了就能收到，多方便。
老冯: 行了行了，今天就到这儿吧。下次有空再聊，说不定下期咱们就能聊聊哪个大佬又被自己造的 AI 给坑了。
小雅: 哈哈，期待。那咱们下期见，老冯你别又跑题到上世纪的编程语言去了。
老冯: 不跑题我还叫老冯吗？走了啊，你这咖啡钱记得报销。