HN 热点简报 · 2026-11-05
整理：henri
本期关注 AI 工具带来的软件安全压力、Gemini 聊天记录的使用方式、开放权重模型与可验证推理。工程内容包括 RTX Spark 的 Linux 性能限制、AMD 营收预期、C++26 契约争议、Kitty 更新和 Go JSON 接口，另有 LED 对昆虫的影响与旧金山自行车道案例。
一、AI 类科技
AI 正在逼我们偿还四十年技术债：PHP2Shell
IEEE Spectrum 报道称，十月末曝出的 PHP2Shell 危及大量运行 WordPress / Drupal 等 PHP 站点的系统（含 NASA、维基百科、白宫等）。漏洞根源于 2024 年已报但长期未修的内存越界崩溃；在 OpenAI 赞助下，安全公司 Calif 借助 AI 工具在两周内把「只会崩」的问题推进成可远程执行任意代码。Columbia 的 Suman Jana 指出，这类利用需要大量琐碎但可机械化的推理，AI 正让顶尖与次顶尖专家的产能同时抬升；而修复仍须四人团队耗时约两月，暴露「找洞易、补洞难」的非对称。文章把现象概括为：人类过去四十年写下的遗留软件，正在 AI 时代被迫集中还债。
HN 多数把 PHP2Shell 读成「vulnpocalypse」前奏：有人希望国家库存的 0-day 也被顺带扫出，换来更硬的软件底座；也有人警惕「协调披露太慢、任何人都能用 AI 复现」。另有观点批评产业长期用地址消毒等检查方案代替内存安全语言，并担心 LLM 会无节制堆代码、制造更多攻击面。整体语气是焦虑加务实——技术债账单已到，防御方人力与开源维护资金更吃紧。
spectrum.ieee.orgAI is forcing us to pay off 40 years of technical debt
Tell HN：Gemini 对个人订阅用户仍用聊天记录训练
主帖作者引用 Google 支持文档指出：个人 Google AI 订阅若开启「Keep Activity」，Gemini 保存的聊天可用于改进服务与训练生成式模型，且部分对话可能经人工审阅；人工审阅过的内容在删除活动后仍可保留最长三年，官方还明确提醒「不要输入不想让审阅者看到的机密信息」。若关闭 Keep Activity 以退出训练，聊天只会保留约 72 小时。作者原本以为「付费就不会被当产品」，结果发现付费仍不够。
讨论延伸到对其他前沿实验室的数据处理方式的不信任：有人主张默认假设「你打的字迟早会被训练」；有人嘲讽 Gemini 产品力不够所以无所谓；也有人建议往模型里灌垃圾数据投毒。另有评论指出即便不做训练，条款仍允许用内容改进服务功能。气氛与前几日 Codex 开关争议一脉相承——付费订阅并不等于退出数据飞轮。
news.ycombinator.comTell HN: Gemini trains on chat history, even for subscribers（HN 主帖）
Moonshot 开源 Kimi K3.1 Pro 权重
Hugging Face 上线 moonshotai/Kimi-K3.1-Pro：面向图像-文本对话的多模态模型，提供 Transformers、vLLM、SGLang 等常见推理路径，许可证为 kimi-k3.1-pro。页面本身偏「权重已公开」的发布型说明，细节主要落在模型卡、依赖与部署命令；结合社区体量与硬件门槛，它更适合数据中心、推理服务商与必须本地化部署的企业，消费级单卡的运行门槛较高。
HN 焦点几乎全在「怎么跑得动」：有人调侃需要 8×B300 才够看；也有人分享 4×MI300A 自建集群两周即可回本 Claude 账单、单卡 MI300x 镜像、SSD 流式加载等务实方案。另有人强调开源权重的价值在于可跨多家推理商比价，而不是人人家用。整体是「开放权重继续发展，但硬件门槛仍高」。
huggingface.coKimi K3.1 Pro model weights
Geoffrey Hinton：或许没有 AI 我们会更好
《卫报》专访称，诺奖得主 Geoffrey Hinton 表示人类「或许从未开发 AI 会更好」，同时仍相信技术可能通向「激进丰裕」。他警告今年或明年可能出现类似切尔诺贝利量级的警示事件——例如 AI 引发大范围电压下降或让金融系统瘫痪一周——并表示不信任 Sam Altman，认为部分巨头 CEO「懂风险但更在乎钱」。
HN 反应偏冷淡到玩梗：有人用简短摘要概括其风险警告；有人喊「AI 寒冬已至」立刻被嘲「专家喊了十年」。也有人质疑评论者是否真读完采访，还是只冲着标题发泄。实质性技术辩论不多，讨论主要围绕重复警告是否仍然有效，对「切尔诺贝利级事故」类比着墨有限。
www.theguardian.comGeoffrey Hinton: it might turn out we were better off without AI
Ripple-65B Preview 的编程智能体基准成绩
Ricursive Intelligence 发布从零训练的 Ripple-65B Preview：约 12T token 预训练、最长 1M 上下文的稠密 Transformer，自称在 TerminalBench 2.1 上以 80.52 拿下「美国开源权重」agentic coding SOTA，并超过更大的 Reflection Beam、Meta Muse Spark Open、Thinking Machines Inkling 等美系开源权重模型；公司称全部研发成本约 3200 万美元，约为此前相关开源 SOTA 估计成本的十分之一。叙事强调为自研芯片设计平台共设计架构、刻意避开 MoE 以简化训练服务，并称通过强化学习训练，以约 140 万次 rollout 达到上述成绩。权重已上 Hugging Face、Together、OpenRouter 等渠道。
HN 评论对基准对照的选择提出质疑：有读者指出，报告选择了体量更大、得分更低的型号作比较，可能放大成绩的观感。讨论提醒读者区分模型取得的分数与比较对象的选择。
www.ricursive.comRipple-65B Preview
Anthropic：大模型可证明推理（FlashProve）进展
Anthropic Frontier Red Team 发布 FlashProve：用 zkSNARK 让服务商对权重做承诺，并为每次回复生成短证明，用户无需知道权重即可验证「响应确实来自所声称的模型」。对 Llama 4 Maverick（约 400B MoE、4-bit）单卡 H100 可做到约 110 tok/s 出证、每 1024 token 请求约 19MB 证明；相对 vLLM 推理约 70–95× GPU 时间。代码、Lean 形式化与技术报告开源（Apache 2.0），并讨论 pacing、篡改检测与文本出处等应用场景。文章强调仍是原型：目前主要覆盖贪心解码的整数近似、短上下文，且隐藏架构不在目标内。
HN 尖锐吐槽「恰恰是最近被骂偷偷降配的公司来证明模型身份」；也有人说这对 OpenRouter 类路由与量化偷换有用。另一派认为真正重要的是输出正确性而非身份，身份证明对「已不信任供应商」的用户帮助有限。少数工程师追问能否覆盖量化与采样解码。气氛是技术兴趣与公关怀疑并存。
www.anthropic.comProgress on provable inference for large language models
OpenAI 宣布收购 Pierre Computer Company
OpenAI 公告将收购 Pierre（Code Storage 与一系列开源开发者工具背后的公司）。Codex 应用中的文件浏览与 diff 已在用 Pierre 的 Trees / Diffs 库；收购旨在把 Git 工作流扩展到「开发者 + 编码智能体」并行协作，并与自家源控后端 Pando 叙事呼应。公告称开源项目将继续开源，Code Storage 客户在交割后仍可使用，功能逐步并入 Codex；交易尚待监管批准。
HN 典型收购帖反应：抱怨标题没先说清公司做什么、交易金额未知；有人吐槽「Craftsmanship meets scale for the agentic era」一类公关空话不尊重语言。也有人指出公告首段其实已经写清 Pierre 的产品线，并劝大家少在评论区抬杠、直接打开官网。整体热度一般，焦点落在 OpenAI 又一次补齐智能体时代的 Git、diff 与代码评审工具链，而不是估值八卦。
openai.comOpenAI to acquire Pierre Computer Company
二、非 AI 科技与科学
Nvidia RTX Spark 加密固件限制 Linux 推理性能
MindStudio 实测 MSI Prestige 等 RTX Spark 笔记本：双系统可装 Linux 并启用 Nvidia 开源驱动与 CUDA，但接上电源后 GPU 时钟被锁在约 780 MHz（Windows 可达约 2.2 GHz）。GPT-OSS-120B 上 Windows / WSL 约 65 tok/s，原生 Linux 仅约 13.9 tok/s；根因是 Windows 独有的 Nvidia Platform Controllers and Framework 负责 CPU/GPU 功率表，而固件功率表加密、Linux 无法解密。有趣的是断开外接电源、改用电池时 Linux 接近满速，插电反而暴跌。作者结论：现阶段 WSL 才是务实方案，真正修复需 Nvidia 把平台控制器逻辑移植到 Linux 驱动。
HN 先纠正标题曾误写成 DGX Spark（桌面 Linux 机与笔记本不是一回事）；随后有人猜测「以后会不会变成付费解锁才能本地跑未授权模型」。也有人吐槽小标题那种三点列举的「Claude 味」修辞。工程讨论仍集中在统一内存 AI 笔记本的系统支持：在 Windows on ARM + CUDA 环境下，原生 Linux 的支持不足，WSL 是目前可用的替代方案。
www.mindstudio.aiLinux on the Nvidia RTX Spark Laptop
朝鲜假面试链路导致约 63 亿美元 Binance 盗窃
The Register 援引币安事件报告：Lazarus 相关团伙 TraderTraitor 被指策划多阶段行动——六月供应链污染 Homebrew、九月通过正规求职平台安排假面试，在「CEO」环节诱使工程师下载含恶意代码的作业仓库，替换 pyenv 等开发工具并远控；十月再利用失陷机与内部 AI 工具横向移动，最终在十月 29 日部署容器脚本盗走巨额资产。币安强调这不是单次钓鱼，已重建钱包系统与内部 AI 工具并轮换凭证，同时寻求与 AI/安全公司合作强化链上安全。
HN 把怒火对准招聘文化：一边是候选人被自动化测评反复折磨，一边是「做个作业」就能把恶意仓库装进生产机。怀旧帖回忆「拒绝笔试就走人」；也有人区分合理技术题与危险的「在工作电脑跑未知仓库」。社会工程细节（假 HR 晒生活照建信任）被反复当作警示案例。
www.theregister.comNorth Korean fake job interview led to $6.3B Binance heist
白宫网络上检出居民代理出口
Layer3 Intel 的 Residential Proxy Observatory 偶然发现：2026-10-05 至 11-03 期间，属于总统行政办公室 AS2650 的地址被用作居民代理出口共 236 次，涉及 6 个地址、28 家代理服务，且多集中在美东晚间，暗示更像个人设备感染代理 SDK，而非访客 Wi-Fi。文章提醒存在安全风险的 SDK 可能导致内网横向移动；并附带展示圣赫勒拿、南极麦克默多站等「天涯海角」也被代理污染的观察，愿向相关机构提供原始日志。
HN 讨论提到 Darknet Diaries 等解释居民代理灰产的材料，也有人说商场、沃尔玛都能买到相关盒子。技术讨论强调：花几美元买公开轮换代理就能从该网段出站，本身就说明感染面有多广，以及存在安全风险的 SDK 对内网横向移动的潜在风险。
layer3intel.comResidential proxies detected on White House network
AMD 预计 Q4 营收史上首次超过英特尔
Tom's Hardware 报道 AMD Q3 营收约 133.8 亿美元，数据中心业务约 85.5 亿（同比近翻倍），并指引 Q4 营收约 170 亿美元；同期英特尔指引约 150–160 亿。若兑现，将是 AMD 季度营收史上首次超过英特尔。动力来自 Epyc 与 Instinct MI455X / Helios；与此同时客户端与游戏业务承压，公司预期 2027 年 PC 出货量两位数下滑。Lisa Su 称数据中心有望在 2027 年贡献逾八成营收。
HN 高呼 Lisa Su 与 Zen 翻身史，同时批评英特尔多年吃租、停在少核高价策略上不创新。也有人提醒标题比的是营收指引而非利润，并警告大科技互相采购的 AI 开支可能是循环泡沫。另有隐私向用户分享因 Intel DCI 取证而长期避开英特尔的经历。情绪主线是：竞争回来了值得庆祝，但还需要关注消费级 GPU/CPU 和两家企业长期竞争的状况。
www.tomshardware.comAMD expects to outsell Intel in Q4 for the first time in history
C++26 DIS 未获批准：Contracts 争议把标准带入僵局
C++ 委员会成员 Andreas Fertig 撰文称：2026-10-23 ISO 国家成员体对 C++26 DIS 投票结果为 Disapproved，据他所知是 C++ 历史上首次 DIS 失败（除开多年前的 C++/CLI）。反对意见集中在 Contracts（契约/前后置条件）尚未成熟。文章梳理 Contracts 自 C++20 起反复进标准又被拿下的历史，并指出 WG21 内部此前已多数赞成带 Contracts 前进，但 NB 层否决打破惯例。后续可选修订再 DIS、退回 CD、发 TS 或取消项目，任一路径都意味着延迟，而委员会两派都已投入多年，信任受损，下一场会议（11 月 16 日）必须破局。
HN 一边科普「Contracts ≈ 可编程的前后置条件/断言」，一边争论内存安全是否该借这次停摆被更认真对待；也有人感慨标准化共识崩塌像更大社会信任流失的缩影。原文涉及较多委员会内部程序，不少读者抱怨「到底什么是 Contracts」，评论区被迫现场补课。整体气氛是危机感与程序正义争议重于具体语法设计争论，对 C++29 命运的悲观预期不低。
andreasfertig.comC++26 DIS failed, how does C++ survive?
Kitty 0.50：自定义着色器与登出后恢复
终端模拟器 Kitty 发布 0.50.0（2026-11-03）。公开更新目录突出 Custom shaders（自定义着色器）与 Restore after logout（登出后恢复）等能力；结合社区讨论，用户期待用着色器给字形加发光描边、在半透明背景下保可读性，并继续强调 Kitty 在配置便利性、原生会话与性能之间的平衡。官方 changelog 页面偏版本索引，许多体验细节要靠版本条目说明与社区实测补充。
HN 少不了和 Ghostty 对比：有人爱 Kitty 的可配置默认与原生会话支持，有人觉得 Ghostty 的 UX 更精致；也有人讨论图标渲染捷径、性能观感，以及 macOS 缩放时内容轻微抖动。维护者沟通风格再次成为「选哪款终端」的隐性因素。整体是爱好者更新帖，火药味低，分享配置心得多于互撕。
sw.kovidgoyal.netKitty 0.50 changelog
Go 1.27：稳定的 encoding/json/v2
Go 官方博客宣布实验多年的 encoding/json/v2 与 encoding/json/jsontext 在 Go 1.27 稳定可用。v2 针对无效 UTF-8、对象重复键、nil slice/map 编成 null、字段名大小写不敏感匹配等老问题给出更安全的默认行为，并引入真正流式的 Encoder/Decoder，以及 MarshalJSONTo / UnmarshalJSONFrom 等面向流的接口；反序列化基准最高可提升约一个数量级。v1 将长期保留且底层改用 v2 实现，两套可互操作，还提供选项让调用方按行为差异逐步迁移。
HN 老话题立刻重开：有人抱怨 Marshal 为什么还要返回 error，觉得更该是编译期或直接 panic；多数回复指向 NaN/Inf、懒加载失败、自定义 MarshalJSON 等运行时才知道的情况。也有人对真正流式 API 与反序列化性能改进表示欢迎，并讨论迁移成本。典型语言标准库演进帖，抬杠与建设性补丁说明大致参半，整体偏技术向。
go.devA new Go API for JSON
昆虫不太围着 LED 灯打转
自然博主 Kate St. John 结合导游观察与布里斯托大学 2016 年实验解释：飞虫靠月光中的紫外导航，把「光打在背上」当姿态参考；白炽灯含 UV，LED 几乎不辐射 UV，因而显著更不招虫。家庭改 LED 后壁虎不再聚集灯光附近，文章认为这与食物（飞虫）变少有关，并不表示壁虎消失。文章也引用研究称人工夜间照明干扰昆虫繁殖，LED 相对减轻这一压力，同时评论区提醒蓝光对昼夜节律的新问题。
HN 立刻用自家体验「打脸」：家里全是 LED 仍有蛾子、蜜蜂往亮处飞。回应者指出原文说的是「显著更少」，并未声称飞虫「绝迹」，还建议旁边留一盏白炽灯做对照；另有人提出 PWM 调光闪烁可能让复眼动物更难受的假说。整体是科学向轻松帖，评论区还附带指向昆虫种群下降多因子综述的链接，提醒 LED 只是叙事的一块拼图。
www.birdsoutsidemywindow.orgInsects Don't Swarm at LED Lights
三、城市与交通
游击自行车道：旧金山把非法设施变正规（2016）
99% Invisible 旧文（2016）回顾：两名骑行者遭肇事逃逸致死后，匿名团体 SFMTrA（戏仿市政交通局）用交通锥与柔性柱在金门公园一带自建隔离自行车道；通常此类「战术都市主义」会被拆除，但这回市政表示将保留并正式安装合规立柱。文章对比西雅图 Reasonably Polite Seattleites 与纽约 Right of Way 等案例，说明自下而上施压有时能把临时装置变成政策窗口。
HN 首先要求标题补上（2016），并把它连到 desire path（欲望路径）与战术都市主义传统；多数人支持「社区先干、市政再跟进」的加速机制，也有人分享本地居民提案投票修自行车道的成功案例。反面提醒则是山上小区私设假禁停区坑游客等滥用。作为交通与城市设计怀旧帖，讨论总体偏建设性，少见纯骂战。
99percentinvisible.orgGuerrilla Bike Lanes: San Francisco Makes Illicit Infrastructure Permanent
分数与评论数对应本期整理时的页面数据。