1. QuadRF：开源相控阵无线电能穿墙窥探WiFi并追踪无人机；
2. 苹果起诉OpenAI，指控前员工窃取商业机密；
3. 纽约市率先在美禁绝欺骗性订阅陷阱；
4. 好工具是隐形的；
5. GPT-5.6 Sol Ultra 生成循环双覆盖猜想的证明；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. QuadRF：开源相控阵无线电能穿墙窥探WiFi并追踪无人机

🔗 jeffgeerling.com: QuadRF can spot drones and see WiFi through my wall

QuadRF 是一款基于 Raspberry Pi 5 和 FPGA 的便携式相控阵无线电，具备皮秒级定时精度，能实现穿墙侦测 WiFi 信号和实时追踪飞行中的无人机。它利用 Pi 的 MIPI 接口以超过 5 Gbps 速率流式传输 I/Q 数据，低延迟且无采样丢失。前 SpaceX 工程师 Martin McCormick 将其作为月球级天线阵列项目的一部分开发，现已发起众筹，基础套件 499 美元。尽管 UI 仍显粗糙，但其增强现实可视化工具和美频频谱分析能力令人印象深刻，成功让 5 GHz WiFi 网络和 DJI Mini Pro 4 无人机在空中清晰显形。

2. 苹果起诉OpenAI，指控前员工窃取商业机密

🔗 9to5mac.com: Apple sues OpenAI, accuses ex-employees of stealing trade secrets

科技巨头苹果近日对人工智能公司OpenAI提起诉讼，指控多名跳槽至该公司的前雇员非法窃取与AI开发相关的商业机密。苹果声称这些员工在离职前蓄意下载了大量敏感技术文件，随后将其带往OpenAI，用于加速竞争对手的模型研发。此举可能严重侵害苹果在机器学习领域的核心技术优势，引发业界对人才流动与知识产权保护边界的高度关注。该案或将成为科技行业又一标志性法律争端，凸显人工智能军备竞赛下企业间日益紧张的对立关系。

3. 纽约市率先在美禁绝欺骗性订阅陷阱

🔗 theguardian.com: New York City to to ban deceptive subscription practices

纽约市将于10月1日实施新规，成为全美首个禁止欺骗性订阅的城市，违规企业可按每用户525美元被重罚并追缴欠费。同日公布的提议规则剑指租房、活动等领域的“垃圾费用”，强制商家明示包含所有强制性费用的总价，纽约约七成租户将直接受益，一旦通过，物业管理方必须在月租金中列明全年必缴费用。市长马姆达尼与消费者保护局局长莱文指出，此举要终结四十年来企业隐藏真实价格的乱象，估算每年可为纽约人节省1.625亿美元。公众意见征集已启动，当局力争年底前完成规则制定。

4. 好工具是隐形的

🔗 gingerbill.org: Good Tools Are Invisible

作者主张，真正优秀的工具应该让使用者感受不到它的存在，工具制造者的目标就是打造这种无感的体验。文中批评了一种常见心态：将工具的短板包装成需要“解谜”的乐趣，例如在 Vim 中耗费时间编写宏，却忽视了像多光标编辑那样更高效的方案。这种“黑客感”常常变成一种身份标签，一旦工具成为自我认同的一部分，人们便会下意识地捍卫其缺陷，混淆感觉高效与真正高效的界限。作者进一步指出，图形界面并非天然不如终端界面，问题在于开发者很少愿意花精力去实现完善的键盘导航；Linux 桌面难以普及，部分原因正是其爱好者沉迷于无限配置的“游戏”，而工具设计者的责任恰恰是提供优秀且开箱即用的默认值，而非将决策负担甩给用户。陡峭的学习曲线也绝非优点，它往往只是沉没成本幻化成的荣誉感。文章的最终检验标准很简单：那个让你彻底忘记自己正在使用的工具，就是最好的工具。

5. GPT-5.6 Sol Ultra 生成循环双覆盖猜想的证明

🔗 cdn.openai.com: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

该PDF文档宣称，高级人工智能模型 GPT-5.6 Sol Ultra 成功生成了图论中著名的 循环双覆盖猜想 的完整 证明。文档内容包含大量编码数据，其中可见的文本片段反复提及该猜想及其证明过程，暗示模型通过严谨的逻辑推导，解决了这一长期悬而未决的组合数学难题。由于文件主体为二进制流，具体证明步骤难以直接提取，但标题明确展示了AI在数学定理自动证明领域的重大突破。

