‹ 11-10 11-12 › 下载 EPUB

HN 日报 · 2026-11-11

今日怎么读：先看速览 → 深读必读 → 需要时展开扫读

Layer 1

今日速览

必读

8 则 · 热度 × 产品相关
1

前 Meta 工程师：全靠 AI 写代码，代码库会变脆

作者说在 Meta 被要求 90% 代码由 AI 生成，现在新公司要求 100%，他列出四种让代码库变脆的方式。

🔥 364 | 💬 398 🔗 文章 💬 讨论
AI 让写代码变快，但审代码和理解代码的人没变快，债会慢慢积起来。

事实

  • 作者 5 月被 Meta 裁员，他猜部分原因是自己采用 AI 不够积极；在 Meta 后期 90% 的代码已由 AI 生成，是拿到正常绩效的最低线。
  • 他列的四个问题：AI 写的测试很浅（多测 get/set，覆盖不到真实用户场景）；代码过度复杂；人越来越不懂代码；PR 来得太快，审查只能扫一眼。
  • 他给的症状之一：团队全面转向 agent 写代码后，线上事故慢慢变多。

解读

  • 对产品团队，真正的瓶颈从「写」转到了「审」和「懂」。AI 产出越多，越需要有人对整体结构负责。
  • 代码覆盖率指标会骗人：行数覆盖到了，不等于用户场景覆盖到了。验收要按用户路径设计。
  • 可做的事：给 agent 设固定的检查关卡，比如复杂度、重复代码、命名规则，用工具卡住，而不是靠人眼。

讨论

  • 正方有人说代码质量不是问题，直到它成为问题：改一处坏三处，读复杂代码还会多烧词元。
  • 反方有人说文章像一年前的观点，新模型已经能写好测试，只要提示里说「别过度设计」；一位做 50 万行移动 App 的人说脆弱性影响不大。
  • 共识有人提醒，人写的大代码库也会烂（举了 Oracle 2500 万行代码的例子）；关键是有没有审查和自动关卡。
2

DeepMind 发布 AlphaProof Code，用 AI 证明 Signal 加密代码是安全的

agent 生成 600 多万行 Lean 证明，验证的是 Signal 协议实际运行的代码，不只是设计。

🔥 576 | 💬 175 🔗 文章 💬 讨论
「AI 写的东西靠不住」的一个解法：让 AI 写证明，再由机器逐行检查。

事实

  • 人类专家先把 Signal 的安全目标写成形式化规格，每一条都人工审过；然后 Gemini Carbon 驱动的 agent 写证明，共生成 600 多万行 Lean。
  • agent 还会自查证明，只把约 1% 的部分标给人复核；其余由 Lean 自动检查。
  • 为验证系统能分辨好坏代码，团队把两个已修复的真实 bug 放回隔离版本，系统都证明了有 bug 的版本不安全。Signal CTO 称这是重大突破。

解读

  • 「形式化验证」指用数学证明代码在所有情况下都满足某些性质，比测试强得多，但以前要专家团队做好几年。
  • Lean 是一种能让电脑逐步检查证明的语言。AI 可以乱写，但 Lean 不认错的证明。
  • 对产品：高风险模块（支付、加密、权限）以后可能用「AI 写 + 机器证」的方式，成本大降。真正难的是写对规格，也就是想清楚要证明什么。

讨论

  • 正方有人预计两三年后跑没验证过的软件会显得很疯狂，就像现在看明文 HTTP。
  • 反方有人怀疑：验证了整个库却一个 bug 都没找到，是不是定理写窄了；也有人提醒 AI 写 Lean 会作弊，需要另一个对抗式审查。
  • 共识有人指出它只检查实现是否符合规格，不检查规格本身对不对。
3

Anthropic 的 Glasswing 七个月：发现 3.8 万个漏洞，修复 217 个

安全公司 VulnCheck 统计，AI 找漏洞的速度远超维护者修的速度，验证负担落到开源维护者身上。

🔥 167 | 💬 60 🔗 文章 💬 讨论
找问题容易，修问题难。AI 把这个差距拉得更大。

事实

  • Glasswing 于 4 月 7 日启动。VulnCheck 统计约 442 个 CVE 来自 Anthropic，约占今年 CVE 的 0.5%，只有两个被发现在野利用。
  • 37,966 个发现中 7,349 个已公开（19.4%），217 个标记为已修复；9 月以来新增近 1.2 万个发现，只多了 15 个修复。
  • 约 1,654 个被标为重复，419 个撤回；curl 在 34 个公开报告里拒了 19 个，确认 6 个为低危。

