科技源速递 2026-10-12

今日 15 源采集共 187 条，新增 96 条，深挖 5 篇（venturebeat-ai 单源 429 失败，已自动降级）。

“I’m sorry, but you still have to think”

来源：itsallaboutthebit.com · 2026-10-11 · 一句话：用 agent 跨语言重写服务，一次实验暴露三个真实工程陷阱

• 要点：
  • DHH 让 AI agent 把 Campfire Once（一度 Rails 应用）重写成 Rust/Elixir/Go，自己不读代码——文章作者抓到的真实 bug：Rust 版在 async 任务里混阻塞 DB 调用和同步锁（协作式调度下会阻塞同线程所有任务）；Rust 默认 broadcast 容量 256 导致通知投递率仅约 1%（提到 16384 后约 14%→90%，但 P99 延迟 >130s，作者反因此接受快速失败）；Elixir 无限 mailbox 让内存涨到 1.8GB（潜在 OOM）
  • 用单一指标（「吞吐量」「速度倍数」）评判跨语言重写会失真：闭环测试只测吞吐，看不到丢消息与超时
  • 核心论点：AI 能写代码，但取舍（向后兼容、延迟 vs 吞吐、背压、失败模式）仍要人来定；标题里 “you still have to think” 指的就是这些工程判断
• 为什么值得看：兴趣方向 2（agent 工程实践）最高密度的当周文章之一；用真实数据点出「Vibe Coding」一旦脱离评审就出事的具体模式
• 扩展资料：
  • Once Campfire in Rust（GitHub） — DHH 公开的 Rust 重写仓库，“one binary, 19–44× faster” 声明的源头

Linear — Reviewing code in the agent era

来源：Linear Blog · 2026-10-11（Lobsters 重提；原文发表于 2026-06） · 一句话：代码评审从「代码正确吗」转向「这代码值得进入产品吗」

• 要点：
  • Linear 团队 2026 年初 1-3 月 issues 创建量与 PR 合并量各涨 50%（来源：原文作者 Maciek Pekala），agent 接管了大量「逐行找 bug」式评审
  • 评审者的精力被释放，转向判断力：改动是否契合系统、边界情况、替代方案、用户体验——“quality code review has come to mean that the code is useful, not just correct”
  • Linear 新 Diffs 功能的设计：统一收件箱提醒、预览 build 优先于 diff、“引导式评审"把大改动拆成有叙事的块；评论可在 Linear 内直接喂给 agent 处理——评审成为「少数还能看到彼此工作的时刻」
• 为什么值得看：兴趣方向 2（agent 工具链 + 工程实践）的少见一线团队实战，对用 coding agent 的读者直接可借鉴
• 扩展资料：
  • Linear Diffs 公告 — 产品迭代进展（同期可看 Linear 内部对评审数据指标的复盘）

Learning to use local AI is exciting, overwhelming, and frustrating

来源：The Verge · 2026-10-11 · 一句话：M5 Ultra Mac Studio + Hermes Agent + Qwen 125B，本地 AI 一周手记

• 要点：
  • 作者 Antonio G. Di Benedetto 用约 12,000 美元的 M5 Ultra Mac Studio（256GB 统一内存）+ Hermes Agent（开源、自托管 AI 代理桌面应用，macOS/Windows/Linux）+ Qwen 3.8 Flash Next（1250 亿参数、约 105GB）做本地 AI 日常
  • 真正跑起来的事：每日晨报通过 Telegram 推送（邮件+日历+天气）、用 Steam Web API 把 400+ 游戏按类型自动归类、本地分析财务与笔记本规格（敏感数据不上云的刚需）
  • 真实受挫点：模型数量爆炸无从下手；晨报 cron 失败是因为 7:30 触发时 Mac 在睡眠；自动化脚本不稳定的苦差事；256GB 统一内存下「显存焦虑」几乎消失，但工程稳定性仍是问题
• 为什么值得看：兴趣方向 1（本地大模型推理）+3（自托管）的可读性最强入门实测，硬件选型/工具链组合有现实参考价值
• 扩展资料：
  • Hermes Agent 项目主页 — 开源自托管 AI 代理桌面应用

LineageOS 24.0 released

来源：LineageOS · 2026-10-11 · 一句话：基于 Android 17、新增 ~190 款设备、WebUSB 浏览器直接刷机

