2026-10-14

AI 前沿每日 Briefing:2026-10-14

2026-10-13(UTC)Hacker News 首页 86 条,14 条评论超过赞。今天头条不在 AI 圈:黑客攻陷欧洲约 400 家超市的制冷系统,强制化霜拉到 50°C,872 赞 974 评论(872/974)。模型侧 Google 发布 Gemini 4 Argon,100 万 token 输出窗口,DeepSWE 77.9%、CWE-bench 68%,机器人版本 ERQA 87 分(774/628、149/39);Anthropic 自研 Scion 替换 git,日合并 3 万次、CI 流量相当于每天 600 PB(373/371),并公开反蒸馏战果点名智谱 GLM-5.3 与月之暗面 Kimi,泄露量降 90–99%(38/90),红队另警告小模型数月内可在 IoT 设备自我复制(39/56)。安全是今天的第二主线:Rust 借用检查器 11 年 unsound 漏洞(624/353)、Ledger 硬件钱包被证实植入窃密芯片(261/241)、OpenAI 工程师因藏匿录音设备被捕(18/54)。行业与宏观:Character.ai 申请 Chapter 11(248/252)、IMF 把 AI 股价回调列为全球金融稳定三大风险之一(107/124)、中国 R&D 支出按购买力平价首超美国(152/148)、两篇行业反思长文写透蓝领论与离开科技业(89/185、167/178)。工具:80B 模型在 32GB 内存笔记本上跑到 24 tok/s 的 Janas(211/83)、嵌入模型改听写一小时音频 12.6 秒(364/81)、MCP 驱动的开源 CAD SolidCraft(132/41)、Intel 480GB 显存 D270(301/174)、100 万参数每秒 49 页 CPU OCR(18/0)、洗碗机 benchmark 前沿模型超过人类脚本(83/49)。美国班更新补充 16 条:Thunderbird iOS 原生预览、苹果 Switch to Safari 攻势与新 Apple TV 4K、Lambda Web Functions、XBOW 六天打出 Chrome 完整利用链拿下首个 25 万美元全链奖励、Fehmarnbelt 海底隧道工地遭攻击停工、荷兰税务局弃用 Microsoft 365、Trezor 亦被证实有植入芯片、Raven 凭一张室内照片定位具体住宅、华为麒麟终端累计出货破 1 亿、Physical Intelligence 开放机器人模型微调 API、Parsimony 净增代码量基准、科学家担忧 AI 窃取研究想法等。全期 45 条。

2026-10-13(UTC)的 HN 首页 86 条,其中 14 条评论数超过赞数。今天的头条不在 AI 圈:黑客攻陷欧洲约 400 家超市的制冷系统,把冰箱强制化霜拉到 50°C,974 条评论是当天最大的争论。模型侧 Google 发布 Gemini 4 Argon,Anthropic 一边自研版本控制系统替换 git,一边公布反蒸馏战果、点名两家中国模型公司。安全线同样密集:Rust 借用检查器被证实藏了 11 年的 unsound 漏洞,Ledger 硬件钱包里长出了窃密芯片,一名 OpenAI 工程师因在公司藏匿录音设备被捕。美国班更新又补 16 条:Thunderbird iOS 原生预览、苹果 Safari 攻势和新 Apple TV、Lambda Web Functions、XBOW 六天 Chrome 完整利用链、Fehmarnbelt 海底隧道遭攻击停工、Trezor 同样被植入芯片、Raven 凭室内照片定位住宅、华为麒麟终端出货破亿等。全期 45 条。

1. 872 赞 974 评论!黑客强制全欧超市冰箱化霜,温度拉到 50°C

连冰柜都保不住,下一个是啥?

法国约 400 家超市的制冷系统被黑客控制,872 赞、974 条评论,当天讨论量第一。攻击者控制了丹麦 Danfoss 的制冷管理软件,把原本每天约两小时的自动化霜改成持续高温化霜,温度设到 50°C,生鲜和冷冻食品损失估计达数百万欧元:Coopérative U 超 100 家店中招,Intermarché 及其 Netto 品牌 180 家,Carrefour 80 家,Monoprix 约 5% 门店受影响;Intermarché 称高温持续了六小时,相关食品全部销毁。Danfoss 表示中招的是无法更新安全软件的旧型号,Tom’s Hardware 称比利时和荷兰也有报告。用工业远程管理软件的,旧设备的安全更新状态今天就可以查一遍。原文 · HN 讨论

2. Google 发布 Gemini 4 Argon:100 万 token 输出窗口,横扫 agent 基准

下一家跟进的速度,还追得上吗?

Google DeepMind 发布 Gemini 4 Argon,定位长周期软件工程、科研、机器人和网络防御,774 赞、628 条评论。官方数字:DeepSWE v1.1 77.9%,AutomationBench 51.3%,CWE-bench 68% 并列第一,GraphWalks 99.7%(128k 内)、84.2%(256k–1M),并提供 100 万 token 输出窗口。工程案例包括 Chrome 数百文件重构、vLLM 上 Gemma 4 E2B 推理提速 2.85 倍。Gemini App、AI Studio 和 Antigravity 已可用,API 模型 ID 为 gemini-4-argon。做 agent 产品的,这个输出窗口值得单独测一轮自己的任务。原文 · HN 讨论

