AI Builders Digest · 2026-10-06

📰 今日收录 X / Twitter 上 9 位 builder 的实质动态。今天没有新的播客内容。

X / Twitter

Vercel CEO Guillermo Rauch 发布了 gdp-ts（Ghosts of Departed Proofs for TypeScript），一个面向安全 API 设计的库、linter 加 AI skill。核心思路是让敏感函数必须携带 “proof”，证明调用方已经完成了鉴权检查，类型检查器会在编译期验证这些 proof，从源头阻断团队和 agent 写出灾难性的安全 bug。他指出，这类模式过去在 Haskell 等生态里虽然存在，但因为人工 code review 与语法上的心智负担而很小众；如今 agent 写的代码远超人能 review 的量，而 agent 恰恰喜欢在硬约束的紧循环里工作，形势已经反转。README 用 Vercel 的真实约束做了示范：修改某个 Project 的密码，需要「特定角色 + 特定 entitlement」的 proof。 https://x.com/rauchg/status/2107119811444748555

Box CEO Aaron Levie 认为，相当一部分 agent 的采用和部署被「能否在真实工作环境里测试、调优和优化」卡住，也就是 agent 需要访问的文件、CRM 环境、邮件等等。如果不清楚 agent 在自家 evals 上执行得如何、以及模型或工作流升级后表现会怎样，就根本无法判断它到底跑得好不好。眼下每家企业都得一家家自己搭，既慢又琐碎，因此他判断「每个企业都会有人专门管理 evals，以及构建和运行 evals 与模拟环境的基建」，这是一个巨大的空间。 https://x.com/levie/status/2107283615247999257

Meta 高级 AI 总监 Madhu Guru（此前在 Google 主导 Gemini、Veo、Nano Banana） 抛出一个反共识观点：团队最常见的错误，是把 evals 当成 agent 做完之后再补的一道 QA。AI 产品和传统软件根本不同，eval 不是验收环节，而是产品 spec 本身。 https://x.com/realmadhuguru/status/2107292113214091355

Anthropic Claude Code 团队的 Thariq 分享了一个规划技巧：用更结构化的方式做 planning，比直接写 raw HTML 更省 token，因为模型不必为了状态机、流程图、代码片段这类常见元素反复重造组件与逻辑。他还给「Claude 跑在云端、却能访问你本地文件」这一模式取了个名字叫 “local hands”，并透露该能力也将进入 cowork。此外他推荐了一批游戏设计的学习资源。 https://x.com/trq212/status/2107294499282293017 https://x.com/trq212/status/2107229483015258493 https://x.com/trq212/status/2107340728380870868

Y Combinator 总裁兼 CEO Garry Tan 预测 “AGI Science Loops” 即将到来，而这类循环会有自己的 Muse/Instinct，Halmos 正在做这件事。他另一个判断是：大模型实验室自家 harness 有动力去烧 token，这反而给创业公司的 harness 留下了真实的价值空间，比如 Grep 能通过观察 agent 的使用，把 token 燃烧自动换成可重复、经过测试的确定性代码。 https://x.com/garrytan/status/2107173670699622830 https://x.com/garrytan/status/2107129959550685660

Replit CEO Amjad Masad 判断美国正在缩小在开源权重模型上的差距。此外他感慨 Replit 上已经有大量家庭经营的生意在跑，并演示了直接对 Replit 说「帮我在 tiktok 上推广我的 app」的能力。 https://x.com/amasad/status/2107222388429766970 https://x.com/amasad/status/2107222889946898893

设计师 Ryo Lu（曾参与设计 Cursor、Notion、Stripe） 用一篇长文纪念 Steve Jobs，并借此抛出对行业的反思：自 Jobs 去世后，行业像陷进了一个循环，不断做微调、优化供应链、设计更多让人刷下去的方式，大量才华耗在微小改进上，却很少留出空间去做真正伟大而用心的事。他还上线了 ryOS Subtitles，一个 Chrome 插件，可以用任意两种语言看 Netflix 字幕，并为日语、中文、韩语提供发音指南。 https://x.com/ryolu_/status/2107246891977335049 https://x.com/ryolu_/status/2107146629338042853

AI 教程与访谈创作者 Peter Yang 发布了一个用 AI 实时语音通话学日语的 app，并附上完整教程：先用他的 spec skill 做关键界面设计，再用 Gemini Live API 接入语音，最后用 Nano Banana 生成 diorama 美术。整套流程可以照搬，用来在旅行前学会任意语言的 100 句常用表达。 https://x.com/petergyang/status/2107108755699900459

SPC 普通合伙人、Bevel Health 联合创始人（前 Facebook 早期工程师、Dropbox CTO）Aditya Agarwal 提出一个设想：如果能本地运行 Muse/Dot 那台「电脑」会很有意思，相比越来越封闭的 macOS，这可能是更好的 agent 环境。他同时预告了 Sergey Levine（三个斯坦福学位、2016 年起在 Berkeley EECS 任教、Physical Intelligence 联合创始人，研究让机器人从经验中学习、把所见与动作关联起来的算法）将到访 SPC。 https://x.com/adityaag/status/2107133989941387282 https://x.com/adityaag/status/2107171588194152936

Podcast

今日没有新的播客内容。

Generated through the Follow Builders skill: https://github.com/zarazhangrui/follow-builders