6. 像人类维护者一样编写代码

🔗 unstack.io: Write code like a human will maintain it

作者在使用 LLM 辅助编程时发现，自己会因为懒惰而放任重复的条件判断散落在各处，心想反正以后都由 AI 维护。但 LLM 并不是在真空中写代码，它会读取代码库中的现有模式。于是，每一个被合入的偷懒捷径，都会成为训练 LLM 养成坏习惯的信号，让它误以为这就是项目风格，接着在后续生成中不断复制这些重复逻辑，最终代码坏味道层层堆叠，积重难返。作者意识到，这根本不是把维护外包给 LLM，而是在亲手教它写出越来越糟糕的代码。因此他告诫，务必像代码将由人类长期维护那样去写，因为 LLM 像海绵一样吸收一切并复现给你看，只有写出整洁、可维护的代码，才能避免陷入无法轻易修复的泥潭。

7. 青铜时代晚期大崩溃

🔗 acoup.blog: Late Bronze Age Collapse

本文是对公元前12世纪东地中海与中东地区青铜时代晚期崩溃的概述。这场被视作近东最接近“文明终结”的事件，其严重程度超越西罗马帝国灭亡，但并非如过去想象的完全崩溃。研究高度依赖考古证据，通过遗址毁坏层、灰烬等推断，发现约公元前1220年至1170年间，从爱琴海的迈锡尼宫殿文明开始，经赫梯帝国、叙利亚海岸的乌加里特，直至埃及，出现了一连串不均质的毁灭与衰落。然而，雅典、比布鲁斯、西顿等城邦却未遭破坏。埃及在拉美西斯三世时击退了海上民族的入侵，但帝国力量随后仍渐衰弱。此次崩溃的起因尚不确定，可能涉及气候变迁、长途贸易中断等因素，其对后世文明格局产生了深远影响。

8. 在 Emacs 中，一切皆服务

🔗 yummymelon.com: In Emacs, everything looks like a service

Emacs 常被比作操作系统，虽不准确，但其强大之处在于能够像操作系统内核之上的一层，灵活编排各种应用与工具。文中以客户端-服务器模型为框架，指出 Emacs 内置了完善的 UI、网络通信和本地数据库库，使得构建各类客户端变得十分自然。通过 Elisp 动态语言，开发者可以轻松调用 url、json、hash-table 等库，将网络请求和数据处理封装成简洁的命令，例如用不到 70 行代码实现一个调用 wttr.in 的天气客户端。更极端的思路是直接将 shell 命令视为服务，只需几行 Elisp 就能将外部脚本的结果呈现到迷你缓冲区。这种将一切外部资源——无论是 Web API、命令行工具还是本地进程——都抽象为可请求的服务的能力，让 Emacs 用户真正体验到“一切皆服务”的计算自由，也解释了为何许多人能够“生活”在 Emacs 之中。

9. 成功企业为何会失明

🔗 ianreppel.org: Successful Companies Go Blind

墨西哥洞穴鱼在眼睛消失后仍保留了上百万年的眼部基因，成功企业也会陷入类似的境地。文章用这种鱼比喻企业一旦成功后产生的能力盲视：快速扩张时为了凑够人数而降低标准，新员工只懂内部混乱的“家传手艺”，被选入招聘小组后会更偏好适应这种环境的人，最终整个组织充斥着对问题毫无察觉的“洞穴居民”。他们建出的系统只有原作者能运行、部署极度脆弱、文档如天书，但因为品牌和利润数字尚可，领导层误以为根基稳固。严谨的工程能力成为被环境抑制的退化器官，提出改进建议的工程师会被告知“过度设计”或“不符合优先事项”，其努力被视作对现有建设者身份的冒犯，这触发了类似细胞凋亡的过程。公司随后设立的卓越中心反让内在动机萎缩，真正的卓越被抽走变成强制流程，沦为压制能力的机构。当市场壁垒高筑，这种“地质稳定”让公司依赖过往积蓄容忍浪费。有眼光的工程师来了又走，留下的则在舒适中逐渐失明，将适应洞穴规则等同于忠诚——留下本身就是凋亡。幸运的是，洞穴鱼并未真正丢失基因，游入新的水域，视力仍可能恢复。

10. 市长曼达尼宣布“一键取消”消费者保护新规

🔗 nyc.gov: Mayor Mamdani announces “Click-to-Cancel” rules

