数据源：HN Top 30 + Lobsters Top 25。Browser 正常，评论区探查覆盖 HN Top 5 + Lobsters Top 5。

🔥 今日焦点

今天的头条叙事被两条帖子切成两半：**Jeff Geerling 的 QuadRF 评测（383 分）**代表工程师对硬件的原始兴奋——一台 4×4 MIMO 软件定义无线电，能把 WiFi 信号映射成 AR 叠加层，让你”看见”墙后面的 RF 信号。而另一边，GPT-5.6 Sol Ultra 证明了图论中的 Cycle Double Cover 猜想（263 分），把数学家们四十多年没啃下来的问题变成了 PDF。两条帖子恰好是 2026 年技术圈的两极：一边是物理世界的逆向工程快感，一边是纯符号推理的自动化——而后者引发的讨论比前者焦虑得多，评论区迅速滑向”AI 自动化最该替代的到底是程序员还是别人”的经典辩论。

还有一个被低估的信号：Apple 起诉 OpenAI 窃取商业机密。诉讼指控前 Apple 员工跳槽 OpenAI 时带走了硬件和 AI 训练数据。在 GPT-5.6 证明数学猜想的同一天爆出专利战——AI 军备竞赛从论文升级到了法庭。

🤖 AI / LLM

  • GPT-5.6 Sol Ultra 证明了 Cycle Double Cover 猜想 — GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture。263 分 / 224 comments（HN）。图论中悬了四十多年的猜想被一个模型证明——不多说，论文本身就是信号。💬 评论区 plaidfuji 的观察很精准：AI 自动化最容易击穿的是”正确性可验证 + 文本表达 + 线上有大量先例”的领域——恰好是程序员和数学家的工作，所以 AI 架构师们从自身的效率提升错误推演到全行业失业。

  • Boko Haram 如何利用前沿 AI — How the terrorist group Boko Haram uses frontier AI。140 分 / 117 comments（HN）。CASP 的实地报告追踪了 Boko Haram 使用大模型进行宣传生成和目标识别——安全界一直担心的 AI 武器化在非洲已有落地案例，比大多数西方智库的预测早了至少两年。

  • AI 2040: Plan A — AI 2040: Plan A。89 分 / 51 comments（HN）。一篇关于 AI 未来十五年发展的全景推演，试图绕开”AGI 马上就来”和”AI 全是泡沫”这两种极端叙事，给出中间地带的路线图。

  • Prismata：限制 Web Agent 中的跨站 prompt 注入 — Prismata: Confining cross-site prompt injection in web agents。9 分（HN）。arXiv 论文提出了一套针对 web agent 的 prompt 注入防御框架——Agent 被广泛应用之前，安全基础设施得先到位，这篇来得正是时候。

  • Postgres 用 Rust 重写，现已通过全部回归测试 — Postgres rewritten in Rust, now passing 100% of the Postgres regression tests。11 分 / 9 comments / tags: databases, vibecoding（Lobsters）。一个独立开发者用 vibe coding 方式把整个 Postgres 用 Rust 重写了一版——标签里有 “vibecoding” 不是偶然。Lobsters 社区对此分歧严重：有人认为这是 Rust 生态的重大里程碑，更多人质疑生产可行性。

🛠️ 硬件 / 工具

  • QuadRF：能探测无人机、穿透墙壁看到 WiFi 的 SDR — QuadRF can spot drones and see WiFi through my wall。383 分 / 151 comments（HN）。Jeff Geerling 评测了一台开源的 4×4 MIMO 软件定义无线电——用手机摄像头叠加 RF 热力图，能实时看到 WiFi 信号穿过墙壁的路径。💬 创作者 mrtnmcc 亲自现身评论区答疑：定制的 1-bit ΣΔ 过采样 ADC（704 MSPS）通过 FPGA LVDS 接收器实现，BOM 成本显著低于传统 SDR。

  • 好工具是隐形的 — Good Tools Are Invisible。318 分 / 147 comments（HN）。Ginger Bill（Odin 语言作者）的博客：真正好的工具不应该要求你”学习使用它”——它应该在你不注意的时候完成工作。318 分说明这个观点在程序员群体里有强烈的共鸣，尤其是被 SaaS 复杂度折磨的开发者。

  • 内燃机网页模拟器 — Combustion engine web-based simulator。91 分 / 39 comments（HN）。一个基于 Web 的内燃机工作原理模拟器，能调各种参数看四冲程循环——周末该有的内容。

  • 如何制作圆形 LCD 时钟 — How to build a circular LCD clock。22 分 / 3 comments（Lobsters）。硬件 hacker 的周末项目——用圆形 LCD 屏自己画表盘，从 PCB 设计到固件完整记录。

