HN日报 | 2026年7月23日

今日科技领域是模拟与数字、哲学与实用之间迷人的混合体。我们有著名作家捍卫钢笔，天文学家发现潜在的系外卫星，以及美国空军驾驶AI控制的F-16。与此同时，围绕开源AI的辩论、LLM的经济学以及像GigaToken这样新工具的惊人速度表明，软件世界比以往任何时候都发展得更快。让我们深入探讨。

AI与机器学习

Terence Tao关于雅可比猜想反例的ChatGPT对话 — 一位世界级数学家使用ChatGPT消化雅可比猜想复杂反例的迷人视角。这有力地展示了LLM作为思考伙伴，而不仅仅是代码生成器。
初创公司创始人敦促美国政府不要切断中国开源权重AI — 一群创始人认为限制访问中国的开源权重AI模型将损害美国创新。这封信凸显了国家安全与推动科技发展的开源精神之间的紧张关系。
理解AI经济 — 谷歌的ATLAS研究分析了1500万次AI交互，以描绘人们如何在工作和家庭中实际使用AI。关键发现：AI使用广泛但浅层，大多数交互是协作性的而非完全自动化。
AI实验室是否在“鹈鹕最大化”？ — 一项巧妙的调查，探究AI实验室是否秘密训练模型以通过Simon Willison著名的“骑自行车的鹈鹕”SVG基准测试。证据表明他们没有，但方法论读起来令人愉悦。
反对开源AI的论点是糟糕的 — 对开源AI的热情辩护，认为压制它的尝试在历史上注定失败，真正的威胁不是开放模型而是集中控制。任何关注政策辩论的人都必读。
保护我们的FLOSS公共资源免受LLM侵害 — 欧洲Git托管平台Codeberg投票禁止“氛围编码”项目，并承诺不在用户数据上训练LLM。这是对LLM给开源社区带来的资源消耗和哲学转变的原则性立场。

GigaToken：约1000倍更快的语言模型分词 — HuggingFace分词器的即插即用替代品，速度提升高达1000倍。如果你为LLM处理大量文本，这种性能飞跃会在一夜之间改变你的基础设施成本。
在ATProto上构建 — 一位想构建去中心化评论应用的人对Bluesky的AT协议进行了深思熟虑的批评。作者认为该协议有前景，但担心它未能成为我们所需的开放标准。
git的--end-of-options标志 — 深入探讨一个鲜为人知的Git标志，它解决了一个真正的安全问题：参数注入。关于--和--end-of-options区别的历史是设计决策意外后果的绝佳教训。
初创公司的Postgres生存指南 — 一份经过实战检验的实用指南，涵盖从模式设计到查询规划再到自动清理的生产环境Postgres运行。每个初创公司工程师都应将其加入书签。
500行纯C++的软件渲染 — 一个经典教程，从头构建软件渲染器，教授OpenGL和Vulkan实际工作原理。适合任何想从根本上理解图形编程的人。

天文学家可能发现了第一颗系外卫星 — ESO的VLT探测到了可能是太阳系外的第一颗卫星。问题在于：它围绕一颗褐矮星而非行星运行，模糊了卫星、行星和恒星之间的界限。
用于分离稀土元素的固态“原子通道” — 研究人员开发了一种更清洁的电化学方法，使用层状氧化锰分离稀土元素。这可能使磁铁、LED和电动汽车的生产更加环保。
DARPA与美国空军驾驶AI控制的F-16 — VENOM项目成功让AI代理驾驶标准F-16飞行。目标是开发可信的自主战斗AI，人类飞行员保持监控和覆盖。

TheNumbers.com发生了什么 — 权威电影行业数据网站因机器人驱动的DDoS攻击而关闭，可能来自AI训练爬虫。这是一个关于AI淘金热如何给网络基础设施带来压力的警示故事。
Show HN：Palmier Pro – 为AI构建的开源macOS视频编辑器 — 一款原生macOS视频编辑器，将AI生成直接集成到时间线中。它是开源的，让Claude或Codex处理编辑的繁重工作，从粗剪到过渡。

手写对你的大脑有益 — 尼尔·斯蒂芬森，他手写了数千页，解释了为什么这种做法调动了更多大脑区域，并提供了避免书写痉挛的实用技巧。在数字时代对模拟工具的美丽辩护。
所以Reddit认为纯HTML不安全 — Reddit现在要求登录才能查看old.reddit.com，理由是“安全”问题。作者认为这实际上是为了防止爬取和控制对用户生成内容的访问，而非安全。
制作 — Beej（Beej指南的作者）反思了亲手制作事物的乐趣，无论是代码、木工还是艺术。他认为使用AI按你的要求生成事物剥夺了真正创造带来的满足感。

今天的故事提醒我们，技术从来不仅仅是关于新潮的东西。无论是钢笔在纸上书写的宁静满足感、波束发动机的原始力量，还是AI分词器的惊人速度，最好的工具是那些让我们更深入思考我们在构建什么以及为什么构建的工具。明天见。