3. 732 条评论!Apple HomeView 发布,A18 芯片加 Siri AI

迟到三年的看家屏,这回能翻身吗?

Apple 发布 HomeView 家庭中枢,596 赞、732 条评论,当天争议最大的一条。硬件是 7 英寸 Liquid Retina 屏、A18 芯片配 Secure Enclave、1200 万像素 Center Stage 摄像头,11 月 13 日开售。Siri AI 由 Apple Intelligence 驱动,在 HomeView 27.2 软件中先以 beta 提供,首发仅英文,个性化上下文需要配对的 iPhone 或 iPad。最多识别 6 名用户,可同时看 9 路摄像头画面,支持 HomeKit 和 Matter。做智能家居集成的,先确认客户生态在不在 HomeKit/Matter 名单里。原文 · HN 讨论

4. 藏了 11 年!Rust 借用检查器被证实有 unsound 漏洞

你以为 safe 就安全了?

GitHub issue #164250 报告 Rust 借用检查器的一个 unsound 漏洞,624 赞、353 条评论。问题出在协变字段赋值时生命周期约束被绕过,Drop 实现会拿到不满足 ‘static 假设的引用;简化版复现从 2017 年的 1.18.0 起就能编译,另一个变体可追溯到 2015 年的 1.4。维护团队标为 P-high 而非 P-critical,理由是 11 年没人踩到、实际利用需要刻意构造的 Drop 实现,修复 PR #164277 已开出。写 Rust 的,留意这个修复落在哪个版本再安排升级。原文 · HN 讨论

5. 每天 3 万次合并压垮 git!Anthropic 自研版本控制系统 Scion

git 是按人类设计的,agent 不吃这一套?

Anthropic 工程博客披露已用自研的 Scion 替换 git,五个月完成整个 monorepo 的迁移,373 赞、371 条评论。起因是 AI 写的代码爆发:合并量从 2026 年 5 月的每天约 2,500 次涨到 9 月的 3 万次以上,主分支历史接近 100 GB,每天约 2,500 万次 CI checkout,走 git 协议相当于每天 600 PB 流量。Scion 把提交、合并、rebase 都放在服务端,客户端只留有限缓存,基础设施体积缩到原 git 方案的 1/200,checkout 快两个数量级,CI 省出 25% 的 CPU。Anthropic 说 Scion 不会开源,但希望 git 和 GitHub、GitLab 借鉴这套思路。做大型 monorepo 和 CI 基建的,这篇值得逐段读。原文 · HN 讨论

6. 544 赞!Firefox 推出企业版,对标 Chrome 企业管控

企业浏览器的钱,Mozilla 也想赚了?

Mozilla 发布 Firefox Enterprise,544 赞、224 条评论。功能包括本地部署的管理控制台、按域名的 DLP 告警和拦截、AI 功能开关、SIEM 事件导出、高风险场景的 Lockdown Mode、组织级扩展管控;Thunderbird 的企业管理也即将加入同一控制台。标准支持随产品附带,另有付费的 Firefox Professional Support 层级。对标的是 Chrome Enterprise 的那块预算。管企业终端的,现在多了一家可以谈条件的浏览器厂商。原文 · HN 讨论

7. 1 小时音频 12.6 秒转完!拿嵌入模型改出来的听写工具

嵌入模型改行做听写,Whisper 知道吗?

独立开发者把 Google 的 EmbeddingGemma 2 改成了语音识别模型,364 赞、81 条评论。做法分三步:1、音频编码器不动,训练一个小 reader 把音频片段映射到文本空间。2、每段在约 22.9 万个英文单词里匹配最接近的一个。3、另一个小模型补标点和大小写。reader 训练不到两小时(8 张 H100),词错误率约 5%,领先商用模型在 2–3%。在 8GB 内存的 M3 MacBook Air 上靠 Neural Engine 一小时音频 12.6 秒转完,模型 715 MB,仅支持英文,macOS App 免费。想要本地离线听写的,这个比常驻 Whisper 更省资源。原文 · HN 讨论

8. 480GB 显存塞进一张卡!Intel D270 瞄准推理市场

不用 HBM 换容量,这账算得过来吗?

Intel 发布数据中心 GPU D270,301 赞、174 条评论。规格:单卡最高 480 GB LPDDR5X 显存,不用 HBM;350W 风冷,标准 PCIe 5.0 形态,32 个 Xe3P 核心加 256 个 XMX 矩阵引擎;软件侧官宣 vLLM 和 PyTorch 生态对主流开源模型零日支持。定位是生产推理:agentic AI、长上下文 RAG、高并发服务。页面没有价格和上市日期,性能对比只有对 RTX Pro 6000 的「同带宽下比显存容量」。做自托管推理的,等第三方实测再决定。原文 · HN 讨论

9. Character.ai 申请破产!曾是最红的 AI 陪伴应用

