Hacker News Digest
· 36 黑客新闻
Apple正式向加州北区法院提起诉讼，指控OpenAI为研发AI硬件设备，长期策划窃取其商业机密。Apple声称，OpenAI硬件负责人Tang Tan和前电气工程师Chang Liu指示面试者提供未发布设备、制造工艺及供应商关系等机密信息。证据显示，OpenAI甚至利用Apple内部离职流程漏洞，指导新员工规避安全审查，并诱导供应商使用Apple独有的金属处理技术。Apple表示，OpenAI…
我最近体验了基于 Raspberry Pi 5 和 FPGA 打造的 QuadRF 相控阵无线电设备。它不仅能像 Wireshark 一样分析无线流量，还能透过墙壁探测 WiFi 信号，甚至在空中精准追踪 DJI Mini Pro 4 无人机。虽然 UI 略显粗糙，但其利用 MIPI 接口实现超高速数据流传输的架构令人惊叹。作者 Jeff Geerling 认为，如果开源社区能做出如此强大的工具…
- ▲ 419纽约率先立法，终结订阅陷阱
纽约市即将成为美国首个禁止误导性订阅行为的地区，这项由 Zohran Mamdani 政府推动的新规将于10月1日生效。新规严禁企业通过复杂流程将用户困在健身房会员或流媒体服务的自动扣费中，违规者将面临每用户525美元的重罚。此外，针对公寓租赁和体育赛事中的“垃圾费用”，新规要求商家必须提前公示包含所有强制费用的总价。这一举措旨在打破企业通过隐藏真实价格进行恶性竞争的局面，预计每年可为纽约市民节…
- ▲ 364好工具应当隐形，而非谜题
我受够了开发者把工具的缺陷包装成有趣的'谜题'。很多人沉迷于在 vim 或 emacs 中构建宏来解决一次性问题，却忽略了在 Sublime 中用多光标一分钟就能搞定。这种对工具的宗教式崇拜，本质上是将工具变成了身份标识，让人把'感觉高效'误认为是'真正高效'。真正的工具应该像空气一样隐形，当你熟练掌握时它就该消失。如果工具让你不得不费尽心思去绕过限制，那它就不够好。作为工具制造者，我们的责任是…
数学界迎来历史性突破！OpenAI 的 GPT-5.6 Sol Ultra 成功证明了困扰学界多年的 Cycle Double Cover Conjecture。这篇由 AI 独立完成的论文指出，每个无桥无向图都存在一组覆盖每条边恰好两次的圈。证明过程巧妙地利用了 8-flow theorem 和 Tutte 的相关成果，将复杂的图论问题转化为线性代数论证。更令人惊叹的是，从核心证明到论文撰写，…
- ▲ 326青铜时代大崩溃：文明如何瞬间崩塌
本周我们聚焦于Late Bronze Age Collapse（LBAC），这场发生在公元前12世纪的灾难性事件，堪称地中海东部和中东地区真正的“文明终结”。从Mycenaean希腊的宫殿中心到Hittite Empire的衰落，考古证据揭示了从公元前1220年到公元前1170年的一系列毁灭性破坏。这不仅仅是罗马帝国崩溃的翻版，而是一场更为剧烈的系统性崩塌，涉及复杂的贸易网络、外交关系以及军事冲…
- ▲ 235在 Emacs 里，万物皆服务
很多人误以为 Emacs 是个操作系统，其实它更像是一个能编排各种应用和工具的强大平台。Emacs 内置了对文件系统、网络等系统服务的访问能力，还能轻松运行外部程序，这让用户能直接在 Emacs 里构建各种客户端。无论是通过 Elisp 动态语言调用 API，还是把命令行工具封装成服务，Emacs 都能让你“只活在 Emacs 里”。本文通过一个 wttr.in 天气服务的实例，展示了如何用寥寥…
- ▲ 188成功公司为何像洞鱼一样失明？
墨西哥洞鱼在黑暗洞穴中进化出盲眼，却保留了视觉基因，这恰如成功企业的命运。当公司快速扩张，招聘标准因速度而妥协，工程师们逐渐适应了内部的混乱，将糟糕的流程视为常态。这种“能力失明”让企业看似繁荣，实则工程能力退化，任何试图改进的提议都被视为过度设计。所谓的卓越中心往往沦为扼杀创新的官僚机构。在缺乏外部竞争压力的稳定环境中，员工要么离开，要么像洞鱼一样逐渐“失明”，将适应黑暗误认为忠诚。只有跳出这…
2025 至 2026 年对 27 名前 Boko Haram 成员的访谈揭露了令人震惊的事实：该恐怖组织已将 ChatGPT、Claude、Gemini、Grok、Meta AI 和 DeepSeek 等前沿 AI 工具深度融入日常作战。从策划袭击、武器故障排查到设计爆炸装置，AI 的使用已制度化，甚至通过伊斯兰国（Islamic State） operatives 的线下培训进行跨国技术转移…
- ▲ 167T2特效口述史：ILM如何发明液态金属
自1991年詹姆斯·卡梅隆的《Terminator 2: Judgment Day》上映以来，ILM团队在Dennis Muren的带领下，几乎是从零开始发明了实现CG“液态金属”T-1000镜头的新方法。为了迎接3D重映，我采访了十多位当年的ILM幕后功臣。从San Rafael时期仅有寥寥数人的CG部门，到开发'Make Sticky'和'Body Sock'等关键工具，他们克服了当时有限的…
- ▲ 157埃及沙漠惊现1600年古城
埃及西部沙漠的Dakhla Oasis下，一座沉睡了1600年的Byzantine时代古城重见天日。考古学家在这里发现了保存完好的教堂、瞭望塔、住宅以及面包炉和石磨等生活设施，仿佛瞬间穿越回4世纪。更令人惊叹的是，出土了约200片刻有Coptic和Greek文字的陶片，记录了当时的商业交易和信件往来，还有拜占庭皇帝的青铜币和罗马皇帝Constantius II时期的金币。这座规划严谨的古城，拥有…
- ▲ 156蜗牛牙齿力压蜘蛛丝，成自然界最强材料
长期以来，蜘蛛丝一直被视为自然界中最坚韧的材料，甚至常被拿来与 Kevlar 相提并论。然而，英国 Portsmouth University 的研究团队 Asa Barber 等人发现，海洋蜗牛（limpets）的牙齿强度竟是蜘蛛丝的五倍。这种由 goethite 纳米纤维和蛋白质基质构成的牙齿，能承受足以将碳压成钻石的巨大压力。虽然它仍不及石墨烯等人工材料，但已远超 Kevlar 并媲美顶级…
AI 公司正疯狂竞赛，试图在 1 到 10 年内造出超越人类的超级智能。我们警告，这极可能导致人类灭绝或权力极度集中。Plan A 是我们提出的积极愿景：通过国际协议，将超级智能的研发推迟到 2040 年，强制所有 AI 研究公开透明，让全球数十家公司共同安全发展，而非在秘密中恶性竞争。这不是对未来的预测，而是一份经过压力测试的政策建议。我们呼吁立即行动，避免在 2030 年因 AI 完全自动化…
曾经我也认为 Flashcards 只是机械背诵的代名词，直到我通过 learning how to learn 课程重新认识了 Spaced repetition。作为记性极差的人，我利用 Anki 将数学定理和直觉洞察转化为长期记忆，而非单纯死记硬背。我不再依赖现成的牌组，而是亲手制作包含直觉和 A-ha moments 的卡片，甚至用它来规划错题练习。这种轻量化的复习习惯，让我即使暂停学习…
COMBUSTION LAB 是一个基于 Web 的交互式引擎动力学模拟器，让你无需任何专业软件就能深入探索内燃机的工作原理。它采用单区热力学模型，精确计算从进气到排气的完整四冲程循环，涵盖 Wiebe 燃烧函数、Woschni 热传递以及 Livengood-Wu 爆震积分等核心算法。你可以实时调整增压值、点火提前角和压缩比，直观观察功率、扭矩和爆震风险的变化。无论是学习发动机基础，还是验证概…
- ▲ 118War Atlas：人类史上所有战争地图
想象一下，只需滑动时间轴，就能亲眼见证过去5000年人类历史上的每一场命名战争。War Atlas 项目打造了一张交互式地图，将3000 BCE至今的战争动态可视化。从古代城邦冲突到现代全球战争，所有数据一目了然。这不仅是一个工具，更是一面镜子，让我们反思人类为何总在重复同样的错误。
- ▲ 102如果一天只有10小时，时间会更好读吗？
你有没有想过，为什么我们还在用24小时、60分钟、60秒这种看似随意的时间系统？这篇文章探索了多种替代时钟设计，包括十进制时钟、二进制时钟、十六进制时钟，甚至36小时制的360度时钟。作者对传统AM/PM机制表示不满，并尝试用更直观的十进制系统重新定义时间单位，让计算变得像移动小数点一样简单。虽然有些设计如二进制时钟因精度问题不太实用，但它们都激发了我们对时间本质的重新思考。如果你也厌倦了传统时…
- ▲ 101爱因斯坦相对论竟改写重元素化学键
Brown University 的化学家们刚刚用实验证据推翻了教科书里的经典理论。他们发现，当原子核足够重时，Einstein 的相对论会彻底改变三键的结构。通过 photoelectron spectroscopy 技术，团队在碳和 Bismuth 形成的分子中观察到，传统的 sigma 键和 pi 键界限变得模糊，变成了混合态。这意味着我们在高中化学课上学到的 bonding 规则，在重元…
- ▲ 89AI 爬虫肆虐，开放网络危在旦夕
自 2025 年我们讨论 AI 爬虫问题以来，情况不仅没有好转，反而愈演愈烈。如今，数以百万计的 Residential proxies 正被恶意利用，这些流量往往来自被植入恶意软件的普通设备或看似合法的 Bright Data 等公司提供的“免费”VPN。这些网络不仅疯狂抓取网页数据，更让网站运营者疲于奔命，不得不部署 Anubis 等验证机制或设置登录门槛。虽然 Google 曾打击过 IP…
Tim Roughgarden 从 Alan Turing 在 1936 年提出的理论出发，带我们重新审视计算的边界。他揭示了著名的停机问题，证明了有些难题无论算力多强都无法解决。课程深入探讨了算法捷径的魔力，从 Dijkstra 算法到 Karatsuba 乘法，展示了如何高效解决问题。然而，Traveling Salesman Problem 的出现打破了“所有问题都有捷径”的幻想，引出了计…
作为 Haskell 的长期拥趸和 Haskell Foundation 董事会成员，我不得不承认，Scarf 在经历了 7 年的生产环境验证后，已无奈地决定迁移出 Haskell。虽然 Haskell 的类型系统曾帮我们捕获了大量 Bug，但在 AI 编程时代，其漫长的编译时间成为了致命瓶颈。当 LLM 能在几分钟内生成代码时，等待编译的十几分钟让开发循环变得难以忍受。我们已转向 Python…
SpaceX 已向 FCC 提交申请，计划发射 10 万颗第三代 Starlink 卫星，目标是将网络带宽提升 100 倍，实现真正的千兆级超低延迟体验。目前轨道上仅有约 1.1 万颗卫星，而新的 Gen3 卫星单颗重达 2 吨以上，这意味着 SpaceX 必须依赖 Starship 火箭才能完成部署。这项计划不仅面向普通用户，更旨在为全球数十亿 AI 设备提供高速连接。虽然亚马逊 Leo 等竞…
Wyrm 是一款基于开源引擎 Wyrm-math 构建的创新代数应用，彻底改变了用户解方程的方式。它允许用户通过拖拽项跨越等号、点击幂次展开或提取公因式等直观手势来操作数学表达式。其核心在于“条件健全性”设计：合法的操作永远可行，非法的操作根本无法执行。系统不会事后验证方程，而是通过重写规则确保每一步变换都天然正确。所有运算基于精确的有理数，拒绝浮点误差，并自动追踪如“除数不为零”等假设条件。无…
- ▲ 56首现负闰秒，系统扛得住吗？
距离上次闰秒已过去十年，听说我们很快将迎来首次负闰秒。我想知道，现有的系统真的准备好了吗？
Frugon是一款免费、开源且完全在本地运行的LLM成本分析工具。它能深入你的LLM调用日志，精准定位账单漏洞，并智能推荐将哪些请求路由到更便宜的模型。无需上传任何数据，Frugon直接在你的机器上完成计算，确保数据隐私。无论是Agent开发者还是AI团队，都能通过简单的命令行操作，快速生成节省方案，轻松优化每月开支。
这不是一个由AI生成的虚拟乐队，而是Fading Maize这支真实存在的Ripon College大学乐队在25年后的重生。项目将Charlie Saponara创作的歌曲、Jacob Graf的鼓点以及Brad Mott的原始录音，从2001年的宿舍档案中挖掘出来，利用AI辅助进行制作、设计和发行。项目严格遵循同意、作者权和溯源等五大原则，确保原始录音与2026年重制版并存，让听众能一键对比…
我们团队在MiMo-V2.5系列模型中，直面长上下文推理中算力与效率的矛盾。通过混合滑动窗口注意力（Hybrid SWA）架构，我们将KVCache存储压缩至全注意力模式的约七分之一，同时结合稀疏MoE激活和跨模态编码器，显著提升了长文本与多模态场景下的性能。然而，理论优势不等于工程落地。我们重构了KVCache系统，设计了双池化存储、分层缓存及SWA感知的Prefix Cache Tree，解…
蘑菇云是核时代的标志性符号，但广岛和长崎上空的那些经典照片，很多都被误读了。文章深入剖析了从 Enola Gay 轰炸机上拍摄的 George Robert Caron 照片，揭示了广为人知的裁剪版本与原始底片在视角和尺度上的巨大差异。更有趣的是，许多被当作原子弹爆炸瞬间的震撼影像，其实拍摄于数小时后，记录的是城市大火引发的 pyrocumulus 烟云，而非真正的蘑菇云。通过对比美军侦察机视角…
我们发现了名为GhostLock的严重内核漏洞（CVE-2026-43499），它像幽灵一样潜伏在所有Linux发行版中长达15年。这个漏洞源于rtmutex机制的一个逻辑错误，导致未授权用户能通过普通线程系统调用获取内核栈的悬空指针。我们成功将其转化为97%稳定的提权和容器逃逸攻击，并因此从Google获得了92,337美元的奖励。该漏洞影响范围极广，从Linux 2.6.39到7.1版本均受…
我刚刚把 FreeCAD 这个庞然大物搬进了浏览器。它拥有 150 万行 C++ 和 70 万行 Python 代码，集成了 OpenCASCADE、CPython 3.14 和 PySide6 等复杂组件。借助 WebAssembly JSPI 和 Fable 工具，我仅用 4 天就让它能在 Chrome 中流畅运行。从静态链接所有模块到重写 OpenGL 兼容层，再到解决异常编码冲突，整个过…
- ▲ 23用 iroh 打造无云智能风扇
北半球的酷暑让人难耐，不如自己动手做个智能风扇来降降温。这次我们利用 iroh 协议和 ESP32 开发板，搭建了一个完全去中心化的智能风扇系统。与大多数依赖云服务的 IoT 设备不同，这个项目没有任何云端组件，仅通过一个支持 WebAssembly 的微型网站，就能让你在世界任何角落通过浏览器远程控制风扇。我们使用 ESP32-WROVER 开发板读取 DHT22 温湿度传感器的数据，并驱动风…
Reform UK的领袖Nigel Farage向来有“辞职不退场”的怪癖。过去十年里，他两次辞去民粹右翼政党领袖职务，却又迅速重返政治一线。如今，面对是否应申报来自某加密企业家500万英镑（约670万美元）赠款的丑闻，他再次上演“以退为进”的戏码，主动放弃议会席位，只为重新赢回它。在这场政治闹剧中，一个名为Count Binface的太空战士形象意外成为焦点，仿佛是来自未来的对手，用荒诞的方式…
自主网页代理虽然能自动化日常浏览任务，却重蹈了跨站脚本攻击的覆辙，让第三方内容有机会通过提示注入劫持代理。Prismata 提出了一种动态信任推导机制，为网页内容生成权限标签，通过机械约束限制代理的视野与操作能力。它无需开发者手动标注，就能在长尾网站中生效，显著降低攻击成功率，同时保留正常任务的功能性。这项技术让网页代理在享受便利的同时，不再轻易沦为攻击者的傀儡。
- ▲ 10抢占是内存重排序的垃圾回收
以前我觉得抢占让用户空间的无锁编程更难，但现在我改变主意了。抢占其实就像垃圾回收（GC）一样，是一笔已经付出的沉没成本，既然付了钱，不如善加利用。在 x86 平台上，中断处理具有完全串行化的特性，这意味着任何用户空间指令要么在中断前执行完毕，要么在中断返回后从头重跑。我们可以利用这一特性，在不使用显式屏障的情况下保证内存访问顺序。结合 Bounded TSO 和中断跟踪，我们能在用户空间实现高效…
我独自开发了数月，终于推出了 Peakd 这个社区驱动的全新平台。在这里，从 Visual Studio Code 到 Netflix，从 Asics 运动鞋到葡萄牙国家足球队，万物皆可被真实用户排名。没有广告，没有付费推广，只有来自全球用户的真实投票和意见。无论是寻找最佳 CRM、最可靠的银行，还是想对比不同国家的旅行体验，Peakd 都能提供透明、公正的参考。我们已收录超过 15.5 万个评…
最近在博客排版中，我本想用 Unicode 里的 Manichaean Punctuation Fleuron 符号（𐫱）作为日期和分类的分隔符，结果发现它竟然让后面的数字跑到了标签中间！原来这个来自摩尼教的古老符号被 Unicode 标记为从右向左（Right-to-Left）类型。当它与从左向右的文本混合时，浏览器的双向排版算法（Unicode Bidirectional Algorith…