今日速览

2026年10月23日 · 星期五

• 信任基础设施两连击：eMudhra 因私钥事故后舆论压力，宣布退出全球 SSL/TLS 证书业务（约占其收入 1%）；瑞士非营利 DNS 解析器 Quad9 因法国法院要求按版权名单屏蔽域名，11 月 24 日起停止服务法国用户。
• Agent 基建落地：NVIDIA 开源 OpenShell——内核级沙箱 + 策略形式化检查，给「能装包、能调 API、能用凭证」的 agent 舰队套围栏；Anthropic 发文称用 Claude 在 RISC-V 汇编层对 100+ 开源库做形式化证明，顺带挖出测试跑了万亿次仍漏的 bug。
• 产品生死：The Browser Company 宣布 Arc 于 2026-12-22 日落，工程全力转向 Dia（强调安全与可选 AI）；Xbox 对已购游戏推出按小时云串流（约 24–40 美分/小时），「先买再租 GPU」成讨论焦点。
• 模型与文化：ModelCompare 问 12 家模型「对人类最争议看法」，35 次回答里约 29 次落到「归属优先于真理」；同日有人用 Codex + KVM 自动化 harness 做出 Switch 2 软件越狱 ns2jb，演示 Mario Kart World 模组。
• 身份与披露：美国女子因从未开过的 Cash App 账户被骗入刑事程序，面临数年监禁威胁；昨日 PHP RCE 禁运余波里，有人发 Tell HN 为提前在 HN 提醒道歉——评论普遍认为不知情者不在禁运合同内。

NVIDIA 开源 OpenShell：agent 舰队运行时

内核级沙箱强制策略，凭证只在获批出口注入；策略变更可先做形式化检查再上线。

自主 agent 要「能干事」就得摸文件、装包、调 API——OpenShell 把能力与围栏拆开：你声明能碰什么，运行时按策略卡死其余路径。

Anthropic：LLM 让大规模形式化验证可行

与 Theorem 合作：Claude 在 RISC-V 汇编层为 100+ 真实开源库证明安全性质，写证明时还挖出漏网 bug。

当模型更会找洞，防守不能只靠「多测几轮」——用 LLM 批量写证明，把「这段汇编不会内存炸」变成可检查的定理。

十二家模型「最争议看法」几乎同一个

ModelCompare 各问三次：约 29/35 次落到「人更忠于归属而非真理」；七家每次都给这个。

被要求「别含糊、给最争议观点」时，主流模型集体复读部落忠诚论——更像训练与 RLHF 的公约数，不像独立洞察。

Arc 浏览器将于 12 月 22 日日落

官方告别：安全与工程重心转 Dia；现有用户可导出数据并无缝导入，浏览器功能在 Dia 免费、AI 可选。

垂直标签与 Spaces 曾是产品符号——公司被收购、转向 AI 浏览器后，旧客户端正式进入关停倒计时。

Quad9：法国法院逼 DNS 屏蔽，将退出法国

瑞士非营利解析器称 beIN 版权案要求对法国用户屏蔽一批域名；原则上拒绝「对 DNS 撒谎」，11 月 24 日起停服法国。

把版权执行压到递归 DNS，逼中立解析器二选一：当审查节点，或撤出市场——Quad9 选后者。

eMudhra 宣布退出全球 SSL/TLS 业务

董事会称近期事故已勤勉处理（14 小时内吊销受影响 CA），但社媒放大与合规成本不成比例；G1 RSA 根过渡期内仍服务。

公钥基础设施里「整段私钥短到离谱」这类事故一旦上浏览器根项目雷达，小份额业务线可能直接被董事会砍掉。

从未开过的 Cash App，却面临六年监禁

骗子用她的社保号开账户收诈骗款；本人被跨州逮捕，平台曾因「无法证明是所有者」拒给账户信息。

弱身份绑定的支付产品，可以把受害人变成「账户所有人」——司法与客服都按系统记录走时，清白很难自证。

Switch 2 软件越狱 ns2jb 公开

tethered、纯软件，当前固件 23.0.1；可在普通 sysmodule 与内置 fs 上跑任意原生代码，演示改 Mario Kart World。

主机越狱再下一城：作者搭 KVM+机械按电源的自动化架，让 Codex 参与研究循环——工具链本身成了故事一半。

Docker 很怪：容器本是内核五件套

作者手写运行时笔记：容器是受限进程；镜像是文件夹+pivot_root；runc 用 Go 却要 C 引导单线程 syscall。

把神话拆成 namespace/cgroup/chroot 后，Docker 的「怪」变成可理解的工程妥协。