用户没走,钱先没了?

Character.ai 于 10 月 12 日宣布启动自愿 Chapter 11 破产程序,248 赞、252 条评论。公司称法律、监管和运营压力是原因,希望通过法院监督的出售「最大化各方价值」,流程预计 11 月底或 12 月初完成;找不到买家就清算。平台目前照常运行,订阅和计费暂时不变,用户可以删除账号或导出数据。做 C 端 AI 产品的,这是赛道里第一个倒下的头部案例,留存和付费模型值得重新对照。原文 · HN 讨论

10. OpenAI 宣称更快的傅里叶变换?数学家说常数大得离谱

渐近更快,就等于实际更快吗?

argmin.net 的 Ben Recht 拆解了 OpenAI 自称快过 Cooley–Tukey FFT 的论文,236 赞、155 条评论。他的结论:这是一个「银河算法」,渐近复杂度确实低一点,但隐藏常数在 n=10^12 时约为 10^100,同尺寸下经典 FFT 反而快 10^99 倍。原因是计算模型假设任意精度的复数运算,存储这种数的内存随输入长度指数增长。Morgenstern 1973 年证明过有界系数下 n log n 的下界,OpenAI 的结果靠的是绕开这个模型,不是推翻它。关注 AI 生成数学论文的,这篇是最干净的反面教材。原文 · HN 讨论

11. NeurIPS 2026 收录!模型可被证明地隐藏任意能力

权重全给你,你也审不出来?

一篇被 NeurIPS 2026 接收的论文证明,模型可以把加密神经网络藏进自己的权重,270 赞、136 条评论。方法基于密码学的 digital locker:隐藏电路加密后嵌入宿主模型,只有收到秘密触发器才解密执行,在密码学假设下,即使拿到全部权重也无法提取或解释。作者在 PyTorch 里做了概念验证,用化学反应预测任务做替身;微调、权重加噪、梯度触发器搜索、latent adversarial training 四种提取攻击全部失败。能力审计的基本假设是「藏起来的能力能被诱导出来」,这篇给出的是这个假设的边界。做模型评测和红队的,权重访问的保证力度要重新掂量。原文 · HN 讨论

12. 80B 模型装进 32GB 内存笔记本!Janas 从 SSD 流式加载专家

大模型跑的原来是「用到才读」?

Janas 是一个纯 C 写的推理引擎,211 赞、83 条评论,思路是让 MoE 模型大于内存也能跑:权重放 NVMe SSD,每个 token 需要的专家从盘上流式读入,常用专家留在约 19 GB 的内存缓存里。实测在 32 GB 内存的笔记本上跑 80B 模型,生成速度 24 token/s,开投机解码后 37 token/s,同机 llama.cpp 只有 2.8 token/s;支持 Qwen3 系列和 Gemma 4,自带 OpenAI 兼容 HTTP server 和 MCP 工具,GPL-3.0 协议。作者声明它仍是早期实验。想在本地跑大 MoE 的,这是目前最激进的内存方案。原文 · HN 讨论

13. 苹果新论文要把闲置 Mac 聚成 GPU 云跑推理

办公室那排 Mac,终于有活干了?

Apple 机器学习团队发表论文 Minions,205 赞、90 条评论。方案是把局域网内空闲的 Apple Silicon GPU 聚合成一个动态虚拟 GPU 层,按需分配推理任务并带容错,让团队复用已有 Mac 而不是买新卡。论文是定性描述,没有给出吞吐和延迟数字,作者包括 Jianhua Li、Sean Suchter 等,2026 年 10 月挂上 arXiv。手里有一批 Mac 想做内部推理池的,可以等复现结果再动手。原文 · HN 讨论

14. 上了趟 HN 首页,网站差点被 AI 爬虫拖垮

九成流量都不是人,这站还怎么开?

开发者 Sammy Straus 分享:自己的 feed 阅读器 sprinklz.io 上了 HN 拿到约 100 赞后网站持续变慢,且热度过去几天后反而更严重,200 赞、122 条评论。日志显示近一半流量来自一个 AI newsletter 服务的爬虫,为总结网站变化以每分钟多次的频率抓页面;其余还有 Claude bot、OpenAI bot、Google 索引器和一批扫 WordPress 路径的扫描器,而多数爬虫根本没执行单页应用需要的 JavaScript。他用 robots.txt 加限流挡住,并用 Claude 反过来扫了一遍漏洞路径确认没有泄露。小团队发布产品的,先把爬虫预算做进容量规划。原文 · HN 讨论

15. OpenAI 工程师被捕!被指在高管会议室藏录音设备

用 AI 藏的设备,又被 AI 抓了出来?