🦀 编程语言 / 开发工具

  • Bun 用 Rust 重写 — Rewriting Bun in Rust。132 分 / 176 comments / tags: rust, vibecoding, zig（Lobsters）。Bun 团队宣布从 Zig 迁移到 Rust，理由是 Rust 的工具链和生态更成熟。Zig 作者 Andrew Kelley 写了长篇回应《My Thoughts on the Bun Rust Rewrite》，两条帖子被 Lobsters 合并到一个讨论里。💬 合并操作本身成了评论区的焦点——153 分的顶楼就是抗议合并：“把两篇对立文章混在一起绝对是灾难。”

  • Rust 1.97.0 发布 — Announcing Rust 1.97.0。62 分 / 10 comments（Lobsters）。常规版本迭代，但在这个 Bun 弃 Zig 投 Rust 的周末发布，时机微妙——Rust 生态在系统编程领域的引力场正在加速。

  • Cpp2Rust：C++ 到 Safe Rust 的自动翻译 — Cpp2Rust: Automatic Translation of C++ to Safe Rust。30 分 / 16 comments（Lobsters）。一个自动将 C++ 代码翻译为安全 Rust 的工具——不是简单的一对一映射，而是尝试用 Rust 的 ownership 模型重写。如果这个工具成熟，大量遗留 C++ 系统将获得一条迁移路径。

  • Scarf 用 Haskell 七年，最终还是离开了 — After 7 years in production, Scarf has reluctantly moved away from Haskell。50 分 / 71 comments（HN）| 10 分 / 6 comments（Lobsters）。HN + Lobsters 双榜。Scarf 团队解释离开 Haskell 的原因：招聘困难、编译时间失控、与云原生工具的互操作成本过高。不是语言本身的问题，是生态孤岛效应。

  • Emacs 里的一切都是服务 — In Emacs, everything looks like a service。223 分 / 96 comments（HN）。把 Emacs 的架构抽象成服务化设计——buffer 是数据服务，mode 是行为服务，keybinding 是路由层。周末哲学帖，数据和讨论量说明 Emacs 用户群仍然生猛。

  • A road to Lisp: Why Lisp — A road to Lisp: Why Lisp。19 分 / 6 comments（Lobsters）。一篇介绍 Lisp 魅力的入门文章——从语法同构性到宏系统，试图向新一代开发者解释为什么这种六十多年前的语言至今仍有狂热信徒。

🔒 安全 / 隐私 / 法律

  • GhostLock：潜伏在全部 Linux 发行版中 15 年的 stack-UAF 漏洞 — GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years。10 分 / 3 comments（HN）。NebuSec 发现了一个存在于 Linux 内核 ionstack 子系统中的 use-after-free 漏洞——从 2011 年就在主线内核中，影响所有主流发行版。10 分被严重低估，这篇值得安全工程师阅读原文。

  • Apple 起诉 OpenAI，指控前员工窃取商业机密 — Apple sues OpenAI, accuses ex-employees of stealing trade secrets。104 分 / 50 comments（HN）。Apple 指控多名前员工加入 OpenAI 时带走了硬件设计、AI 训练数据和未公开的产品路线图。这不再是公司间的技术竞争，而是法律武器的直接对轰。

  • 纽约市将禁止欺骗性订阅行为 — New York City to ban deceptive subscription practices。318 分 / 181 comments（HN）。纽约市推出反 junk fee 法规，要求商家明示包含所有强制费用的总价，并禁止难以取消的自动续费。💬 评论区迅速指向 California 的类似法案——加州版本给餐馆留了后门，而纽约版本似乎没有，如果执法力度足够，这会对 SaaS 和 gym 会员制产生实质影响。

  • 住宅代理与反爬虫态势更新 — An update on residential proxies and the scraper situation。59 分 / 46 comments（HN）| 1 分 / 0 comments（Lobsters）。LWN 深度报道当前的爬虫军备竞赛——residential proxy 网络如何绕过传统的 IP-based 反爬，以及网站防御的下一阶段。