纽约市长佐赫兰·夸梅·曼达尼宣布全美首个市级“一键取消”消费者保护规则，要求企业必须提供与订阅同样便捷的取消方式，该规则将于2026年10月1日生效，预计每年为纽约市民节省高达1.625亿美元。新规直指订阅陷阱与隐藏收费，违规者每次将被处以至少525美元的罚款并须赔偿消费者。与此同时，拟议的“垃圾费用”规则强制商家在广告中展示包含所有强制性收费的全价，彻底杜绝结账时突然出现的隐藏费用。这两项规则共同落实市长的行政令，终结长期困扰工薪家庭的定价不透明与恶意扣款，让普通纽约人牢牢掌握自己的钱包。

11. 《终结者2》特效革命：工业光魔元老口述CG创世记

🔗 vfxblog.com: The tech of ‘Terminator 2’ – an oral history (2017)

1991年，詹姆斯·卡梅隆的《终结者2》上映，片中液态金属T-1000的镜头虽少，却让工业光魔必须从零开始发明全新的CG工具。视觉特效总监丹尼斯·穆伦带领的团队在资源极其有限的条件下，带着谨慎的乐观接受了挑战：他们明知很多镜头尚不知如何实现，却依然成功中标。动画主管“斯帕兹”·威廉姆斯与软件开发者们通力合作，创造了“Make Sticky”和“Body Sock”等关键工具，让T-1000的钩手熔化、头部穿越栏杆等经典画面成为可能。那时整个CG部门人数少得惊人，程序员埃里克·恩德顿身为公司首位专职软件写手，要以惊人速度开发程序，动画师乔纳森·弗伦奇则记得大家跨团队混坐，楼下“坑”里永远响着震耳欲聋的摇滚乐或风笛声。从《深渊》伪足到全数字角色的跨越，团队在San Rafael的旧楼里，用裸手造物的热情，彻底改写了视觉特效史，开启了从实拍和光学特效向全数字时代的伟大转折。

12. 蜗牛牙齿击败蜘蛛丝，获封自然界最强材料

🔗 smithsonianmag.com: Snails’ teeth beats spider silk as nature’s strongest material (2015)

海洋中的笠螺依靠齿舌刮食岩石，其牙齿由针铁矿纳米纤维与蛋白质基质复合而成，拉伸强度平均是蜘蛛丝的5倍，能承受堪比将碳压成钻石的极端压力。这种新晋的最强天然材料性能超越凯夫拉，与顶级碳纤维相当，但仍不及石墨烯等人造纳米材料。研究为仿生工程带来了新启发。文中还提及了硬度超过钻石的纤锌矿型氮化硼和蓝丝黛尔石，编辑则特别澄清了拉伸强度与硬度的区别。

13. 朋克，或我为什么不再直播

🔗 geohot.github.io: Punk, or why I don’t stream anymore

奇观扼杀了黑客文化，直播沦为表演性的自我投射。互联网成为一个没有出口的均匀牢笼。AI让你觉得在掌控，实际只是吞咽预咀嚼的文化浆。机器窃取你的亚文化，反手贩卖劣质仿品；从搭讪技巧到安德鲁·泰特，全部被同化。我们正身处一场夺取灵魂的信息战争，旧世界已死，革命只会更糟，AI仅是原子弹。最终，你的存在被炼成兼容材料。

14. 十二款AI模型同台竞技：GPT-5.6、Grok 4.5与Claude四应用实测

🔗 tryai.dev: GPT-5.6, Grok 4.5, Claude, and Muse Spark build the same 4 apps

本次测试让十二个前沿模型各自生成Doom风格光线投射迷宫、3D魔方、计算器和康威生命游戏四个应用，每个任务尝试五次并公开全部结果。GPT-5.6 Sol在迷宫任务中表现最佳、一致性高，Claude Fable 5则在魔方和SVG绘图上一骑绝尘，而Grok 4.5以低成本提供了接近旗舰级的可用性，成为性价比利器。开源权重模型如Qwen 3.7 Plus和GLM-5.2在成熟的生命游戏任务上能以极低成本复刻，但在光线投射和魔方等复杂、新颖任务中屡屡折戟，暴露出与前沿模型的明显差距。Meta意外推出的Muse Spark 1.1在部分有效运行中惊艳，但成功率不稳。整体上，最新最贵的旗舰并非通吃赢家，简单任务可放心用开源模型，硬核创新仍靠前沿模型。

15. 致闪卡的一封情书

🔗 lesleylai.info: A love letter to flashcards