据 SF Standard,OpenAI 工程师 Abdulrahman Alfozan 于 10 月 9 日被捕、13 日出庭,被控在 OpenAI 旧金山总部的高管会议室藏匿录音设备,HN 上相关报道 18 赞、54 条评论。起诉文件称设备约 9 月 28 日装入、9 月 30 日被公司的反窃密扫描发现,藏在会议室电视后的 USB 口上、外面裹了卫生纸,存储卡加密;监控显示他多次在会议室附近出现。与其配偶关联的一个聊天机器人账号被指查询过「如何制作连续录音设备」和如何加密 SD 卡。罪名成立最高判五年监禁、罚 25 万美元;OpenAI 称没有迹象表明他接触过模型权重、源码或客户数据,并在逮捕当天将其解雇。原文 · HN 讨论

16. 硬件钱包里长出窃密芯片!Ledger 确认渠道货被植入

拆开来才敢用,这买的是钱包还是炸弹?

BleepingComputer 报道,Ledger 确认经马来西亚经销商 CryptoBilis 售出的部分 Nano X 内藏未授权硬件植入,261 赞、241 条评论。原理分三层:1、植入芯片记录屏幕输出和按键,据此还原助记词,经 2×2 mm 的 eSIM 走 LTE 外传。2、构造是 ST STM32 单片机加屏蔽 LTE 模块,一个版本换小电池腾空间,高级版本直接塞进屏幕下的泡棉位。3、识别特征是裸露的天线。Ledger 的 Genuine Check 验不出来,因为原装安全芯片没被动过。研究人员 9 月 16 日展示植入物,Ledger 10 月 10 日确认,建议该渠道买家停用并转移资产;Heise 同日报道有团伙直接销售带隐藏 eSIM 的假钱包。从非官方渠道买过硬件钱包的,按这三条逐项自查。原文 · 相关报道 · HN 讨论

17. Anthropic 公开反蒸馏战果:点名智谱与 Kimi,泄露量降 90–99%

别人白嫖你的模型,你真拦得住?

Anthropic 发布反蒸馏防御的完整复盘,38 赞、90 条评论。文章点名:智谱在 GLM-5.3 开发中蒸馏了 Claude,月之暗面的 Kimi 被指暗中把用户请求转发给 Claude,其中一例涉及中国军方分析监控录像。三道新防线:1、preserved thinking,2026 年 8 月 31 日后新建的 API 账号无法再编辑 Claude 的历史上下文。2、基于 constitutional classifiers 的两级分类器,误判率低于 0.1%。3、9 月 24 日起对低误判类别的拦截请求恢复收费,配合封号,单次行动封过几万个账号。Anthropic 称被提取的推理 token 下降 10 到 100 倍,整体数据收割减少 90–99%。做模型服务的,这套组合是目前公开的最完整防御样板。原文 · HN 讨论

18. Anthropic 红队警告小模型数月内可在 IoT 上自我复制

连数据中心都不需要了?

Anthropic 前沿红队发布报告,警告小模型距离在消费级 IoT 硬件上自我复制可能只剩几个月,39 赞、56 条评论。研究人员 William Zhou 和 Daniel Freeman 指出,智能电视、冰箱、烤箱、割草机的算力加起来足够分布式复制,且这类设备联网、安全投入历来极少;复制体分散在大量终端上,「难以关闭」。他们估计这一能力可能在 2026 年底前出现,目前没有模型既够小又够可靠地完成此事。外部专家 Roman Yampolskiy 评论,AI 蠕虫与普通恶意软件的区别在于它能对陌生设备临场推理、失败后自我修正、无需操作者持续扩散。做 IoT 固件和安全的,这份报告比 AI 圈内的讨论更值得读。原文 · HN 讨论

19. 一台 GPT-6 Astra,把吃灰 Kindle 变成了相框

你的泡面盖还在抽屉里吧?

开发者 Niraj Rajgor 记录了用 GPT-6 Astra 把第十代 Kindle Basic 改造成电子墨水相框的全过程,145 赞、102 条评论。越狱基于 KindleModding 社区的 SpiderCat,作者包了层叫 KindleCTL 的工具从 Mac 下发命令、传文件、读日志;关键一步是搭一条持续的诊断连接,让 agent 自己拉日志和截屏。此前的失败尝试包括 GPT-5.6 Sol 修不动文件系统错误,Fable 5.1 和 Opus 5.5 则在两轮对话后被安全策略拦停。最终相册应用在 Kindle 书库里和电子书并列,十张照片每张显示四分钟,断网可用。想折腾旧设备的,「先搭反馈回路再让 agent 干活」这条直接搬。原文 · HN 讨论

20. 中国 R&D 支出首超美国!2024 年按购买力平价达 1.03 万亿

总量赢了,基础研究呢?

读卖新闻据 OECD 数据报道,2024 年中国研发支出按购买力平价计算达 1.03 万亿美元,首次超过美国的 1.01 万亿,152 赞、148 条评论。增速对比:中国 2024 年研发增长约 9.7%,接近美国 3.4% 的三倍。口径要看清:按市场汇率中国只有美国的一半左右;企业研发、高校研发和基础研究占 GDP 比重(0.5% 对 0.19%)仍是美国领先,专利申请量 2024 年中国约 180 万件,对美国约 60 万件。判断两边 AI 人才池深浅的,结构差异比总量排名更有用。原文 · HN 讨论