解读

  • 对 AI 产品：输出的数量不等于价值。把验证工作推给下游（这里是开源维护者），会消耗对方的信任。
  • CVE 是公开漏洞的统一编号。「在野利用」指已经被真实攻击者用上。

讨论

  • 正方有人担心，如果 AI 找漏洞远比修漏洞强，防守会越来越难：3.8 万对 217。
  • 反方有人说文章只分析了已公开的 19.4%，未公开的可能正在修；也有人指出结论正好契合 VulnCheck 自己的生意，像软广告。
  • 共识有人说今年初的热点（Mythos 等）现在热度已大降，变化很快。
4

智能家居应该断网也能用

作者十年来的规则：网断了，房子照常运转；云服务只能是多一个入口，不能是唯一入口。

🔥 686 | 💬 247 🔗 文章 💬 讨论
产品依赖厂商服务器，就等于把用户的家交给厂商的生死。

事实

  • 作者的 Nest 集成在谷歌改 API 后失效，从此按「厂商会变」来设计；举例三星冰箱屏幕上弹出 TLS 证书错误、烧烤控制器要联网才显示温度。
  • 他的方案：ESP 板刷 Tasmota、MQTT、树莓派上的 Node-RED；Alexa 只是另一个开关。
  • 规则包括：加新方式时别拆旧方式（墙上开关要留着）；云设备必须有带日志的 API，否则不装。

解读

  • 给做硬件和联网产品的人：核心功能要能离线工作，联网是加分项。这也是很多用户的购买标准。
  • 「不要拆掉旧方式」是一条通用的产品原则：新功能失败时，用户还有退路。
  • Home Assistant 给每个集成标了「本地推送」到「云端轮询」的等级，这种透明标签本身就是好设计。

讨论

  • 正方多位评论者有类似规则：只买 Zigbee/Z-Wave 这类离线协议的设备，非传感器设备不联网也要能正常用。
  • 反方有人说研究成本太高，刷固件很折腾，所以一直没入坑；也有人说只能靠立法，厂商不会主动做。
  • 共识有人不满文章用 AI 改过稿，希望作者直接发自己的初稿。
5

Chrome 团队发布指南，让编程 agent 别再写 2019 年的 JavaScript

200 多篇网页最佳实践，以 agent 技能和命令行工具形式提供，和 Firefox、MDN、Edge 合作。

🔥 252 | 💬 72 🔗 文章 💬 讨论
模型训练数据偏旧，它们会默认用老写法。给 agent 喂新知识，本身是一个产品机会。

事实

  • 作者说模型知道很多浏览器原生功能（比如 dialog 弹窗、自动变高的输入框），但默认还是写 div 加一堆 JS。
  • 1.0 版含 200 多篇指南，约 1.7MB，开源；作者花 9 个月研究怎么在不撑爆上下文的情况下交付。
  • GitHub 上约 3,200 星。

解读

  • 「上下文窗口」指模型一次能看到的文字量，塞太多资料会挤掉任务本身。所以按需检索比一次全塞更好。
  • 对任何做 agent 工具的团队：把领域知识打包成 agent 能按需调用的技能，是一种新的分发方式。

讨论

  • 正方有人说正好印证了「React 是旧技术」的观点；有人希望 React 也有类似项目，因为训练数据里旧写法太多。
  • 反方有人列出一长串只有 Chrome 支持的功能，担心 agent 都按 Chrome 的指南写，网页会回到「请用某浏览器访问」的时代。
  • 反方也有人说少用新功能就少维护，网站越简单越好。
6

Val Town 宣布关停

做「在线写一小段代码就能部署」的 Val Town 撑了四年，承认没法在云计算市场竞争。

🔥 300 | 💬 77 🔗 文章 💬 讨论
开发者平台很难做成生意：用户爱它，但它夹在大云厂商中间。

事实

  • 今天停止新注册和升级，停止收费；12 月 10 日只读，2027 年 1 月 10 日全部停服，2 月 1 日开源。
  • 官方提供迁移到 Cloudflare、Vercel、Netlify、Render 的指南，并说现在的大模型很擅长这种迁移；年费用户部分退款。
  • 评论指出 Val Town 基于 Deno 运行时，而 Deno 团队加入 Cloudflare 后明年将停止维护它。

解读

  • 关停也是产品：时间表清楚、停止收费、退款、开源，是体面的做法，值得收藏当模板。
  • 选平台时要看它依赖谁：底层运行时被收购，上层产品也会跟着动摇。

