2
0Hacker News 日报｜2026年7月10日
今日精选 8 条 Hacker News 热门内容，涵盖射频硬件、AI 数学证明、商业诉讼、消费者权益、工具哲学、组织管理、编程语言生态和太空探索。
QuadRF can spot drones and see WiFi through my wall
一个由树莓派 5 和 FPGA 驱动的开源相控阵射频设备，能够穿墙探测 WiFi 信号、追踪飞行中的无人机。作者将其比作"空气中的 Wireshark"——你能看到所有在空气中传播的无线信号。由前 SpaceX 工程师开发，目前已在 Hacker News 引起广泛讨论。
Apple sues OpenAI, accuses ex-employees of stealing trade secrets
Apple 正式对 OpenAI 提起诉讼，指控两名前高管——包括前产品设计副总裁 Tang Tan 和前高级工程师 Chang Liu——为 OpenAI 的利益窃取了 Apple 的商业机密。Jony Ive 领导的 OpenAI 硬件团队正以前 Apple 员工为班底组建，这场诉讼可能重塑硅谷的人才竞争格局。
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture
OpenAI 的最新模型 GPT-5.6 Sol Ultra 在一小时内自主证明了图论领域的 Cycle Double Cover 猜想——一个存在数十年的数学开放问题。如果验证通过，这将是 AI 独立完成完整数学证明的首个里程碑。
New York City to ban deceptive subscription practices
纽约市通过新法规，禁止企业采用隐藏条款、难以取消的订阅和未披露的垃圾费用。法规涵盖健身房、报纸订阅、酒店隐藏费用等场景。对 SaaS 行业而言，订阅流程的透明度和取消便捷性将面临更严格的合规要求。
Good Tools Are Invisible
Odin 语言作者 gingerBill 提出"好工具应该是隐形的"——你不应该花时间与工具搏斗并以此为乐。他以 vim 社区为例，批评某些开发者把工具的缺点包装成"有趣的谜题"，而真正的好工具应该让你忘记它的存在。
Successful Companies Go Blind
用墨西哥洞穴鱼的生物学现象类比成功公司的"能力失明"：高速增长后，招聘速度压倒质量，整个组织逐渐丧失识别真正能力和创新的能力。在 HN 上引发了大量正在职场中亲历这一现象的读者的共鸣。
After 7 years in production, Scarf has reluctantly moved away from Haskell
Scarf 创始人、Haskell 基金会董事会成员 Avi Press 宣布公司正在迁移离开 Haskell。核心原因：在 AI agent 编程时代，Haskell 的冷编译速度成为致命瓶颈。这篇文章被许多人视为编程语言生态的转折信号。
SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth
SpaceX 向 FCC 申请再发射 10 万颗 Starlink 卫星，将带宽提升 100 倍，支持手机直连。如果获批，这将是人类历史上最大的卫星星座，但也引发了关于凯斯勒综合征和轨道资源利用的严重担忧。