21. ERQA 87 分!Gemini 4 Argon 把物理推理带进机器人

看视频学物理,机器人零样本就能上手?

Google 开发者博客介绍 Gemini 4 Argon 的机器人能力,149 赞、39 条评论。模型原生处理多视角视频、3D 几何、接触力学和本体感知数据,在 3D 空间推理基准 ERQA 上纯推理拿到 87%。案例:1、Spot 机器人在 MuJoCo 里练习后学会踩脚踏开盖垃圾桶。2、从摄像头画面重建仿真孪生,把一段 136 秒的折纸视频切成 28 个进度段。3、合成数据把真实机器人任务成功率从 56% 提到 75%,完成时间从 35 秒缩到 24 秒。API 走 gemini-4-argon 模型 ID,付费层级可用。做具身智能的,Real2Sim 是目前最便宜的数据来源。原文 · HN 讨论

22. 开源 CAD 也上 MCP!Rust 写的 SolidCraft 让 agent 直接建模

机械设计的活,agent 也来抢了?

SolidCraft 是一个纯 Rust 写的开源参数化 CAD,132 赞、41 条评论,MIT/Apache 双协议,约 1.8k star。功能覆盖草图约束求解、拉伸旋转扫掠放样、钣金展开、装配体运动仿真,支持 STEP/IGES/STL 导出。亮点是 solidcraft-cli mcp:一个 MCP server,让 agent 直接驱动建模,工具包括 execute、inspect_design、measure、set_parameter、screenshot,还能用 —connect 接管正在运行的桌面应用。官方示例里一辆漫游车完全由 MCP 建成,3,323 个时间线步骤无错误重建;76 个公开参照零件里 75 个的体积与 FreeCAD 计算一致。想让 agent 碰结构设计的,这是目前接口最完整的开源选项。原文 · HN 讨论

23. Gentoo 开发者公开劝退 uv-build 这个构建后端

快 100 毫秒,值得让用户编译几小时吗?

Gentoo 开发者 Michał Górny 发文劝退 uv-build,71 赞、95 条评论。理由有三:1、体积,uv-build 的 wheel 有 1.2–1.5 MB,同等功能的纯 Python 后端 flit-core 只有约 45 KB。2、更新频率,发文前 30 天发了 12 个版本,发行版用户要反复从源码编译,省下的约 100 毫秒运行时间远抵不过编译耗时。3、可移植性,Rust 的平台支持滞后于 Python,32 位工具链编不动大体积二进制,依赖还会随意放弃 SPARC 这类平台。他推荐 flit-core 或 hatchling。维护 Python 库的,选构建后端前先确认下游发行版能不能打包。原文 · HN 讨论

24. IMF 拉响警报!AI 股价回调可能冲击全球金融稳定

泡沫破了的话,接盘的又是谁?

IMF 在曼谷年会发布《全球金融稳定报告》,把 AI 市场回调列为三大突出风险之一,107 赞、124 条评论。数字很具体:超大规模厂商已占全球投资级债券发行的 10%,2024 年还不到 1%;对冲基金股票总持仓加保证金贷款从占发达经济体 GDP 的 10% 涨到约 15%;杠杆 ETF 的单票占比从 16% 升到 28%。2023 年以来披露的 14 笔循环融资里,厂商向较弱 AI 公司注入了约 3,000 亿美元股权和 6,500 亿美元债务。压力情景下,承载全球 22% 银行资产的机构会落入「薄弱」档。做资产配置的,这份报告的杠杆链条图值得放在手边。原文 · HN 讨论

25. 你的游戏就是 agent 的 harness!独立开发者的 AI 工程笔记

游戏做不动,该怪模型还是怪架构?

独立游戏开发者 Kyle Kukshtel 在 Calgary Indie Rodeo 的 45 分钟分享,93 赞、38 条评论。核心观点:LLM 做不好游戏不是因为模型差,而是游戏里有大量对 agent 不可见的非代码信息,这是上下文问题。他给出的做法:1、从第一行代码起固定随机种子,保证任何状态可复现。2、把 OOP 深继承树压成一个可序列化的大结构体加类型枚举,让修改位置无歧义。3、用命令模式把状态变化做成可回放对象,agent 手工或自动生成都能用。4、模拟层独立成库,引擎只发命令、收状态 diff。配套工具是开源图片 diff 工具 odiff 和纯文本输出的采样器 samply。带团队做 AI 辅助开发的,这套模式不局限于游戏。原文 · HN 讨论

26. 185 条评论吵翻!软件工程师到底是不是蓝领

编制没了,手艺还在吗?

Peter Bryant 发文提出:软件工程可能从来都更像电工、木匠那样的熟练技术工种,而不是受保护的白领知识工作,89 赞、185 条评论。论据是结构性的:蓝领行业历史上惯于吸收新工具,缝纫女工面对织布机、伐木工面对电锯、会计面对电子表格,开发者今天面对的是同一件事。他的判断是 AI 结束了这个行业高薪、被重视、被尊重的特殊时期,出路是像以前的工种一样采用新工具,而不是怀念手工。同意与否另说,这篇把行业焦虑说得足够直白,适合对照自己的位置读一遍。原文 · HN 讨论