🏢 科技公司 / 行业

  • SpaceX 想再发射 10 万颗 Starlink 卫星 — SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth。26 分 / 72 comments（HN）。在已有约 7000 颗的基础上再申请 10 万颗——这基本上是占领低地球轨道。评论区的核心担忧不是技术而是天文观测和轨道碎片。

  • 成功的公司是如何变瞎的 — Successful Companies Go Blind。177 分 / 62 comments（HN）。分析成功企业为什么会在巅峰期失去创新能力——组织惯性、指标过载和幸存者偏差的系统性分析。

  • Geohot：为什么我不再直播了 — Punk, or why I don’t stream anymore。129 分 / 171 comments（HN）。George Hotz 的博客——从 punk 精神的角度解释为什么退出了直播编程。“真正的 punk 不需要观众”——典型的 geohot 风格。

  • 页面重量很重要 — Page weight matters。24 分 / 11 comments（Lobsters）。一篇用数据说话的前端肥胖症解剖——现代网页平均体积的荒谬膨胀和它对全球南方的实际伤害。

🎮 轻度 / 有意思

  • 战争地图集：人类历史上每一场被命名的战争 — War Atlas: An interactive cartography of every named war in human history。98 分 / 43 comments（HN）。一张交互式地图，标注了人类历史上所有被命名的战争——从青铜时代到 21 世纪，纯数据可视化。

  • 青铜时代晚期大崩溃 — Late Bronze Age Collapse。296 分 / 207 comments（HN）。ACOUP 博客的经典长文——解释公元前 1200 年左右地中海文明的系统性崩溃。💬 评论区 evanjrowley 补充了 Eric Cline 的研究：干旱理论被 ACOUP 文章忽略，但可能是迁移浪潮的真正推手。HN 读者能用 296 分把一篇考古学文章顶上首页，周末特有的气质。

  • Lobsters 专访 Mitchell Hashimoto — Lobsters Interview with mitchellh。187 分 / 21 comments（Lobsters）。Vagrant/Packer/Terraform/Vault 的缔造者，现在在做 Ghostty 终端和 Vouch。访谈聚焦他为什么选 Zig、终端模拟器应该是什么、以及 PTY 协议的根本局限——提出 n-screen API 来替代目前的主/副屏模型。

  • 用 9front 画画 — I Did Not Kill Stanley Lieber: How to draw (with 9front)。66 分 / 11 comments（Lobsters）。Plan 9 的精神继承者 9front 上的绘图工作流——小众到极致的系统艺术。

  • Linux 老用户被付费使用 Windows 11 一个月后的体验报告 — You paid me, a long-time Linux user, to use Windows 11 exclusively for a month。129 分 / 49 comments（Lobsters）。一场社会实验：给一个 Linux 老用户钱，让他只用 Windows 11 过一个月。从 WSL 的体验、开始菜单的广告到系统更新强制重启的折磨——既好笑又真实。

  • Hannah Montana Linux v26.0 — Hannah Montana Linux v26.0。32 分 / 4 comments（Lobsters）。是的，Hannah Montana Linux 还活着，并发布了基于最新内核的 v26.0。周末该有的文化项目。

📝 今日总结

周六的 HN 通常偏闲散，但今天的首页出乎意料地紧凑。GPT-5.6 的数学证明和 QuadRF 的 SDR 评测是两篇必读——一篇代表 AI 在纯推理上的跨越，一篇代表开源硬件社区的动手精神。Apple 诉 OpenAI 的官司值得持续关注：在 AI 能力爆发式增长的同一周，大公司之间的法律战也在同步升级。Bun 弃 Zig 投 Rust 的新闻在 Lobsters 炸出了 176 条评论，尤其是 Andrew Kelley 的长篇回应让这场工具链之争变得更具火药味——系统编程语言的选择从来不是纯技术问题，而是生态赌注。

推荐阅读优先级：QuadRF 评测 > GPT-5.6 数学证明 > GhostLock 漏洞 > Mitchell Hashimoto 专访 > Bronze Age Collapse。