GNU Taler 筹备德国持牌运营

Bochum 新设 Taler Operations AG，拟向 BaFin 申请电子货币牌照，接替原定由 GLS 银行承担的发行角色。

隐私导向的「电子现金」要进欧元区，最终仍得变成持牌 EMI——理想架构撞上监管实体。

安卓机跑起完整 iOS 16.5 用户态

HackiOS：自研 EFI/驱动兼容层，在 POCO 等机与 QEMU 上引导开源 XNU（iOS 16.5 内核）并跑到 SpringBoard。

把苹果开源内核+闭源用户态搬到骁龙硬件，证明「手机 OS 绑定」更多是工程与法律墙，不是物理定律。

北半天星空图：立体投影一张看清

Maps.com 介绍 Florian Winkler 星图：Stellarium/HYG 等数据，北极仰视投影，标注星等与梅西耶天体。

把导航时代之前的观星传统，收成一张可读的北方星空信息图。

高中生手写 10 万行开放世界：Hedra

作者分享近十年前自学 OpenGL 做出的 3D 游戏与引擎（C#/OpenGL），Steam 有页；标签 pre-ai。

在「从零手写」被 AI 重新定义的 2026，一份高中时代真从图形 API 堆起来的引擎成了怀旧展品。

何谓「网格化」：流行音乐被量化校准

对比 1975 与当代 Billboard：人声与鼓组的时间个性被 DAW 校正成错误；作者称 gridification。

录音工业把「合拍」从演奏默契，改成时间线上的吸附——完美了，也平了。

Railpass：浏览器里坐火车发呆

Sami Smith 做的列车窗景模拟器，选国家随机线路，氛围向小品。

没有增长黑客，只有车窗、站名和天气——偶尔需要这种产品。

论文：AI 与科学公地的圈地

哈佛 CfA 作者用英格兰公地史框架讨论科学文献作为信息公地，以及 AI 训练可能带来的圈地压力。

把文献当「无人所有、人人共享」的公地——AI 训练需求正在改写谁能围栏、谁能进出。

Tell HN：我不知情打断了 PHP RCE 禁运

petecooper 为早前在 HN 提醒 CVE-2026-109618/109619 道歉；称联系人告知「无禁运」。

协调披露是知情者之间的博弈——你不在合同里、也没人告诉你规则时，谈不上「违约」。

库什纳被黑手机：数亿美元秘密转账叙事

Vanity Fair 书摘：荷情监控其访问迪拜账户，资金链涉及阿塞拜疆与中东多方，金额报道超 $7 亿。

高层私人设备一旦沦陷，外交与金钱线索会变成长期调查素材——故事主线在 2020 年前。

《经济学人》：AI 算力要新市场

付费文打出「算力即新石油、需要新市场」；抓取失败，讨论多在反驳比喻。

把算力比石油好写标题——但算力效率曲线与石油需求弹性根本不像。

Xbox：已购游戏云玩约 24–40 美分/小时

Game Pass 串流收缩后，微软上线按小时 Cloud Playtime 包，需已拥有可云玩的游戏。

买断游戏之后再租 GPU——像先买柜机再投币，争议在「拥有」的语义被抽走。

如何设计花朵：可「绘制」的牵牛花

Asimov Press 访谈植物生物学家 Nick Desnoyer：育种+基因工程+诱导表达，做自然界没有的花。

用分子开关在花瓣上「上色」——生物设计开始有画笔。

用 small-change 加快代码评审

Imprint：PR 量翻倍后评审变慢，定义可自动放行的「小改」标签，把人审留给其余。

AI 提速写作之后，瓶颈在合并——用规则切出「不必等人」的变更面。

NetHack 侏儒矿洞：细胞自动机造洞

交互可视化拆解 Gnomish Mines：多遍邻居计数规则，炼出有机洞穴而非方房间。

四条简单局部规则，叠出「像自然溶洞」的关卡——程序化生成的经典教材。

比 earcut 更快：489ms 切 370 万地图多边形

Globus 开源 earstrip（C++头文件/WASM），地图填充前三角化；浏览器端可快约 1.4–2.1×。

地图引擎的隐藏成本：GPU 只吃三角形，城市地块轮廓都得先切开——算法快一秒，交互就顺一截。

Show HN：Uberblok，ZFS 内部交互博物馆

按 OpenZFS 源码做动画讲解 uberblock 环与事务组；每个动画对齐具体行号。

用「展厅」讲清崩溃后如何找到一致根——文件系统核心概念终于可视化。