27. 20 年老程序员退场!投 36 份简历收到 24 封拒信

连他都没位置了,这市场还有谁的位置?

Ruby 社区资深开发者 Ryan Bigg 宣布离开科技行业,167 赞、178 条评论。他是多本编程书的作者、Ruby 下载量最高两个包的维护者,上一份工把团队从 2 人扩到 12 人,远程工作六年。离开的直接原因:投了 36 个以上职位,收到 24 封拒信,再投下去「对精神伤害太大」;他住在 Warrnambool,离墨尔本火车要 3.5 小时,混合办公不可行。他对 AI 的观察也直白:行业嘴上要 AI 技能,但「没有一个人知道怎么用 AI 真正达成业务目标」,他自己的用法是让 AI 写大部分代码、再人工审完上线。招聘方和求职者都能从这篇里看到市场真实温度。原文 · HN 讨论

28. 洗碗机 benchmark 里,前沿模型装载超过人类脚本

下一个测什么,叠衣服吗?

Composo 发布 DishwasherBench,83 赞、49 条评论:一个浏览器里玩的洗碗机装载游戏,物理模拟一台 Bosch 洗碗机,装载后跑一遍虚拟 Eco 50 洗涤,按干净度计分,模型通过 13 个 MCP 工具操作。结果:gpt-6.1-sol 在 37 件的早餐关卡拿到 190/220 分(86.4%),在 62 件的晚宴关卡拿到 260/367(70.8%),都超过「细心人类脚本」玩家的 79.1% 和 68.1%;六个回合里没有模型把中空器皿口朝上放。成本是每次 0.4M 到 3.2M 输入 token(95% 以上命中缓存),完整洗涤模拟在 M3 Pro 上约 5 分钟。做 agent 评测的,物理任务比问答难造,也更有说服力。原文 · HN 讨论

29. 100 万参数的 OCR!CPU 上每秒读 49 页

笨重 OCR 的时代到头了?

Datalab(Vik Paruchuri 的团队)发布 Indra OCR,18 赞。核心是 100 万参数的识别模型,带完整版面分析:行级框、标题列表表格标注、阅读顺序、方向校正,输出 Markdown 或 JSON,加 —math 还能识别行内 LaTeX。速度:32 核 x86 CPU 上 49.4 页/秒,是 PaddleOCR 文本模型的 11.5 倍、Tesseract 5 的 16.9 倍,单页延迟约 228 毫秒。OmniParseBench 上默认配置文本分 41.3,开 —math 后 57.5;短板是复杂表格(56.4)、手写(约 8%)和竖排文本。pip install indra-ocr 即可装。要批量处理扫描件的,这个速度档位能省下一批 GPU 钱。原文 · HN 讨论

30. Thunderbird iOS 版首次亮相!从零原生重写,不提复用旧代码

等了多少年的官方客户端,终于有影了?

Thunderbird 官方博客发布 iOS 版首次预览,446 赞、191 条评论。团队没有复用现有代码,而是从零开始原生开发,目标是让桌面、Android、iPhone 三端体验一致;目前公开的进展集中在账号接入等基础流程,支持 Google 和 Microsoft 一键登录,功能均未定稿,也没有公布测试和上架时间。博客底部附了用户研究计划报名入口。在等官方客户端的,可以现在去提交需求。原文 · HN 讨论

31. 491 条评论!苹果上线「Switch to Safari」专题页,逐项对比 Chrome

浏览器用户也要开始抢了吗?

Apple 上线 Switch to Safari 专题页并发布两支 YouTube 视频,277 赞、491 条评论。页面列的卖点分三类:1、续航,Mac 上视频播放比 Chrome 最多长 5 小时。2、隐私,默认拦截更多第三方跟踪器。3、性能与内存占用更优。评论区的争论集中在这些数字的测试口径。做 Web 产品的,这是苹果罕见的主动下场抢浏览器份额,重度依赖 Chrome 的站点值得在 Safari 下回归测一遍。原文 · HN 讨论

32. 新 Apple TV 4K 发布!Siri AI 上电视,$299 起

按遥控器搜片的时代要结束了?

Apple 发布第四代 Apple TV 4K,334 赞、626 条评论。Siri AI 由新一代 Apple Intelligence 驱动,做成全屏对话界面,机身内置远场麦克风,不用遥控器即可语音交互;价格 $299(或每月 $49.83 分六期),10 月 13 日起预订,11 月 13 日开卖。搭配 4 台 HomePod mini 2 或 HomePod(第二代)可组苹果迄今最强的家庭影院环绕声;作为家庭中枢还能生成摄像头活动描述和摘要通知。家里已是 HomeKit 的,这是目前 Siri AI 功能最全的入口。原文 · HN 讨论

33. 整数乘法也卷到 n log n 以下!Super 把攻关交给 agent 排班

数学前沿现在归 agent 跑了?