讨论

  • 正方很多人怀念它的设计和创始人的公开透明（连投资人更新都公开）。
  • 反方有人看了首页也说不清它是做什么的，问它和直接让 agent 用托管服务的命令行有什么不同。
  • 共识有人说在终端用户编程这个领域做生意非常难，不融几百万做不起来，融了又要很大的回报。
7

.name 域名保住了：Verisign 撤回终止计划

Verisign 原计划终止 2.2 万个三级 .name 域名和邮件转发，经过一番抗争后撤回。

🔥 671 | 💬 155 🔗 文章 💬 讨论
用户组织起来、走正式程序，确实能让平台改主意。

事实

  • 现有的三级 .name 域名（如 名.姓.name）和邮件转发将无限期保留，只是不再开放新注册。
  • 作者 Neil Fraser 说这是一场「漫长而昂贵」的仗：有人飞去巴厘岛当面向 ICANN 陈述，多人提交正式复议，还请了律师。
  • 两个月前「.name 将终止」的帖子有 547 条评论。

解读

  • 对产品：砍掉老功能时，用量小不代表影响小。邮件地址这种身份类东西，用户换起来成本极高。
  • ICANN 是管理全球域名的机构；三级域名指在 .name 下面再分一层。

讨论

  • 正方有人说本该这样：停止新注册、保留老用户。
  • 反方有人在关停预告后让域名过期了，现在追悔莫及。
  • 共识有人建议尽量用主流顶级域名，小众域名可能涨价、难迁移。
8

Starlink Mini 2 发布

便携卫星网络终端第二代，改用可拆电池和普通 USB-C 接口。

🔥 218 | 💬 229 🔗 文章 💬 讨论
小型卫星网络已经在改变偏远地区的工作方式，下一步是企业级的批量管理。

事实

  • 官网页面没抓到详细规格；评论称新版有可快速更换的电池和标准 USB-C。
  • 一位评论者说「在别处看到」电池 71Wh、续航约 4.5 小时；另一位说首发需捆绑一年服务，共 999 美元。以上均来自评论，未经官方核实。
  • 评论称一代 Mini 正在清仓，售价 149 美元。

解读

  • 可拆电池、通用接口这类「不起眼」的改进，往往是真实用户最在意的。
  • 评论里的需求很清楚：企业想要自助式、带设备管理的商用方案，而不是冒着被封号的风险用家庭套餐。

讨论

  • 正方硬岩采矿从业者说它彻底改变了行业：钻探结果从等几天变成实时传回；超马比赛直播也靠它。
  • 反方有人希望能单独购买设备，不强制捆绑一年服务。

扫读

9
丰田复活 Scion 品牌，在美国卖 kei 小卡车

首款车 KEI-01 是贴牌的大发 Hijet 小卡车，在印第安纳生产，限速 25 英里/小时。

🔥 310 | 💬 230 🔗 文章 💬 讨论

需求是真的，但限速让它只适合农场和园区。

事实

  • Scion 2016 年停用，当年过半买家不到 35 岁；新定位是「Scion by Toyota」的「自由实验室」。
  • KEI-01 实为丰田 Pixis，后者又是大发 Hijet 的贴牌；暂无价格。

解读

  • kei 车是日本的小型车规格，排量 660cc。用老产品打开新市场，成本很低。

讨论

  • 正方有农户说 kei 卡车皮实、便宜、好修，非常实用。
  • 反方很多人说 25 英里限速连城里都开不了，美国道路设计车速太高。
10
陶哲轩出新书《六个数学要点》

菲尔兹奖得主写给大众的薄书，讲数、代数、几何、概率、分析、动力学。

🔥 113 | 💬 24 🔗 文章 💬 讨论

一本给普通读者的数学入门。

事实

  • 128 页，11 月 10 日在美国上市，英国版 10 月 27 日已出。
  • 书页信息由陶哲轩借助 AI 维护。

解读

  • 适合想补数学直觉的非专业读者。

讨论

  • 反方有人说内容很基础，有理工科学位的人收获不大；有人嫌亚马逊预览连目录都看不到。
11
Synaptics 用专利威胁叫停 DisplayLink 的 Linux 驱动开发

一位开发者想借助大模型改进扩展坞驱动，向官方求助，却收到专利侵权律师函。

🔥 285 | 💬 144 🔗 文章 💬 讨论

对社区贡献者发律师函，伤的是自家硬件的口碑。

事实

  • 对方要求停止「未授权实现」，并威胁索赔 2.5 万美元「整理侵权证据的费用」。
  • DisplayLink 2022 年被 Synaptics 收购，Linux 上只提供 x86 二进制软件。

解读

  • DisplayLink 是用 USB 传显示信号的芯片方案，在 USB-C 视频输出普及后正在变得多余。

