黑客新闻首页精选——2026年7月11日
今天共有16篇故事突破了200分。以下就是互联网上热议的内容。
苹果起诉OpenAI，指控前员工窃取商业机密
1,503分 · 9to5Mac
苹果在加利福尼亚北区法院提起诉讼，指控前员工——包括苹果前iPhone和Apple Watch产品设计副总裁唐·坦——系统地将商业机密泄露给OpenAI。起诉书声称，唐利用苹果内部代号对求职者进行面试，并指示他们携带实际硬件原型和CAD文件参加OpenAI的面试。苹果表示，早在2月就向OpenAI提出过关切，但未得到回应。
诉讼将OpenAI和io Products列为被告。值得注意的是，乔纳森·伊夫、埃文斯·汉基和斯科特·卡农并未被个人点名。这是一次严重的升级。如果候选人确实在面试前截图了机密文件，这将远远超出正常的挖角行为。苹果能否证明系统性地窃取商业机密，而非仅仅是激烈的挖角，将是关键所在。
Show HN：18个单词
1,118分 · 18words.com
这是一个单词游戏，你需要在限定时间内使用给定的字母找到一个单词。简单易懂，但高度吸引人。当Hacker News需要从AI讨论中解脱出来时，这类故事往往会迅速走红。
Show HN：在慢电脑上运行GLM 5.2（Colibri）
887分 · GitHub
Colibri是一个项目，旨在使用GLM 5.2（一种大型语言模型）在低资源硬件上运行。该项目已有3,700颗星和292个分支。这种吸引力显而易见：每个人都希望在本地运行前沿模型，而“在慢电脑上运行”对于Hacker News的读者来说是极大的吸引力。该项目包含一个带有像素艺术小鹦鹉标志的TUI，这取决于你是否喜欢命令行工具中的美学。
QuadRF可以探测无人机并穿透墙壁看到WiFi
716分 · Jeff Geerling
Jeff Geerling 审查了QuadRF，这是一种基于Raspberry Pi 5和FPGA的相控阵无线电，具有皮秒级的定时。它可以解码RF信号、追踪无人机，并穿透墙壁看到WiFi——所有这些只需499美元的Crowd Supply套件。Martin McCormick，QuadRF的构建者，之前曾参与SpaceX的Dishy（最初的Starlink终端）项目。
Geerling 的关键观点值得引用：“如果开源社区能够开发出类似的东西，想象一下政府能做些什么。”真正的价值在于使RF监视工具变得可见和可访问。政府早就拥有这些能力；至少现在安全研究人员可以审计他们周围的频谱。
纽约市将禁止诱骗性订阅行为
610分 · 卫报
纽约市Mamdani政府制定了一项规则，禁止公司诱骗客户订阅服务而没有提供简单的取消路径。从10月1日起，违规者将面临每人订阅费用525美元的罚款，外加滞纳金。配套规则要求所有商品和服务的全价定价，旨在打击公寓租金和音乐会门票等商品中的“垃圾费用”。
纽约市将是美国第一个实施此类禁令的城市。鉴于70%的纽约人租房，垃圾费用规则可能对房地产市场产生重大影响，而管理公司一直在收取诸如“锅炉管理费”和“生活方式费”等费用。美国联邦贸易委员会曾在拜登政府时期尝试在全国范围内实施此类禁令，但因诉讼而受阻。纽约市的先行一步可能成为范例——或是一个关于执法能力的警示。
好工具是无形的
527分 · gingerbill.org
Ginger Bill（Odin编程语言的创作者）认为，好的工具应该是无形的，而开发者社区有一种毒瘤般的行为，即把工具的缺陷重新定义为“有趣的谜题”。他以Vim为例：人们通过庆祝为克服其局限性所需的复杂宏来赞美Vim，而这些局限实际上是设计缺陷。
这篇文章的重点并不在于Vim本身，而在于工具采用的心理学。当你熟练掌握任何工具时，它就会消失。一旦出现摩擦，它就不再无形。反对意见——“谜题”方面可以加深理解——有其道理，但Bill的核心观点仍然成立：如果工具要求你成为兼职工具制作者才能有效使用它，那么肯定出了问题。
GPT-5.6 Sol Ultra破解了50年数学猜想
504分 · OpenAI (PDF)
OpenAI声称GPT-5.6 Sol Ultra破解了50年前由Tutte、Itai和Rodeh、Szekeres、Seymour独立提出的图论猜想——圈双覆盖猜想。该猜想断言，每个无桥图都有一个覆盖每条边恰好两次的圈集。论文中写道：“本笔记中的证明完全归功于GPT 5.6 Sol Ultra，而Codex负责撰写。”
如果这一证明在同行评审中站得住脚——这可是个巨大的“如果”——那将是一个里程碑。证明将简化为立方图，使用8流定理，并最终简化为一个基本的线性代数论证。结构足够清晰，验证应该是可行的。但“AI证明难解数学定理”的说法往往需要仔细审查。数学界将对此进行数月的解析。
殷商末期崩溃
412分 · 未命名的学术博客
Bret Devereaux的历史博客探讨了殷商末期崩溃（约公元前1200年），当时地中海东部的多个宫殿经济在短时间内相继崩溃。这是一篇2026年1月发布的文章，显然仍在流传——这并不令人惊讶，因为“复杂系统的崩溃”这一主题每次新闻变得令人不安时都会引发共鸣。
由于Cloudflare封禁了该页面，我无法提取全文，但Devereaux的工作通常强调，崩溃并不是单一的灾难，而是一个连锁反应——宫殿经济过于专业化和网络化，无法承受局部冲击。这听起来很熟悉吧？
2040年AI：计划A
367分 · ai-2040.com
一群前OpenAI研究人员和政策专家发表了他们对避免AI驱动的末日灾难的“积极愿景”。核心提议是：将超智能AI的发展推迟到2040年，使所有AI研究公开，允许全球数十家公司赶上，进入“相互保证计算摧毁”的阶段。
作者明确表示，这只是一个建议，而不是预测——他们并不期望这种情况发生。他们对当前情况的描述直截了当：“行业已经说服自己，可以在需要时临时解决超智能AI的控制问题，因此没有适当的应急计划。”该情景涉及国际验证机制和全面的研究透明度。这是一份在纸上读起来很吸引人，但在接触地缘政治时就会崩溃的雄心勃勃的政策提案。但对超智能AI缺乏控制的诊断是难以反驳的。
爱因斯坦的相对论主导重元素化学键
364分 · 布朗大学
布朗大学的化学家在《科学》杂志上发表文章，提供了直接的光谱证据，证明教科书中的三键模型（一个σ键+两个π键）在重元素中失效。当原子核足够大时，电子以接近光速的轨道运行，相对论效应模糊了σ键和π键之间的区别。
通过使用碳-铋键的光电子光谱，研究团队展示了相对论性键合的特征信号。这一现象自20世纪70年代以来就被理论预测，但从未直接观察到。实际意义在于：重元素区间的化学键行为与教科书中的描述大不相同。对于任何在催化或材料科学中处理重元素化合物的人来说，这都至关重要。
居家代理和刮取器情况的最新更新
308分 · LWN.net
Jonathan Corbet更新了LWN对AI刮取器机器人不断攻击网站的持续报道。自2025年的文章以来，情况变得更糟：攻击者现在使用住宅和移动代理网络，使机器人流量变得难以与真实用户区分开来。请求来自数百万个独特的IP地址，每个地址仅在2-3次请求后就会轮换。
核心问题在于，普通消费者系统上的软件会从命令和控制节点接收指令，使用真实的住宅IP地址作为掩护。单独封锁IP地址毫无意义，因为它们从不重复使用。传统的防御措施（速率限制、用户代理过滤）失败，因为流量看起来就像一个使用浏览器的人类。
这是AI训练数据问题的基础层，没有人谈论它。支撑LLM的刮取行为不仅在伦理上是可疑的，实际上也在削弱开放网络的功能。
SpaceX计划再发射10万颗星链卫星以提高100倍带宽
282分 · ZDNet
SpaceX向FCC提交了其Gen3星链星座的申请——计划发射10万颗额外卫星，承诺提供100倍的当前带宽。申请中包括了巨大的频谱请求。竞争对手（如亚马逊Kuiper等）正在提出反对意见。
数字令人震惊。SpaceX目前运营着历史上最大的卫星星座；加倍或三倍其规模引发了关于轨道碎片、光污染和频谱拥挤的合法担忧。FCC的审批过程将充满争议。农村宽带用户是否真的会从中受益，或者这又成为频谱囤积的另一个案例，将取决于监管过程的结果。
《终结者2》的技术——一段口头历史（2017）
251分 · vfxblog
一篇详细探讨《终结者2》特效技术的文章，采访了超过十位ILM艺术家。工具如“Make Sticky”和“Body Sock”都是为T-1000的液态金属效果专门开发的。ILM的CG部门当时非常小，他们几乎是在边做边发明数字电影制作技术。
这是一篇2017年的文章，重新出现在首页——很可能是因为《终结者2》中人工智能驱动的末日主题在今天显得更加相关。技术细节仍然令人着迷：一个小型团队如何使用原始硬件在35年后仍然能够创造出令人惊叹的效果。
2.0升直列四缸涡轮增压汽油发动机的燃烧室引擎模拟器
227分 · CombustionLab
一个基于浏览器的交互式模拟器，用于模拟2.0升直列四缸涡轮增压汽油发动机。你可以调整转速、节气门和动画速度。它模拟了爆震、活塞速度、最高气缸压力和怠速行为。用户界面警告你设置超出机械限制时：“这会毁掉一台真正的发动机。”
执行干净，适合工程学生或任何希望了解发动机在热力学层面如何工作的人员。
蜗牛的牙齿胜过蜘蛛丝成为自然界最强材料（2015）
225分 · 史密森学会
2015年，朴茨茅斯大学的一项研究发现，贻贝牙齿（来自海洋蜗牛的齿舌）由在蛋白质基质中的赤铁矿纳米纤维组成，使其比蜘蛛丝强约5倍。该材料能够承受将碳变成钻石的压力——相当于一根细面条能承受3300磅的糖。
又一篇重新出现的文章。科学是扎实的，但时间久远；吸引人之处可能在于“蜗牛比蜘蛛更强大”的反常识角度。
7年后生产，斯卡夫公司无奈放弃Haskell
214分 · Avi Press
Avi Press，Haskell基金会董事会成员和Haskell.org委员会成员，解释了为什么他的公司斯卡夫在7年后不得不从Haskell转向。代码可靠，类型系统捕获了真正的错误，但编译时间长和生态系统摩擦大。然后AI改变了计算方式。
他的关键洞察是：LLM为代码生成时间提供了一个“第三空间”，减少了编译时安全性的相对价值。如果一个LLM可以在编译器看到代码之前生成工作代码并避免大多数错误，那么Haskell的重型类型系统和缓慢的构建成本就更难证明其价值。生态系统足够小，使得LLM对其的训练数据较少，进一步加剧了劣势。
这是一篇真正新颖的反对Haskell的论点，超越了通常的“难以招聘”抱怨。这并不是说Haskell变差了——而是整个权衡矩阵在它下面发生了变化。
通过线：账单到期
今日首页精选从三个角度讲述了一个故事。苹果起诉OpenAI窃取商业机密是企业版的更广泛模式：AI公司认为自己不受常规规则约束。LWN刮取器文章展示了基础设施版——同一行业正在通过损害开放网络来为其模型提供数据。而Avi Press的Haskell文章捕捉了个人开发者版：AI正在重新定义每个技术决策的成本效益。
与此同时，GPT-5.6声称破解了50年数学猜想是反面论点——这正是人们容忍这种行为的原因。如果AI真的能够产生新的数学成果，那么附带损害看起来就值得支付。这一证明是否站得住脚将决定历史如何评判这一权衡。
纽约市的订阅禁令和QuadRF开源无线电是来自AI出现前世界的清新剂，那时的主要担忧是公司诱骗你支付重复费用，政府监视你的WiFi。这些问题没有消失，只是被其他问题掩盖了。