Super 的 Auto Research 平台把整数乘法复杂度的攻关做成了可复现的 agent 工作流,81 赞、49 条评论。公开仓库 CrocSwap/integer-mult-bounds 的目标是改进条件整数乘法的指数 saving kappa,即 T(n) = O(n (log n)^(1-kappa)),kappa 越大越好;Codex 或 Claude Code 拿到研究提示词后自行查文献、跑实验、开 PR,平台追踪每条改进建立在哪些前序工作上。这与 Ben Recht 批评 OpenAI 傅里叶变换论文是同一争论的两面:渐近改进必须附带可复核的验证文件。关注自动科研的,这个仓库是目前最透明的观察样本。原文 · HN 讨论

34. 订阅别浪费!用 Codex 或 Claude 账号直接生成有声书

买都买了,让它多读两本?

PDF TO MP3 是一个 Show HN 项目,166 赞、88 条评论。用法分三步:1、在 Codex 设置里添加它的 MCP server(Streamable HTTP)并授权。2、填入 OpenAI 或 Gemini 的语音 key,语音按量计费。3、在对话里贴 PDF,让它用 PDF TO MP3 工具转成有声书。文档处理走你已付费的订阅额度,服务本身不收钱。想把长报告和论文变成通勤音频的,这是目前对订阅用户成本最低的方案。原文 · HN 讨论

35. AI 写代码有多啰嗦?Parsimony 给模型算起净增代码量

解法对不对另说,改这么多行干嘛?

Show HN 项目 Parsimony 是一个开源基准,70 赞、14 条评论。它不测解题率,只测 AI 净加了多少代码:把 SWE-bench Verified 已发布的补丁逐条解析,统计语句、调用、比较、变量名等语法单元的净增量(新增减去删除),行数不计,塞代码无效;所有模型统一用 mini-SWE-agent 跑。初步规律是写得多的模型解得也多(26 个以上模型的榜单 Spearman 相关 0.33–0.60),但净增代码大的补丁长期维护成本更高。目前只测 Python。用 agent 改老代码库的,这个视角比通过率更接近维护的真实代价。原文 · HN 讨论

36. 机器人基础模型开 API!Physical Intelligence 让你上传数据就微调

没有 ML 基建的团队也能玩了?

Physical Intelligence 宣布 Pi API beta,51 赞、4 条评论。开发者上传自己的数据,在官方托管的算力上微调 π 0 / π 0.5 系列机器人基础模型,再通过托管网关跑推理,省掉自建训练管线。早期合作方的落地案例:Actor 的无人轮式装载机已在真实商业工地作业;Almond 的双臂机器人 Axol 用 API 迭代四天后给自己的零件去毛刺;Chef Robotics 等也在名单上。做机器人应用的,这是机器人基础模型公司第一次把「采集数据—微调—部署」闭环做成标准 API。原文 · HN 讨论

37. 18 公里海底隧道停工!Fehmarnbelt 工地遭网络攻击

工地门禁都能被掐停,这网得有多久没修?

承建丹麦到德国 Fehmarnbelt 海底隧道的联合体 FLC 遭网络攻击,162 赞、131 条评论。攻击瘫痪了工地主要 IT 系统:约 2,800 名工人的电子门禁卡失效,施工船、起重机和海上平台无法运转,工程全面停工;项目业主 Sund & Bælt 确认收到承包商报告,称正与其沟通。丹麦数字化安全委员会成员 Henning Mortensen 提出混合战的可能性,丹麦情报部门近期刚把网络威胁等级调至高。该隧道全长 18 公里、预算约 70 亿欧元,原定 2029 年通车,此前已推迟为公路铁路分阶段开通。做关键基础设施安全的,这起与超市冷柜攻击是同一天的两份样本。原文 · HN 讨论

38. Lambda 不再逼你写事件函数!标准 HTTP 服务一条命令部署

写了十年的 handler,白写了?

AWS 发布 Lambda Web Functions,118 赞、112 条评论。Express、Hono、Fastify、Next.js 等标准端口监听的 Node.js 应用可以一条 CLI 命令直接部署,不必改写成事件处理函数。要点:1、每个执行环境最多处理 128 个并发请求,突发流量共享热环境。2、按活跃 CPU 时间计费,等数据库和 API 的 I/O 等待几乎不产生费用。3、一条命令完成多区域部署,自动配置延迟路由,更新可切 10% 流量做金丝雀。首发为 Node.js 24(Arm64),覆盖美东两个区域、美西、东京、爱尔兰。跑 I/O 密集服务端应用的,值得重新算一遍从容器迁过来的账。原文 · HN 讨论

39. 6 天打出 Chrome 完整利用链!XBOW 拿走首个 25 万美元全链奖励

以前这要一个团队干半年?

AI 安全公司 XBOW 披露其 Chrome 完整利用链的技术细节,36 赞、12 条评论。链条串起三个漏洞:V8 编译器 bug、动画 WebP 解码器 bug、Crashpad 内存安全 bug,把普通网页里的 JavaScript 执行推出渲染沙箱外;Google 按 2026 年 4 月新规则颁发了首个 25 万美元 Chrome 全链奖励。整条链用 6 天完成(8 月 2 日至 7 日),做法是把工作拆成目标更窄的并行任务交给多个 agent,而不是一个 agent 端到端输出;XBOW 称 LLM 普及前四人团队做同类链条要 6 到 9 个月。做漏洞研究和防御的,这个时间线本身就是威胁模型需要更新的输入。原文 · HN 讨论