• 要点：
  • LineageOS 24.0 基于 Android 17（2026 年 6 月发布）；新增约 190 款设备（Pixel 全系含 Pixel 10、OnePlus 13/15/15T、Fairphone 4/5、AYN Odin 2、Retroid Pocket 6 等）；旧内核（4.4/4.9）设备此后只接受 22.2 提交
  • 应用侧：全新 Canvas 图片编辑器、Updater ABD 流式更新（非 ABD 设备下次开机自动更新 recovery）、Jelly 浏览器 PWA 快捷方式、SetupWizard MD3 重构
  • 重大能力 flash.lineageos.org：浏览器 WebUSB 直接刷机，支持 ADB/Fastboot/Amlogic Burn/三星 Odin 协议；裸机通用构建已在 x86_64 PC、Apple Silicon Mac、NVIDIA DGX Spark、骁龙 X 笔记本启动
  • 同步内容：合并了 2025-08 至 2026-10 的安全补丁；项目 2026-12-24 迎来 10 周年
• 为什么值得看：兴趣方向 3（自托管/移动端替代方案）的旗舰开源项目更新——WebUSB 刷机是降低自定义 ROM 门槛的实质性一步
• 扩展资料：
  • LineageOS Wiki 安装指南 — 官方支持的刷机流程（WebUSB 工具作为补充而非替代）

Terence Tao: Math 2.0

来源：Terence Tao 个人网站 · 2026-10-11（HN 重发 10/09 Caltech 讲座 PDF） · 一句话：证明从稀缺到充裕，数学界需建立「证明消化」机制

• 要点：
  • 陶哲轩 2026-10-09 Caltech AIM Public Lecture《Math 2.0》PDF 全文在 HN 拿下 274 分 / 326 评论；核心论点：AI 让数学证明变得泛滥，建立在「证明稀缺」上的数学 1.0 范式即将落幕，需建立"proof abundance + proof indigestion"机制
  • 论据组合：OpenAI 数学论文激增（如 Wang Hong Kakeya 猜想 4 维扩展）；陶已牵头 AHM（人类数学协会）；25 位菲尔兹奖得主联合签署《A Severe Misalignment of AI in Mathematics》
  • 与本系列视角：本事件同时出现在今日头条日报（《陶哲轩：数学2.0时代已至！》），两系列各有侧重——日报走「职业冲击」叙事，本系列侧重原始 PDF 与社区讨论
• 为什么值得看：兴趣方向 4（AI 与行业/政策/学术影响）一周内最具风向标意义的活动，原始资料价值高于二次转述
• 扩展资料：
  • Terence Tao on AI（个人官网汇总） — 含 Math 2.0 全套参考资料与时间线
  • A Severe Misalignment of AI in Mathematics — 25 位菲尔兹奖得主联合声明

今日一句话

• DeepSeek Bot 来了！民间版，DSH 装个插件就能用 — FeiZ 在 DSH 平台上的多 Agent Bot 插件，一天 250+ star（量子位，方向 2）
• An AI agent’s $20 Kalshi account, with an exact reward model — 用精确奖励函数训练 agent 做预测市场的论文/代码（HN，方向 1/2）
• Karpathy: LLM 能力认知差距正在扩大 — 专家与公众对 LLM 能力差距扩大（HN 62，方向 4）
• BetterWispr – 开源 Mac 听写工具 — 本地化的 AI 语音转文字（Show HN 130，方向 2/3）
• The RAM shortage is bringing back DDR4 — 内存紧缺重振 DDR4 市场（The Verge 262，方向 3 硬件）
• Valen’s Memory Safety: 一种新型借用检查 — Rust 替代/补充的借用检查新方案（HN 124 + Lobsters 23，方向 3 系统编程）
• 3 个月用了 287 亿的 token — 个人 Agent 重度使用 token 消耗实录（V2EX 56，方向 2 成本）
• Reviewing code in the agent era（也已被深挖收录） — 见 Top2（自我去重）
• 使用 AI 十分钟就会削弱你挑战难题的意志力 — AI 依赖对认知努力的影响研究（Solidot，方向 4）
• AI 系统已具备对基础设施实施「噩梦级攻击」的能力 — AI 安全警示（The Register，方向 4）
• How I reverse engineered a commercial spatial audio effect — 个人逆向工程商业空间音频插件（HN 79，与今日 REA 主题遥相呼应，方向 2/3）
• Dwarf Fortress uses version control now — 经典游戏接入版本控制（Simon Willison，闲闻）
• I paid people to try and follow my README — README 易用性实测：付费让陌生人按 README 操作的实验（HN 351）