我曾长期对闪卡抱有偏见，认为它只适合死记硬背，无法承载需要深层理解的知识。直到接触间隔重复技术后，我的看法才彻底改变。我选择用 Anki 自制闪卡，只记录自己真正理解的内容，尤其是那些稍纵即逝的直觉与“顿悟时刻”。我会加入图片、链接，甚至把错题做成卡片来规划练习。这种将卡片视为定期回顾的轻量任务的做法，让我在搁置学习一年后仍能无缝衔接，而这微小的日常投入，却为持久内化知识创造了巨大的价值。

16. 战争地图集：纵览人类五千年战争史的交互式地图

🔗 waratlas.org: War Atlas: An interactive cartography of every named war in human history

该工具是一幅交互式地图，囊括人类历史上所有有名称的战争，横跨5000年历史。界面加载从公元前3000年至公元2000年的时间线，涵盖青铜时代、铁器时代、古典时代、中世纪和近代早期。用户可筛选帝国边界，查看重建边界、近似边界，并以虚线标示文献中存在争议的部分。地图支持导出，并提供游览与实时浏览模式。该工具为战争史研究提供了直观的时空探索平台。

17. 请勿停用 Gemini 2.5 Flash，开发者的关键工作流离不开它

🔗 discuss.ai.google.dev: Please don’t discontinue Gemini 2.5 Flash

多位开发者紧急发声，恳请谷歌团队不要停用 Gemini 2.5 Flash。他们的内部基准测试表明，后续的 Gemini 3 Flash 和 3.5 Flash 在性能与延迟上均无法替代——即使遵循新的提示指南调整，效果也不及 2.5 Flash。有用户指出这款模型是目前澳大利亚唯一部署的低延迟模型，能以 300–400 毫秒完成响应，对语音代理至关重要；而 3.5 Flash 不仅延迟高达 700–800 毫秒，且未在澳洲部署，直接摧毁了语音场景。另一个痛点在于价格跃升：从 2.5 Flash 到 3.5 Flash 的费用将近翻了 3 倍，背离了 Flash 系列兼顾低延迟和可负担性的初衷。许多工作流高度依赖该模型的性价比与智能表现，若遭淘汰，开发者可能被迫转向开源模型，但难以复现同样的低延迟优势。大家呼吁保留这款“全场景最佳”的模型，避免业务中断。

18. 欧洲最大工会要求立法：气温超30°C工人有权停工

🔗 novaramedia.com: Europe’s Largest Unions Demand Right to Cancel Work on Days Above 30C

欧洲三大工会组织代表40个国家1260万工人，呼吁欧盟委员会将高温保护措施纳入新法，要求在气温超过30°C时，农业、建筑等高强度工种必须停工，低强度工种则以32.5°C为上限，违者受罚。此前西欧刚经历有记录以来最热六月，数据显示全欧每年约1.3亿工人遭遇职场热应激，导致27.7万起受伤和230人死亡。目前欧洲多国缺乏统一硬性标准，英国工会也发起请愿，要求确立最高工作温度立法，规定室内达24°C须降温，户外体力劳动达27°C或一般工作达30°C即有权停工，已获超6.4万人签名。

19. 计算：普适而根本的概念

🔗 ergo.org: Computation as a universal and fundamental concept

从图灵1936年的奠基理论出发，Tim Roughgarden揭示了计算的边界——停机问题等无法被算法解决。他展示了如Dijkstra最短路径算法等捷径，但也指出旅行推销员问题的顽固，引出NP完全性理论：成千上万难题实则相互关联。这汇聚成数学界最重要的P与NP问题，其答案将深刻影响密码学、人工智能和量子计算。无需计算机背景。

20. 调查：45%的PlayStation核心玩家正“认真考虑”转投PC平台

🔗 pushsquare.com: 45% of Enthusiasts ‘Seriously Considering’ Leaving Sony for PC

一项由Push Square发起、超过6500名读者参与的调查显示，45%的PlayStation爱好者“认真考虑”转向Steam等PC平台，仅有23%坚持留守。最大的导火索是索尼决定停止生产实体光盘游戏，41%的受访者将此列为离开原因。许多玩家评论，如果不得不接受全数字化未来，宁愿选择体验最佳、被视为业界标杆的Steam商店，而PS商店的退款政策等服务则备受诟病。此外，若传闻中PS6售价高达1000美元，仅14%会首发购入，29%表示会直接转向PC，另29%则坚守本世代主机。这一数据反映出索尼近年来透支粉丝信任，需努力挽回核心用户。

21. 住宅代理与抓取机器人：开放网络攻防战升级

