HN 每日精选 HN 每日精选

HN日报 | 2026年7月10日

今日科技领域亮点包括突破性的开源相控阵无线电、苹果对OpenAI的诉讼、农民维修权的重要胜利，以及令人印象深刻的AI发展和一位独立开发者打造的惊艳火车模拟器。

今日科技领域热闹非凡，融合了开源硬件突破、AI商业秘密法律纠纷以及维修权运动的重大胜利。我们还看到了令人印象深刻的AI模型发布、一位独立开发者打造的惊艳火车模拟器，以及将iPhone变成儿童友好型功能手机的巧妙方法。让我们深入探讨。

AI与机器学习

  1. GPT-5.6 Sol Ultra 证明了循环双覆盖猜想 — OpenAI的最新旗舰模型Sol据称已为一个长期存在的数学猜想提供了证明。虽然PDF主要是原始的LaTeX代码，但其意义令人震惊：AI现在能够进行原创数学研究。

  2. GPT-5.6 — OpenAI发布了GPT-5.6系列，包括Sol（旗舰）、Terra（均衡）和Luna（经济高效）。Sol在编码和智能体基准测试中取得了新的最先进成果，通常以更低成本超越竞争对手，并引入了“ultra”模式，可协调多个智能体处理复杂任务。

  3. Show HN：在我的慢速电脑上运行GLM 5.2 — 一位独立开发者通过从磁盘流式传输专家模型，在32GB笔记本电脑上运行了庞大的744B参数GLM 5.2模型。该项目名为Colibrì，是智慧的结晶，证明了巨大的MoE模型可以在普通硬件上运行。

  4. AI 2040：计划A — 一个详细的推测性场景，其中人类故意将超级智能推迟到2040年，公开AI研究，并创建“相互确保计算毁灭”的机制。这是对当前AI军备竞赛的一个发人深省的反驳。

开源与硬件

  1. QuadRF可以探测无人机并透过墙壁看到WiFi — Jeff Geerling测试了一个基于树莓派5的开源相控阵无线电。它可以在增强现实中可视化WiFi信号并跟踪无人机，售价仅为499美元。一窥可访问RF黑客技术的未来。

  2. 用Rust重写的Postgres，现已100%通过Postgres回归测试 — pgrust是从零开始用Rust实现的PostgreSQL 18.3，通过了超过46,000项回归测试。它与真实Postgres磁盘兼容，旨在利用Rust的安全保证使数据库更易于修改。

  3. Meta通过定制桥接芯片在新服务器中重用旧内存 — Meta开发了一款名为Vistara的定制CXL芯片，用于在新服务器中重用较旧、较慢的内存。由于内存的寿命是其他服务器组件的两倍，这是一种节省昂贵新内存的巧妙方法。

  4. 女孩们只想要具有有界等待的快速MPMC队列 — 深入探讨如何使用票据锁和原子操作构建快速、有界的多生产者/多消费者队列。作者坦诚地讲述了无锁编程中理论与实践之间的差异。

工具与软件

  1. 好工具是隐形的 — 一篇深思熟虑的文章，认为最好的工具会消失在背景中。作者反驳了将工具的缺陷视为谜题来庆祝的“黑客氛围”，并提醒我们，感觉高效并不等同于真正高效。

  2. 在生产环境中运行7年后，Scarf不情愿地离开了Haskell — 一位Haskell基金会董事会成员解释了他的公司为何离开Haskell：AI辅助编码使漫长的编译时间成为瓶颈。当你想并行启动多个智能体时，15分钟的冷构建变得难以忍受。

  3. 像人类会维护它一样编写代码 — 一个关于让LLM编写草率代码的警示故事。你合并的每一个捷径都会成为模型的信号，很快你的整个代码库就会变成逻辑重复的混乱。建议：像人类（或未来的AI）必须维护它一样编写代码。

  4. 关于Ghostty和Zig的Mitchell Hashimoto访谈 — Vagrant和Terraform的创建者讨论了他的新终端模拟器Ghostty、为何选择Zig，以及他对终端应用程序的理念。他认为终端应该是可组合、可脚本化工具的特殊场所，而不是完整的应用程序平台。

商业与初创公司

  1. 苹果起诉OpenAI，指控前员工窃取商业秘密 — 苹果已对OpenAI提起诉讼，指控前员工窃取了苹果AI研究的机密信息。此案可能对AI行业的人才流动产生重大影响。

  2. 纽约市将禁止欺骗性订阅行为 — 纽约市正在打击“垃圾费用”和难以取消的订阅。不提供简单取消方式的公司可能面临每位用户525美元的罚款。该规定还针对公寓租赁和酒店中的隐藏费用。

  3. SpaceX希望再发射10万颗Starlink卫星，带宽提升100倍 — SpaceX已向FCC申请许可，发射10万颗第三代Starlink卫星，承诺提供多千兆速度。这个庞大的星座需要Starship进行部署，并可能服务于“数十亿AI驱动的设备”。

  4. 根据FTC和解协议，约翰迪尔所有者将获得设备维修权 — 维修权运动的重大胜利：约翰迪尔现在必须向农民和独立维修店提供诊断和维修工具。该和解协议源于一起集体诉讼，并要求迪尔向五个州支付100万美元。

科学与研究

  1. 青铜时代晚期崩溃 — 对青铜时代晚期崩溃的精彩概述，这是历史上最戏剧性的“文明终结”事件之一。文章探讨了发生的事情、不确定的原因以及长期影响，所有内容均基于考古证据。

游戏与娱乐

  1. 由一人创建的火车模拟器被称为有史以来最好的 — Running Train，一款由单人开发的日本火车模拟器，因其超逼真的环境而获得好评。细节令人惊叹：电线连接到变电站，即使从驾驶室你也可能会错过大部分精心打造的世界。

  2. 欧盟议会批准聊天控制1.0 — 欧洲议会已批准对私人通信进行大规模扫描，尽管大多数欧洲议会议员投了反对票。该措施允许美国科技公司在2028年之前无需搜查令即可扫描私人消息，但端到端加密聊天仍被豁免。

移动设备

  1. 苹果隐藏功能将iPhone变成完美的儿童功能手机 — 苹果的辅助访问功能，专为认知障碍设计，实际上是让iPhone变成儿童友好型功能手机的完美方式。它允许你完全屏蔽浏览器，同时保留地图和通话功能，界面简单，基于磁贴。

以上就是今天的全部内容。从开源RF黑客技术到AI证明数学猜想，很明显，创新的步伐——以及对其控制的争夺——正在加速。明天见。