AI 前沿每日 Briefing:2026-11-13
2026-11-12(UTC)Hacker News 首页 84 条,5 条评论数超过赞数。这一天被一件事占满:黄仁勋辞去英伟达 CEO,即刻生效(2412 赞/2346 评论,当天第一);WSJ 称董事会本已准备罢免(1210 赞/1621 评论);Hugging Face CEO 表态继续为开源战斗——英伟达 9 月同意以 129 亿美元收购 HF,DOJ 已问询。模型与产品:Google 发布 Gemini 4 Hydrogen,1M 上下文统一 $1.50/M 输入、Terminal-Bench 4.1 57%(372 赞/244 评论);Anthropic IPO 开闸,纳斯达克代码 ANT,11 月 19 日挂牌,Q3 收入 $170 亿、同比 12 倍(728 赞/735 评论);Jane Street 开源 Socratic Tutor agent 技能(625 赞)。安全:Apache mod_http2 竞态 RCE CVE-2026-119618,影响 2.4.55–2.4.70,64% 云环境躺枪(348 赞/187 评论);22 岁的 PostgreSQL 类型混淆 bug 被做成 RCE CVE-2026-6460,各托管云无一幸免,修复版带出 52 个 CVE。工具与工程:Rust 1.100 稳定 never type(306 赞);Makepad 的 Relax JIT 把 3 分钟编译压到 11 秒;GitHub Actions workflow lockfile 正式 GA;Electron 应用重写 Rust 后 675 MB 砍到 91 MB;ExcalidrawZ 原生客户端带 MCP;Google 发 A2UI 1.0 生成式 UI 协议。Agent:smolmaxxing 在 1GB 电视盒跑 2B 模型、2013 iPad 跑 1.7B(213 赞);Parcha 开源自我改进 agent 平台 AgentRun;zigzag 给 $300 绣花机写开源替代还带 MCP。模型分发:Pirate Face 收录 25399 个模型 torrent;LibreAGI 给开源权重做种子保险库。行业:微软 Defender 偷传未发布软件一天 224 MB;康奈尔测算数据中心只付 38% 电网账单;Jane Street 面试允许用 LLM;Humble Bundle 重设计砍掉 2FA(354 赞/215 评论);任天堂 DMCA 累计撤近 9000 仓库。硬件与趣味:€40 集线器打 648 字节补丁变 Switch 2 底座;93% 油漆泼溅是合法 Perl;agent 全权管理 €300 传感器的菜园;「为什么写对软件本质上很难」老文回榜。美西班补入 9 条：微软 365 宕机 12 小时无根因、苹果 Foundation Models 向 Claude/Gemini 开放、AI 生成的应用挤爆苹果审核、AWS Lambda 空闲内存计费 7 分钟、《经济学人》谈 AI 崩盘等。全期 38 条。
2026-11-12(UTC)的 HN 首页 84 条，其中 5 条评论数超过赞数。这一天被一件事占满：黄仁勋辞去英伟达 CEO，即刻生效，2412 赞对 2346 条评论，当天第一；WSJ 跟进的内幕是董事会本来已准备罢免他。同一天的另一侧，Anthropic 开闸 IPO、Google 发布 Gemini 4 Hydrogen。安全侧出了两个硬 RCE:Apache HTTP/2 和 22 岁的 PostgreSQL 老 bug。美西班补入 9 条：微软 365 大宕机、苹果 Foundation Models 向第三方模型开放、AI 生成的应用挤爆苹果审核、AWS Lambda 空闲内存计费等。全期 38 条。
1. 2412 赞对 2346 评论！黄仁勋辞去英伟达 CEO，即刻生效
市值第一的公司，说换人就换人？
AP 报道，Jensen Huang 辞去 Nvidia CEO 职务，即刻生效，2412 赞、2346 条评论，当天首页第一。CFO Colette Kress 出任临时 CEO。直接背景是新加坡公司 Megaspeed 被指为 Nvidia GPU 流向中国的转口通道：做空机构 Culper Research 估算其约占 FY2026 收入的 20%、约 432 亿美元，且 Megaspeed 进口了比 Nvidia 向美国当局披露数量多 5 万张的 GPU；黄仁勋与 Megaspeed 董事总经理 Alice Huang 的关系近日相继被 NYT、Bloomberg、WSJ 报道。持有 NVDA 或关注算力供应链的，这条是接下来所有定价的锚。原文 · HN 讨论
2. 董事会本来准备罢免他，他自己先递了辞职信
晚一天，头条就得换成「被开除」了吧？
WSJ 报道，Nvidia 董事会已在准备罢免黄仁勋，1210 赞、1621 条评论，当天评论数第二。时间线是：11 月 9 日起媒体连续披露他与 Megaspeed 高管的关系，他在内部备忘录中承认，公司宣布启动独立调查，董事会动作紧随其后。Reuters 同日补充，有消息人士称他还与另一名 Nvidia 雇员有过关系，Forbes 随后曝出第三位。关注公司治理的，这起事件是「明星 CEO 与董事会制衡」的现成案例库。原文 · HN 讨论
3. 129 亿美元的收购还没交割，金主自己先下台了
开源的靠山倒了，这笔交易还作数吗？
Hugging Face CEO Clem Delangue 发帖回应黄仁勋离职，称这是「really sad day」，并表示「我们会继续为开源 AI 战斗，比以往更用力」。背景：Nvidia 今年 9 月同意以 129 亿美元收购 Hugging Face，是其仅次于 2025 年 12 月 200 亿美元收购 Groq 资产的第二大交易；美国司法部已就交易的竞争影响发起问询，预计 2027 年上半年交割。黄仁勋近月力主开放权重模型，曾推动致美国政府的公开信反对过度限制。依赖 Hugging Face 托管或推理基础设施的，这笔交割的不确定性现在多了一层。原文 · HN 讨论
4. 100 万 token 上下文的 Gemini 4 Hydrogen 发布，输入 $1.50
跑 agent 的账，这是要按批发价算了？
Google DeepMind 11 月 12 日发布 Gemini 4 Hydrogen，定位是 agentic 工作流的日常主力模型，372 赞、244 条评论。规格：1M 输入上下文、最多 1M 输出 token，整个上下文窗口内统一 $1.50/M 输入、$7.50/M 输出；四档思考档位，新增 xhigh。基准上 Terminal-Bench 4.1 得分 57%，对照 Gemini 3.8 Flash 的 18.2%,high 档完成任务快 2.5 倍；Artificial Analysis 智能指数 51，略高于旗舰 Argon 的 50。API、AI Studio、Gemini App 当日上线。写 agent 管线的可以直接拿它替换 3.8 Flash 档，先按 Terminal-Bench 类任务测一轮再迁。原文 · HN 讨论
5. 纳斯达克代码 ANT!Anthropic IPO 开闸，Q3 收入 $170 亿
12 倍增长的故事，散户能分到几股？
Anthropic 上线 IPO 认购页，728 赞、735 条评论。安排：路演 11 月 10 日开始，预计 11 月 18 日定价、11 月 19 日在纳斯达克挂牌，代码 ANT；可通过 Schwab、Fidelity、Robinhood 等五家券商提交认购意向，不保证获配。招股书数据：截至 9 月 30 日的季度收入 170 亿美元，同比增长超 12 倍；年贡献 10 万美元以上的客户超 11,900 家；净亏损 233 亿美元，其中 219 亿是可转债与 SAFE 公允价值变动的非现金项。想参与的读 prospectus，重点看收入集中度与算力采购义务。原文 · HN 讨论
6. Jane Street 开源了一个 agent 技能，专治「直接给答案」
让 AI 当老师而不是当答案机，想得挺美？
Jane Street 在 agent_skills 仓库发布 Socratic Tutor,625 赞、143 条评论。它是一个 SKILL.md 形式的 markdown 规范：用户说「教我、考我」时触发，把主题拆成 4 到 10 个子技能，先出 3 到 5 道诊断题，再给技能地图，之后一次只问一个苏格拉底式问题。掌握度按 0 到 5 级打分，升级要求至少两次检验、其中一次是未经提示的回忆；连续答错 2 到 3 次才允许解释，然后再测。给自家 agent 配教学能力的，这是一份可以直接抄的流程定义。原文 · HN 讨论
7. Apache HTTP/2 曝远程 RCE,64% 云环境躺枪
又不打补丁的，又要当一轮人肉蜜罐？
Wiz 披露 CVE-2026-119618,348 赞、187 条评论。根因是 mod_http2 的 assign_headers() 在多线程共享资源时的竞态，导致堆损坏，未认证攻击者可远程触发、以 Web 服务器权限执行代码；影响 Apache 2.4.55 到 2.4.70,2.4.71 已修复。该漏洞由 Anthropic 与 Google Cloud 漏洞研究团队独立上报。Wiz 扫描称 64% 的云环境存在受影响版本，其中 51% 公网可达；短期缓解是设 Protocols http/1.1 关掉 HTTP/2。跑自建 Web 服务的，先查版本再决定缓解方案。原文 · HN 讨论
8. 22 岁的 Postgres 老 bug 被做成 RCE，各大云无一幸免
这次的升级通知，真敢当垃圾邮件删？
安全研究员 Mehmet Ince 披露 CVE-2026-6460,70 赞。漏洞是 2004 年 5 月引入的复合行类型 TOCTOU：先用 PREPARE 存一个复合类型值，再 ALTER TYPE 改字段类型且数据不重写，EXECUTE 时按新类型读旧字节；最低权限的数据库账号即可触发，他在 PoC 里伪造指针直调 system()，在 PostgreSQL 18.6 上实测成功，并把利用移植到 Aurora、RDS、Azure、AlloyDB、Supabase 等托管服务。11 月 9 日的修复版一次带出 52 个 CVE，同日上游还发布了 18.7、17.12 等全系列维护版本。管数据库的，这版没有「再等等」的选项。原文 · HN 讨论
9. 吵了 10 年、流产 5 次！Rust 的 never type 在 1.100 转正
你当年绕开它的 workaround，这次能删了吗？
Rust 1.100.0 发布，306 赞。头号变化是 never type(!）稳定：官方博客称历时 10 年、5 次失败的稳定化尝试，现在 Result<T, !> 可以随处书写，Infallible 变为它的别名；同时稳定的还有 Allocator API（可为 Vec、Box 挂自定义分配器）、DropGuard（闭包在 return、?、panic 每条退出路径上执行）、Cargo 的 min-publish-age（比如设 3 天冷却期，跳过刚发布的依赖版本）。写 Rust 的，升级后先把为 never type 写的兼容层清掉。原文 · HN 讨论
10. cargo 编译要 3 分钟，它 11 秒出首帧：一个 Rust JIT
等编译比写 bug 还久的年代，要结束了？
Makepad 团队发布 Relax,64 赞：一个用 Rust 写的 Rust 实时编译器加 JIT 运行时，不用 rustc、LLVM 和链接器，函数首次调用时才编译，热代码后台从解释器升到 O3。M4 MacBook 上，大型 3D 工程 clean checkout 首帧 11 秒（cargo 约 3 分钟），第二次 1.15 秒；代价是优化代码比 cargo build --release 慢 1.12 到 1.24 倍（几何均值）。定位是开发期的编辑-运行循环，release 仍走 rustc；目前支持 Linux x86-64 与 macOS arm64,MIT 协议。被 cargo 循环时间折磨的，可以拿它跑迭代。原文 · HN 讨论
11. GitHub Actions 的 lockfile 正式 GA，标签投毒有了解法
下次再被改标签，CI 能自己拦住了吧？
hugovk 撰文梳理 Actions 供应链加固，323 赞、64 条评论。背景是 tj-actions/changed-files 标签被重指向恶意代码的事件，而 Git 标签是可变的。10 月 28 日 GitHub 把 workflow lockfiles 转为正式可用：工作流照常写 vX.Y.Z 标签，.github/workflows/actions.lock 记录解析出的 commit SHA 与仓库 ID；配套工具 gh-actions-lock 生成锁文件，CI 里用 gh actions-lock --verify 单独校验，zizmor 从 v1.32.0 起支持。维护 CI 的，加锁和 Dependabot 冷却可以并行上。原文 · HN 讨论
12. 675 MB 砍到 91 MB，一个 Electron 应用的 Rust 重写全记录
把 Chromium 扔掉之后，世界清净了？
独立开发者把笔记应用 Jot 从 Electron 重写成 Rust,38 赞。安装体积从 675 MB 降到 91 MB,DMG 从 302 MB 降到 44 MB，主因是去掉只为一个笔记列表服务的 Chromium。架构改成单进程：视图和状态在一个 struct 里，没有跨进程消息；重活交给线程，共享核心 crate 同时供 App、CLI 和 MCP server 使用。代码量约 7.6 万行 Rust 对 7.3 万行 TypeScript，基本持平。应用付费，$9。在评估 Tauri、Rune 这类路线的，这是一份带前后对照的完整账本。原文 · HN 讨论
13. 原生 SwiftUI 版 Excalidraw 上桌面，本地文件还带 MCP server
白板也能进 agent 的工具箱了？
ExcalidrawZ 是纯 SwiftUI 写的原生 Excalidraw 客户端，87 赞，MIT 协议，约 1.7k 星。文件默认存在本地（可选 iCloud 同步），支持版本检查点、Apple Pencil 手势、Mermaid 转图和 PDF 导出；内置 AI 绘图助手可读写改图，另起 MCP server 供外部 agent 客户端接入。App Store 和 GitHub Release 均可下载。想要本地优先白板、又想被 agent 调用的，这个组合现在就能装。原文 · HN 讨论
14. Google 把 A2UI 推到 1.0,agent 可以直接画原生界面
以后 agent 不回了，直接甩个表单过来？
Google 在开发者博客发布 A2UI 1.0,39 赞：一套开放的生成式 UI 协议，agent 输出「要展示什么」的描述，由宿主 App 用各自的原生组件渲染，敏感数据在服务端绑定、不进模型。开源渲染 SDK 覆盖 Web(React、Angular、Lit)、Flutter、SwiftUI 和 Jetpack Compose，支持 MCP Apps，即在 Claude、Gemini 这类助手内直接渲染；公开的合作方有 Atlassian、Bloomberg、字节跳动。做 agent 产品又不想被某家 UI 方案绑死的，这个协议值得跟进。原文 · HN 讨论
15. 写下你的 AI 红线，到了那一步就辞职、就发声
真到那一步，你会照自己写的做吗？
yourairedlines.com 上线，30 赞、23 条评论：一个不需要账号的承诺站，让你现在就把「什么事发生我就行动」写成具体触发条件，行动选项包括辞职、发声、参与，写完可生成链接或匿名贴上公开墙。概念来自 Joseph Rotblat 因良知退出曼哈顿计划（「Rotblat Line」），个人版文档的想法署名 Lizka Vaintrob；页面引用 Harkin 等人 2016 年对执行意图的元分析（138 项试验、19,951 人）作为「写下来更有效」的依据，但也声明这只是指引、不是承诺。在 AI 行业干活又有顾虑的，花十分钟写一份不亏。原文 · HN 讨论
16. 1GB 内存的电视盒跑 2B 模型，2013 年的 iPad 也没逃过
抽屉里的老设备，都能再就业了？
smolmaxxing 项目实测在最低端设备上跑 LLM,213 赞、75 条评论，MIT 协议。两台设备：小米电视盒 S 第三代（Amlogic S7D 四核 A55、约 1GB 可用内存、Android 14、不 root）上 Qwen3.5-2B 跑到 7.7 token/秒；2013 款 iPad Air(Apple A7、约 700MB 可用内存、iOS 12.5.7）上 1-bit 的 Bonsai-1.7B 跑 24 到 26 token/秒，16B MoE 的 Ling-mini-2.0 靠专家分页也能跑到 5.1 token/秒。手段是给 llama.cpp 打补丁：自写 1-bit 查表与 2-bit 重量化 kernel、剪词表、MoE 专家按页从闪存换入。想在旧硬件上塞模型的，bench 目录有完整日志。原文 · HN 讨论
17. 开源的「自我改进」agent 平台，一次 code review 花 18 美分
agent 自己攒经验，下回还犯同样的错吗？
Parcha Labs 开源 AgentRun,54 赞，Apache-2.0 协议。它在 Claude Code、Codex、OpenCode 等 harness 之上加自我改进、持久执行和控制面：每个 run 结束 agent 多一轮「哪些值得保留」，产物经代码检查和 grader 验证后 commit 进 git；杀掉服务再启动，run 从中断处继续；支持按工具审批、给 run 设花费上限。README 给的案例：外部供应商 code review 月费从 $180 涨到 $6,451，换自研 reviewer 后每次 18 美分，在 30 个陌生 PR 上抓到 1.6 倍于对照的真实 bug；自托管部署约 $25/月。想给 agent 加记忆又不想要 vendor 管线的，可以直接部署。原文 · HN 讨论
18. $300 的绣花机要订阅才能用？作者自己写了个开源的
机器都买了，软件还得按月租？
作者买了一台 $300 的 Brother Skitch(PP1）绣花机，官方配套 App 需要订阅，于是写了 ZigZag,175 赞、72 条评论，Apache-2.0。Rust 加 egui 做的视觉编辑器，把 SVG 或描摹的图片转成 PES、DST、JEF 等绣线格式，内置十多种针法；自带 MCP server（本机 127.0.0.1:7878）,Claude Code 这类 agent 可以直接改设计稿；蓝牙协议是逆向的，README 提醒「别升级固件」。GPU 上规划针迹低于 12 毫秒。玩硬件又想让 agent 干手工活的，这是个完整样板。原文 · HN 讨论
19. 25399 个模型种子、37500 个做种者，模型分发正在 torrent 化
中心化的带宽账单，谁爱付谁付？
Pirate Face 撰文论证 torrent 是模型分发的自然形态，35 赞、16 条评论。理由：模型文件不可变、所有下载者取的是同一批字节，一个模型一个 swarm；内容寻址让 hash 自己就是名字，v2 torrent(BEP 52）按文件算 Merkle 根，多文件模型的 hash 与文件顺序无关。站方数据：已收录 25,399 个模型 torrent、37,500 个在线做种者，tracker 为 udp://tracker.pirateface.co:6969，另有 Model DHT 做无 tracker 发现；文里举例 DeepSeek-V4.1-Flash-1017 共 48 个 safetensors 分片、510GB。做大模型分发的，这篇文章把为什么该做种讲清楚了。原文 · HN 讨论
20. 给开源模型权重建种子保险库的 LibreAGI 开张
哪天官方仓库没了，模型还下得到吗？
LibreAGI 上线，101 赞、21 条评论：一个私有 BitTorrent tracker，目标是保存有消失风险的开源模型权重。规则：只收 safetensors、GGUF、ONNX，许可证限 Apache-2.0、MIT、Qwen Community License 等开放许可；文件对照源 commit 校验，staff 逐个审核后才分发。激励按稀缺性给积分，只有一个副本的模型按 4 倍基础计酬；另有一份签名的公开目录记录每个模型的 hash 与来源，站点没了也能据此重建 swarm。担心模型托管单点故障的，这是除自己冷备之外的第二种选择。原文 · HN 讨论
21. 微软 Defender 不打招呼就上传未发布软件，一天 224 MB
我的二进制，凭什么先进微软的服务器？
开发者 Garrett Stimpson 用自写的网络监控工具 Hodometer 抓到 Microsoft Defender 自动上传他未发布的程序，60 赞、27 条评论。数字：三个月 217 次样本上报，其中 201 次是一个 Go 测试程序的各种构建；MpCmdRun.exe 单日向 Azure 存储上传 224 MB、30 天共 2.8 GB；支持日志里 85 条记录带完整命令行，78 条含他的用户名和项目目录名。开关在「Windows 安全中心 → 病毒和威胁防护 → 管理设置 → 自动提交样本」，默认是自动发送；他本人用本地 agent 完成了大部分排查。发未发布软件的 Windows 用户，现在就可以去关掉。原文 · HN 讨论
22. 数据中心的电网升级账单，只肯付 38%
AI 的电费，最后还是穷人扛？
康奈尔大学 Fengqi You 团队 11 月 9 日在 Nature Energy 发文，97 赞、87 条评论。测算：2025 年美国约 82.5 亿美元的电网基础设施账单，数据中心只承担 31.2 亿（38%)，其余 62% 主要摊给居民；最低收入家庭多出的能源支出最高占收入 28%；输电投资从 2020 年的 20 亿涨到 2025 年的 340 亿；受影响最大的枢纽批发电价涨 10% 以上，弗吉尼亚 15%、加州南湾 20%。每 GW 数据中心容量约带动 1.5 万个就业。作者建议按新增需求向数据中心收费、把税收优惠与就业挂钩。谈 AI 基础设施成本时只盯着 PUE 的，这篇补上了社会成本的一侧。原文 · HN 讨论
23. Jane Street 面试改了：onsite 允许用 LLM，少写代码
人人都能生成代码之后，面试还考什么？
Jane Street 官方博客宣布，从今年夏天起在校园候选人的 onsite 轮次试点新形式，134 赞、119 条评论。变化：部分轮次减少手写代码，改为高层软件设计、核验代码的质量与意图，并允许用 LLM 生成代码；传统的无 LLM 编码轮基本保留。博客给出的理由是 LLM 让生成代码变便宜，筛选重点转向「对要造什么有品味、选能持久的抽象、确认造出来的东西是对的」。社招面试暂不变。准备面量化或大厂工程岗的，这是个明确信号：检查 AI 产出的能力正在变成考点。原文 · HN 讨论
24. 重设计直接砍掉 2FA!Humble Bundle 被 vibecoding 反噬
AI 赶工出来的代码，连登录保护都能丢？
多家媒体报道 Humble Bundle 的站点重设计砍掉了大部分账号安全，354 赞、215 条评论。已确认的变化：两步验证（2FA）整个移除；改密码和改邮箱不再要求验证当前凭据。社区普遍怀疑新站是 vibecoding 赶工出来的，页面和行为被扒出多处典型痕迹，PC Gamer、Kotaku 均以安全缺失为题报道。对开发者这是个可引用的案例：AI 生成的重写落在账号系统上时，安全需求不会自动生成。有 Humble 账号的，先去检查绑定的支付方式。原文 · HN 讨论
25. 一天清掉 400+ 仓库！任天堂的 DMCA 大扫除又来一轮
搬到自建 Git，就真安全了吗？
IGN 报道任天堂在 GitHub 发起新一轮 DMCA 清扫，215 赞、143 条评论，目标是 Switch 模拟器和 modchip 固件。此前 8 月 17 日一天就有 401 个仓库（其中 311 个是 Suyu 分叉）被撤，10 月又有一波针对 8,500 多个 Yuzu 相关仓库的通知，2024 年以来累计接近 9,000 个。幸存项目的共同点是搬离 GitHub:Eden、Citron、Ryubing 都转到了自建 Git 基础设施，DMCA 通知管不到那里。做模拟器或保存类项目的，托管位置就是法律策略的一部分。原文 · HN 讨论
26. €40 的 USB-C 集线器，被 648 字节固件补丁改成 Switch 2 底座
官方底座卖那么贵，就拦不住这点字节？
nozomi 博客记录了把普通 USB-C 集线器改造成 Switch 2 底座的全过程，138 赞、50 条评论。难点在 TV 模式需要任天堂私有握手：Switch 用 SVID 0x057E 的厂商定义消息查验底座身份，光有 DP Alt Mode 不够。作者在 VL103 PD 控制器的 8051 固件里打了约 540 字节的补丁，冒充官方底座的产品 ID(2062）并应答版本命令，又给 RTD2142 的 HDMI 芯片补了 108 字节，把 HDR 的 AVI InfoFrame 从 BT.709 改成 BT.2020，解决发灰问题。结果 TV 模式加 HDR 都能用，接 PC 照常；VRR 不行。想省底座钱的，两段固件都在文里。原文 · HN 讨论
27. 93% 的油漆泼溅都是合法 Perl！这是篇正经论文
Perl 程序员看完，是该哭还是该笑？
SIGBOVIK 2019 的一篇论文实测：100 张油漆泼溅照片经 OCR 后，93% 能被解析为合法 Perl 程序，只有 7 张反例，559 赞。论文逐张给出泼溅图到 Perl 源码的对照画廊，并因贡献了真实工件领了「Unwitting Participation Ribbon」。Perl 以「怎么写都能跑」著称，这篇是把传说做成对照实验的样本。给团队挑入门语言的，这张图比任何争论都有说服力。原文 · HN 讨论
28. 花 €300 传感器种 €60 生菜，这事交给 agent 全权打理
种菜也要建 lakehouse，是折腾还是修行？
开发者 Jatorre 把约 2 平方米的菜园全面传感器化，交给一个每天运行的 agent 管理，131 赞、70 条评论。配置：11 个 Ecowitt 传感器（8 个土壤探针、气象站、叶面湿度计，约 €300）加一台 4K 摄像头，数据直接 POST 进自建的 LakehouseBox(Iceberg 表），自 9 月 18 日以来已存 400 多万条读数。agent 每天 08:45（马德里时间）查历史、预报和照片，写日志并发一封早晨邮件；浇水走「最荒谬但可行」的路线——用一部旧安卓手机在阀门箱旁自动点按 Rain Bird 的蓝牙 App。端到端首测把浇水启动时间挪了一档，土壤湿度从 53% 升到 66%。想看 agent 长期自治真实表现的，这个站有全部日志。原文 · HN 讨论
29. 为什么写「正确的软件」本质上就难，一帖老文又被顶上来
所以 bug 真不全是程序员的锅？
Ron Pressler 2016 年的长文《Why Writing Correct Software Is Hard》今天被重新顶起，329 赞、147 条评论。论点：正确性的代价是本质困难，不是工程事故——验证不可判定（停机问题、Rice 定理）；即使限制到可简洁表示的有限状态机，符号模型检查仍是 PSPACE-complete；模块化也不救场，两个正确模块的组合验证可以不可解，他用 10 行 Java 编码哥德巴赫猜想作例子。结论呼应《No Silver Bullet》：没有通用解，该做的是对真实程序和 bug 做经验研究，找可解的特殊情形。团队里在推形式化方法或质疑它的，这篇是共同的起点。原文 · HN 讨论
30. 12 小时找不回根因！微软 365 瘫痪，Outlook 全国停摆
迁了这么多年云，邮件还是照发不出？
11 月 12 日 Microsoft 365 出现大规模服务降级，冲上 HN 首页第 5,1022 赞、860 条评论。症状：Outlook 邮件在美国全国范围不可用，纽约市教育局专门发邮件告知教职员工无法收发；欧洲从清晨起大量用户报告 Outlook 宕机，Teams 无法与未聊过的人发起新会话。微软状态页连续更新超过 12 小时仍未给出根因：已恢复的服务器一开始接收流量就再次无响应，团队正拉网络与平台专家分析诊断数据。协作跑在 M365 上的团队，「长时间无根因」这个场景值得补进应急预案。原文 · HN 讨论
31. 苹果 Foundation Models 向 Claude、Gemini 敞开大门
同一套 Swift API，哪家模型都能接了？
苹果更新 Foundation Models framework 文档，231 赞、32 条评论。变化：1、框架从端上 Apple 基础模型和 Private Cloud Compute 扩展到服务端模型，首批列出 Claude、Gemini，任何厂商做一个符合 Language Model 协议的 Swift package 即可接入，工具调用、guided generation 走同一套 API。2、新增 Dynamic Profiles：声明式定义多组模型、温度、推理档位和工具集，在单个连续会话内切换，会话记录跨 profile 共享。3、App Store Small Business Program 且首发下载不足 200 万的开发者，可免云 API 费用使用 PCC。做 iOS 应用、想换模型不换代码的，这是官方给出的路线。原文 · HN 讨论
32. 每天 10–20 个 AI 做的 App 涌进来，苹果审核先顶不住了
真人开发者，被 AI 造的 App 连坐了？
Synth Anatomy 报道，184 赞、206 条评论，评论数超过赞数。背景：AI 让任何人都能 vibe code 出 iOS 应用和 AUv3 插件，每天约有 10–20 个新 iOS 音乐 App 进入市场，苹果审核从惯例的 24–48 小时拖成数周。案例：Unfiltered Audio 的 Sinusoidal Run Rhythm 被拒 4 次。一次审核方幻觉出「Polyharmonic」是需要授权文档的音频技术，另一次以「与自家 SRR 雷同」把 MIDI 版判为垃圾信息，来回一个多月；AudioThing 的 Materia 审了 25 天，与 Hainbach 合作的 Seconds 已审 29 天未出结果；Pittsburgh Modular 的 Microvolt 3901,VST 版 10 月 27 日上架，iOS 版拖到 11 月 12 日。做 iOS 开发的，排期里给审核留的余量要重算了。原文 · HN 讨论
33. Zen 6 之父亲口确认，密度核 Zen 6c 才是性能主力
大小核走了四代，这回小号赢了？
Chips and Cheese 在 AMD In-Depth 现场专访 Zen 首席架构师 Mike Clark（在 AMD 做核心设计 33 年）,226 赞。要点：1、从 Zen 4 开始的双路线到这一代完成反转，过去密度版只是省面积的「小号」,Zen 6c 现在启用每核 4MB 的完整 L3，成为家族里 IPC 最高的性能核。2、文中描述的芯片集成 32 个 Zen 6c 核、共 128MB L3，向量调度器等部件比高频版 Zen 6 更大。3、经典设计继续作为高频 variant 存在。关心 CPU 选型和服务器采购的，等完整规格公布时按新角色重新评估 6c。原文 · HN 讨论
34. 请求早结束了，AWS Lambda 还在为空闲内存计 7 分钟费
函数都闲着了，计价器还跑着？
托管平台 Easel 实测 AWS 10 月发布的 Lambda Web Functions,76 赞、30 条评论。AWS 文档写明执行环境存活期间内存持续计费，但没写空闲环境多久回收：实测 6 个环境在最后请求后仍计费 313–411 秒（约 5–7 分钟），且没有可调的空闲超时；一个 200 毫秒的请求会带出约 1700 倍时长的计费内存时间。按刊例价测算，内存约占计算加请求成本的 88%。Easel 最终放弃 Web Functions 改回自研计算，并测得自研更快。请求稀疏、环境数量多的应用，这项隐藏成本要在架构评审里单列。原文 · HN 讨论
35. 《经济学人》改口风，AI 崩盘要来，但未必是灾难
喊了八年泡沫，这次乐观派也让半步？
《经济学人》Leaders 栏目 11 月 12 日发文，97 赞、81 条评论。文章列出的隐忧：黄仁勋丑闻冲击第一大芯片厂、民主党赢下中期选举后扬言盯数据中心、Anthropic 预计下周挂牌并可能创下 AI 公司最大 IPO；但结论不是金融危机式的崩溃，副题明写「not necessarily a financial cataclysm」。HN 讨论区的高赞评论集中在「循环融资」:Nvidia、OpenAI、Anthropic 互相投资，收入数字被指自我强化，类比安然的声音不少，也有人回敬循环融资本身并不违法。做多做空 AI 的，两边的弹药这篇文章里都找得到。原文 · HN 讨论
36. 餐厅老板用 Claude Code 给员工写了个 App，然后问能不能帮他运维
演示能跑的那天，没人告诉他还有 90% 吧？
博主 Alex(bacon roll）记述：一位开餐厅的朋友用 Claude Code 给员工写了任务管理 Web 应用，91 赞、35 条评论。演示挑不出毛病：布局干净、流程合理、刷新后数据还在。细查发现：没有响应式布局，员工实际用的手机打开就破；没有登录，谁做了什么无从追溯；没有错误状态、空数据和重复提交处理；厨房一半人不懂应用语言，也没有多语言；数据只在页面刷新级别上「持久」，经不起任何真实事故。作者的论点：真实软件的大部分代码服务于 demo 永远走不到的路径：错误处理、并发冲突、最坏情形，vibe coding 恰好跳过这部分。想用 AI 生成应用直接上线的，先回答运维和异常路径谁负责。原文 · HN 讨论
37. 启动画面画成一棵树，systemd 各阶段在控制台实时生长
等 12 秒看它长出来，比看滚屏有意思？
bootvine 登上 HN,367 赞、147 条评论：一个 Rust 写的启动动画，把 systemd 的启动阶段画成一棵在引导控制台实时生长的树，直接渲染在启动 VT 上；仓库在 Codeberg，当前 v0.1.3，自带 Nix 打包与 Woodpecker CI。评论区最热的却是启动速度：有网友从截图读出它从 initrd 到加载完成花了 12 秒，更多人吐槽 UEFI 初始化和 DDR5 内存训练常常比整个 OS 启动还久。做 Linux 定制和嵌入式界面的，这个项目把启动等待变成了一个可看的对象。原文 · HN 讨论
38. 一个 prompt 一个 HTML 文件，34 个游戏全靠 Claude Fable 5.2 自写
游戏开发者，这回该紧张了吗？
fable52.games 上首页，69 赞、58 条评论：一个收录 34 个浏览器游戏的街机站，站内全部作品自称由 Anthropic 的 Claude Fable 5.2 自主构建，多数来自单个 prompt，不少是单个自包含 HTML 文件，prompt 就挂在游戏旁、源码逐行可看。展品 Saltline 是一个 1.4MB 纯 HTML、零外部素材的 3D FPS，号称一次 8 小时自主构建完成，玩家在雨夜集装箱港口被无人机和机器狗追猎；目录里还有 7 个 FPS、3 个模拟类，其余覆盖赛车、开放世界和体育。想评估模型自主长任务能力上限的，这里有一排可玩的样本。原文 · HN 讨论