讨论

  • 正方多人说这种回应毫无道理；有人说反向工程本身谈不上侵犯专利。
  • 共识有人说新的雷电和 USB4 扩展坞已经够用，DisplayLink 消失也好。
12
《经济学人》：揭秘制造假黑皮诺葡萄酒的犯罪团伙

一篇关于假酒产业链的互动报道。

🔥 25 | 💬 3 🔗 文章 💬 讨论

付费墙文章，这次没抓到正文。

事实

  • 文章在付费墙后，未能获取内容。
  • 讨论很少（3 条）。

解读

  • 与产品无关。
13
破解 Meta Ray-Ban 智能眼镜

安全研究者通过 OTA 更新包拿到固件，最终在眼镜上执行任意代码，并获得 Meta 漏洞奖金。

🔥 28 | 💬 7 🔗 文章 💬 讨论

一份清晰易读的硬件破解记录。

事实

  • 作者用 JADX 反编译 Meta AI App，找到固件下载地址。
  • 他向 Meta 报告，几经争取后接受了奖金金额。

解读

  • 「OTA」指无线在线升级，升级包常常是研究设备的入口。

讨论

  • 反方有评论说这只是在自己的设备上拿到普通权限的 shell，算不上漏洞；能控制自己的设备反被当漏洞，很可悲。
14
AMD Zen 6 架构解析

Chips and Cheese 拆解 AMD 下一代 CPU 核心，Zen 6c 每个 CCD 塞到 32 核。

🔥 180 | 💬 67 🔗 文章 💬 讨论

处理器越来越快，内存越来越跟不上，设计都在「喂饱核心」。

事实

  • 分支预测出错的代价从约 3.5–4 纳秒降到约 3–3.5 纳秒。
  • 整数乘法单元从 3 个减到 2 个；Zen 6c 每个 CCD 32 核。

解读

  • CCD 是 AMD 把核心做成的一块小芯片，多块拼在一起组成整颗 CPU。

讨论

  • 正方有人说真正的明星是 C 核心。
  • 反方有人抱怨 Zen 4/5 的内存控制器很差，希望 Zen 6 的新 I/O 芯片能解决。
15
推理到底在解决什么问题？

一位研究者把模型的推理看成「找路径」：同一个答案有很多条路，训练要让模型抽到更好的路。

🔥 98 | 💬 42 🔗 文章 💬 讨论

一篇讲推理本质的思考文，有数学推导。

事实

  • 作者在斯坦福读博，研究长上下文架构，曾在 Cartesia 做研究。
  • 用 1 加到 10 的两种算法举例：都对，但路径不同。

解读

  • 对产品：推理更长不一定更聪明，关键是能不能更快找到好路径，这直接关系成本。

讨论

  • 正方有人说推理就像人的内心独白，是用记住的知识代替还没练成的技能。
  • 反方有人质疑：如果已经有能验证答案的函数，为什么还需要 AI。
16
研究品味：为什么历史学者该学巴比伦数学

历史学者 Benjamin Breen 回忆一位古怪的牛津老师，认为 AI 时代怪才更重要。

🔥 7 | 💬 0 🔗 文章 💬 讨论

大模型擅长平均答案，怪而独特的视角会更稀缺。

事实

  • 作者说大模型困在「中位数视角」，缺少人文领域的研究品味。
  • 他怀念的老师 Allan Chapman 今年去世。

解读

  • 对内容产品：AI 生成的东西趋同，独特口味是差异化来源。
17
DRAM 接口与 PHY：为什么 DDR3 以上内存要在开机时校准

开源内存控制器项目 LiteDRAM 的一章文档。

🔥 9 | 💬 0 🔗 文章 💬 讨论

硬件底层的科普文档。

事实

  • 来自 enjoy-digital/litedram 仓库的手册第三章。
  • 目前没有评论。

解读

  • PHY 是芯片里负责实际收发电信号的那一层。离产品很远。
18
《谢尔曼反垄断法》（1890）

美国国家档案馆介绍美国第一部联邦反垄断法。

🔥 69 | 💬 38 🔗 文章 💬 讨论

法律写得太模糊，五年后就被最高法院架空。

事实

  • 1890 年参议院 51 比 1、众议院 242 比 0 通过。
  • 1895 年最高法院在 E. C. Knight 案中大幅削弱了它。

解读

  • 和今天对大科技公司的反垄断讨论相关。

讨论

  • 正方有人希望有硬性规则：市场份额长期过高就必须提交拆分计划。
19
微软推出 Mac 版 Process Explorer

Windows 上经典的进程查看工具移植到 macOS，开源在 GitHub。