40. 荷兰税务局弃用 Microsoft 365!转向开源办公

数字主权这词,这次是动真格的?

荷兰税务与海关管理局中止了向 Microsoft 365 公有云的迁移计划,93 赞、15 条评论。背景数字来自 Linux Foundation 在欧洲开源峰会发布的报告:94% 的欧盟组织认为数字主权重要,61% 认为非常重要。荷兰还在评估全国范围内从 Windows 和专有软件转向 Linux 及开源办公套件;此前瑞士军方和奥地利、法国、德国、爱尔兰等国政府都有类似动作。给政府和大企业卖 SaaS 的,数据驻留和可替换性正在变成硬门槛。原文 · HN 讨论

41. 科学家开始防着 AI 用!聊出来的点子算谁的

灵感都被记下来了,版权归谁?

Scientific American 报道科研人员对 AI 公司的信任危机,48 赞、24 条评论。导火索有两起:一位 NYU 数学家暗示 OpenAI 内部模型解决数学百万美元难题时用了他分享给聊天机器人的进展,《纽约时报》随后报道了哥本哈根大学一位生物学家与 Anthropic 之间的类似争议,两家公司都明确否认用上传的数据训练模型。悉尼大学理论计算机科学家 Clément Canonne 表示自己既不推荐也不使用这些模型;斯坦福 HAI 研究员 Jennifer King 称,目前唯一稳妥的假设是你输入的一切都会被模型推断出额外信息。经常用 AI 讨论研究想法的,涉密内容的输入边界值得现在就划。原文 · HN 讨论

42. 131 条评论追问!AI 编程这么强,新软件在哪

软件没变好,还是我们找的地方不对?

Nate Meyvis 发文回应「AI 编程这么强,为什么没看到更多新软件」,62 赞、131 条评论。他列出的候选解释:1、软件确实在改进,只是体现为既有产品 bug 更少、功能更多,不构成「新软件」。2、AI 把通用软件替换成了私有工具,领域专家给自己写仪表盘,外人看不见。3、开发团队把提速换成了闲暇,而不是更多产出。4、很多改进发生在软件与非软件组成的系统里,单看软件感知不到。他本人强调这些只是猜想清单,不是结论。做产品判断的,这篇适合用来校准「AI 红利应该长什么样」的预期。原文 · HN 讨论

43. Trezor 也被发现植入芯片!官方先否认又砍经销商名单

这口径,该信哪句?

硬件黑客 Joe Grand 向 Zero Day 证实,他在两台 Trezor 设备里发现了植入芯片,31 赞、2 条评论。两台分别是 2025 年经加拿大 Facebook Marketplace 售出的 Model T 和今年 8 月经 TikTok 商店售出的 Trezor One,后者买家因账户被转走约 50 美元起疑;两款均已停产但仍在支持期内,经非授权第三方卖家售出,Grand 已于 8 月报告 Trezor。Trezor 商务总监 Danny Sanders 当天公开表示没有任何设备被入侵的证据,同时以谨慎为由缩减授权经销商名单。结合 Ledger 同日确认的植入事件,非官方渠道购入的硬件钱包都应按可疑处理。原文 · HN 讨论

44. 一张室内照片定位到具体住宅!警察用上了这款 AI

发过民宿照片的,心里咯噔一下没?

404 Media 报道,24 赞、3 条评论。Graylark Technologies 的产品 Raven(原名 GeoSpy)让执法人员上传一张照片,仅凭画面中的线索在数秒内定位到具体房产,数据源明显包括 Zillow 和 Airbnb,新功能已扩展到分析房屋内景。洛杉矶警方和迈阿密戴德警长办公室都已购买该服务。此前这类工具只能做粗粒度定位,精确到单个住宅是新的量级。常在公开渠道发布室内照片的,先检查画面里有没有可识别的特征。原文 · HN 讨论

45. 麒麟终端出货破 1 亿台!华为六年来首次开芯片发布会

卡了五年,反而卡出条自己的路?

华为 10 月 13 日在上海举行六年来首场芯片技术发布会,36 赞、4 条评论。公布的数字:1、2023 年 8 月回归以来,搭载麒麟芯片的终端累计出货超过 1 亿台。2、Kirin 9050 系列已量产,是首个采用 LogicFolding 混合键合堆叠架构的芯片,晶体管密度提升 53.5%。3、9050 Pro 大核能效提升 41%,NPU 算力提升 140%;2027 款麒麟芯片已完成部分测试。背景是 2020 年 Kirin 9000 发布后遭遇供应限制,麒麟手机直到 2023 年 8 月才重回市场。评估算力供应格局的,国产先进制程的可用性要按这个新基线重算。原文 · HN 讨论