🔗 lwn.net: An update on residential proxies and the scraper situation

文章揭示了利用数百万受感染设备的住宅代理网络发起的抓取攻击愈演愈烈，攻击伪装成普通用户浏览，大规模掠夺网站内容用于训练大语言模型。攻击源包括恶意软件劫持的智能设备，以及以“免费VPN”为幌子暗中构建代理池的灰色公司。LWN等网站通过优化防御、动态降低资源消耗来应对，但拒绝透露细节，避免触发新的军备竞赛。谷歌偶尔取缔僵尸网络只能带来短暂喘息，根本问题在于AI产业无视内容创作者的权益，缺乏伦理底线。若任由这种掠夺持续，开放互联网将被迫高墙林立，作者呼吁社会对模型开发方施加最低限度的道德约束。

22. 生产环境使用7年后，Scarf无奈放弃Haskell

🔗 avi.press: After 7 years in production, Scarf has reluctantly moved away from Haskell

Scarf 创始人、Haskell 基金会董事会成员 Avi Press 在运行了 7 年生产级 Haskell 后端后，因日益严重的 编译时间 与 生态系统摩擦，无奈在 AI 辅助开发 时代将新开发全面转向 Python。AI 编码代理能快速生成代码，但 Haskell 漫长的冷启动构建与沉重的工具链维护成本，在需要并行开启多个工作分支的代理工作流中变得难以承受。团队采用渐进式迁移，利用 LLM 高效地移植认证、数据库等核心模块，并获得了前所未有的测试覆盖率和热修复速度。Press 指出，Haskell 社区不应抵触 AI，而要主动优化编译反馈、文档示例和项目引导，否则这种工业级用户流失将难以逆转。

23. 统一内存揭秘：为何迷你PC能跑70B模型，而高端显卡却束手无策

🔗 vettedconsumer.com: Unified Memory, Explained: Why Mini PCs Can Run 70B Models a Big GPU Can’t

一台约2000美元的AMD Strix Halo迷你PC，凭借128GB 统一内存，能加载40GB以上的70B大模型，而拥有每秒1792GB带宽的RTX 5090却因32GB显存上限完全做不到。这背后正是统一内存的取舍：CPU、GPU共享一整块LPDDR5X内存，容量极大但内存带宽仅256GB/s左右，导致密集模型解码速度只有每秒4-6个token，远慢于独立显卡。更大的痛点在预填充阶段——处理长提示时因集成GPU算力不足，可能卡顿数十秒，NPU对聊天推理几乎无用。唯一的性能突破口是混合专家（MoE）模型，每次仅激活少量参数，可在同设备上跑出每秒70+ token。简言之，这类盒子是容量机器而非速度机器，适合用低成本死磕大模型尺寸，但必须接受慢读般的生成节奏和迟钝的提示处理。

24. 用于 libgdx-core 的 Clojure FFI 层

🔗 github.com: Clojure FFI layer for libgdx-core

这个项目为 libGDX 1.14.x 提供 薄层 Clojure facade，每个 Java 类精确映射为一个同包路径的 Clojure 命名空间，采用机械的 1:1 命名与参数传递，不重命名方法或常量，且彻底消除反射警告。它并非游戏引擎，而是纯互操作层，已覆盖约 72 个类并按需增长。稳定性策略为 只增不减：仅添加新命名空间和变量，永不重命名或移除现有接口，建议固定 git SHA 锁定依赖。项目不写 docstring，直接沿用 libGDX JavaDoc，并通过统一命名约定适配任意 Java 库。

25. 爱因斯坦相对论改写化学键规则：新研究颠覆重元素三键模型

🔗 brown.edu: Einstein’s relativity rules chemical bonds in heavy elements, new research shows

布朗大学的化学家首次通过光电子能谱技术，获得了重元素化学键受相对论效应支配的直接证据。研究表明，在铋这类重原子中，原子核的巨大质量使轨道电子加速至接近光速，触发了自旋-轨道耦合。这一相对论量子效应打破了传统三键中一个σ键和两个π键的清晰划分，使σ键与π键的界限变得模糊，杂化形成一种全新的混合键结构。实验通过将碳-铋分子冷却至接近绝对零度，用激光击出电子并分析其结合能，证实了重元素的三键实际上表现为一个π键与两个杂化的σ-π混合键。该发现直接挑战了教科书中的经典化学键理论，并可能因其在无毒太阳能电池、量子材料等领域的应用潜力，推动对铋及其他重元素化学键的重新定义。