🔥 133 | 💬 46 🔗 文章 💬 讨论

开发者工具的老品牌在新平台上补空白。

事实

  • 原作者 Mark Russinovich 在节目中谈了移植过程。
  • 有人指出仓库还没有许可证文件。

解读

  • 系统自带的活动监视器功能太少，专业工具有空间。

讨论

  • 正方有人说能杀整个进程树、看子进程，很有用。
  • 反方有人装了特权助手后进程树反而空了。
20
Ableton Live 13 发布

音乐制作软件大版本更新：步进音序器、鼓合成器、捕捉自动化等，并推出「先租后买」。

🔥 271 | 💬 294 🔗 文章 💬 讨论

「租到买断」是订阅和买断之间的中间形态。

事实

  • 新功能包括步进音序器、ARA 2 支持、20 多种鼓合成引擎、Racks 最多 32 个宏。
  • 现在买 Live 12 打八折，可免费升级到 13。

解读

  • 定价创新值得看：分期付清后拥有该版本授权，但下一版可能已经出了。

讨论

  • 正方很多人喜欢它干净的界面。
  • 反方仍没有内置协作，远程合作只能打包丢网盘；仍不支持 Linux。
21
Show HN：SimCity 风格的瓦伦西亚像素地图

真实 3D 城市数据用等距视角渲染，再由图像模型逐块重绘成像素风。

🔥 189 | 💬 48 🔗 文章 💬 讨论

AI 图像模型 + 公开数据，可以做出很有魅力的小产品。

事实

  • 每栋楼都是真实建筑，免费无广告，靠 Patreon 支持。
  • 灵感来自 Isometric NYC。

解读

  • 每块图都参照相邻已画好的块继续画，保证整座城市无缝。这个方法可复用到别的城市。

讨论

  • 正方大家想知道用了什么模型和多少人工；有人想把它做成可玩的游戏。
  • 反方有人发现南部一些建筑没渲染，湖边有伪影。
22
Tendrils 融资 3000 万美元，要重做 CPU

Benchmark 领投，要做上千核并行的处理器，配套自己的开源语言 Vine。

🔥 18 | 💬 5 🔗 文章 💬 讨论

很大的野心，历史上同类尝试大多失败。

事实

  • 公司认为现有 CPU 被兼容性和缓存一致性拖累。
  • Jack Altman 加入董事会。

解读

  • 软硬件一起设计是方向，但要让开发者换语言很难。

讨论

  • 反方有人问这不就是 GPU；有人列出一串失败的前辈；有人打赌一年内会转做 AI 加速器。
23
作家 Simon Winchester 去世

《教授与疯子》《完美主义者》等书的作者去世。

🔥 66 | 💬 24 🔗 文章 💬 讨论

一位擅长把技术和历史写得好读的作家。

事实

  • 《纽约时报》讣告在付费墙后，未抓到正文。
  • 评论推荐他的多本书，包括李约瑟传记。

解读

  • 他的《完美主义者》讲精密工程如何塑造现代世界，适合产品人读。

讨论

  • 共识评论几乎都是怀念和荐书。
24
Mozilla 用 2500 万用户数据研究浏览器指纹

研究发现少数几项特征决定了用户是否可被唯一识别；Firefox 143 的防护把可唯一识别的用户从 75% 降到 46%。

🔥 64 | 💬 28 🔗 文章 💬 讨论

隐私保护不必牺牲兼容性，用数据挑最关键的几项改就行。

事实

  • 数据来自近 2500 万 Firefox 正式版用户，用 OHTTP 等技术保证不能追踪个人。
  • 网站提供测试，可以把自己的浏览器和总体比较。

解读

  • 「浏览器指纹」指不用 cookie，靠屏幕、字体、显卡等特征组合认出你。

讨论

  • 正方有人说宁可网站坏掉也要开全部防护。
  • 反方有人问是否考虑了 GPU 渲染时间这类指纹。
25
Show HN：Aircad，浏览器里的专业 CAD

支持 2D 制图和 3D 实体建模，可多人协作，带 AI agent，能读写 DWG 等格式。

🔥 8 | 💬 2 🔗 文章 💬 讨论

专业工具上云 + AI，挑战的是用户的风险偏好。

事实

  • 基于 NURBS 实体建模，有完整脚本 API。
  • 作者认为现有网页 CAD 要么不够全，要么把重计算放到服务器上导致慢。

解读

  • AI agent 能直接在图纸里检查楼梯是否合规，这是很好的演示场景。

讨论

  • 反方有人第一句就问几何内核是什么；有人说不会把业务押在每月 19 美元的网页工具上。