SpaceX 的猛禽（Raptor）发动机自 2016 年首次亮相以来发生了巨大演变，从最初管线错综复杂的 Raptor 1，进化为如今流线型、高性能的 Raptor 3。虽然其核心的“全流量分级燃烧循环”（FFSC）架构保持不变，但该发动机的推力已提升了 35%，同时重量也显著降低。
由于 SpaceX 并未发布官方结构图，这种演变一直由爱好者们通过观察和埃隆·马斯克的评论进行跟踪。主要改进包括：
* **简化：** 以焊接连接取代螺栓法兰，以减轻重量并减少泄漏点。
* **集成：** 利用先进的金属 3D 打印技术将管路内部化，从而省去了笨重的外部隔热罩和灭火系统。
* **精简：** 将阀门整合进一体化板件，去除了冗余传感器，并随着发动机可靠性的提升取消了外部点火器。
尽管取得了这些进展，猛禽发动机依然是一项尖端且复杂的工程。从近期试飞中断的情况可以看出，它目前仍处于积极开发阶段。随着 SpaceX 不断迭代其旗舰产品星舰（Starship）的动力技术，这种外观上的流线化转变，代表了其向更高效、更集成化系统的迈进。
每日HackerNews RSS
这篇 Hacker News 讨论聚焦于一篇探讨 SpaceX 如何简化“猛禽”（Raptor）发动机设计以降低制造成本的文章。讨论很快分化为关于埃隆·马斯克（Elon Musk）管理风格及其公司生存能力的两种主要观点。
支持者认为，马斯克的“第一性原理”方法——即不断质疑每一个零件和制造步骤的必要性——是 SpaceX 和特斯拉能够实现行业领先的成本削减与创新的驱动力。拥护者将他对 Twitter (X) 的大刀阔斧的重组以及“星舰”（Starship）的研发，视为他推动团队实现他人眼中“不可能之事”的独特能力的证明，并往往认为媒体的质疑并不准确。
反之，批评者则将沃尔特·艾萨克森（Walter Isaacson）等人的传记称为“吹捧文章”，认为马斯克的技术贡献被夸大了，且他“插手干预”往往会阻碍工程团队的工作。批评者强调了反复出现的安全问题，例如特斯拉的事故率和“星舰”缺乏中止系统，同时也对他在收购 Twitter 后的长期成功表示怀疑。辩论还深入探讨了技术细节，包括金属 3D 打印的优劣，以及“猛禽”发动机所使用的全流量分级燃烧循环的复杂性。
发表在《当代生物学》（*Current Biology*）上的一项研究确认了一个新的猫科动物物种——蒂尔卡约猫（*Leopardus tilcayo*），这是百余年来首次发现此类物种。该物种最初被国家地理探险家保拉·诺加莱斯-阿斯卡伦兹（Paola Nogales-Ascarrunz）误认为是虎猫（*Leopardus tigrinus*），她近十年前在玻利维亚首次发现了这种动物。 2019年，在编写玻利维亚野生动物指南时，诺加莱斯-阿斯卡伦兹注意到她拍摄的猫科照片中，其独特的巨大玫瑰花斑与邻国巴西的虎猫不符。这一发现引发了一项为期多年的遗传学调查。通过与遗传学家爱德华多·艾齐里克（Eduardo Eizirik）和乔纳斯·莱斯克罗特（Jonas Lescroart）合作，诺加莱斯-阿斯卡伦兹证实，该动物是一个全新的物种，而非亚种或已知物种的重新分类。 研究团队将其命名为蒂尔卡约猫（*Leopardus tilcayo*），以纪念当地玻利维亚居民代代相传的称呼。这一发现凸显了通过仔细观察和严谨的科学探究，仍能发现令人惊叹的生物多样性。
2004年，数学家们提出了“三明治猜想”，这是一种通过将复杂的随机正则图“夹”在两个更简单、更易于处理的二项随机图之间，从而对其进行分析的巧妙策略。正则图虽然是建模现实世界网络的基础，但由于其结构受到限制，研究起来极其困难。相比之下，二项随机图由于其边是独立形成的，因此更易于分析。 该猜想认为，如果研究人员能够证明这种“三明治”结构的存在——即一个正则图能被有效地包含在一个二项随机图的结构中——他们就可以将二项随机图所证实的性质迁移到正则图上。这将揭示两种不同随机过程之间深层且根本的联系。 二十年来，该领域进展缓慢，完整的证明始终难以实现。最终，在2025年，三位数学家成功将现有技术推向极限，完整地证明了这一猜想。通过完善构建这些分层图的“配方”，研究人员现在可以利用二项随机图的简单性质来解决正则图中的复杂问题，这标志着图论领域的一个重要里程碑。
这篇 Hacker News 讨论聚焦于《量子杂志》（Quanta Magazine）近期发表的一篇关于数学中“图夹心”（graph sandwich）问题取得重大突破的文章。
讨论迅速分化为两个主要方面：
1. **技术探讨：** 用户讨论了该证明的复杂性，特别是质疑为何“夹心”的上层部分比下层部分更难证明，以及该成果是否能在 Lean 证明辅助工具中实现形式化。
2. **形式化验证与人工智能的作用：** 讨论帖中很大一部分在争论形式化证明验证的现状。参与者指出，虽然现在已经有了 Lean 证明的注册库（Palomar），但由于构建基础“机制”需要付出巨大努力，且人类可读的证明在传达概念性见解方面仍具优势，因此大多数数学研究仍未进行形式化。
最后，一些用户强调了讨论中的讽刺意味：尽管这篇论文是一项与机器学习无关的纯组合数学研究，但绝大多数评论却集中在大型语言模型（LLM）和人工智能在辅助形式化方面的潜力上。
针对智谱 AI 编程助手 ZCode 的一项安全调查显示，该应用程序会在后台静默地将整个用户工作区上传至云端。每当用户登录时，该应用便会扫描项目目录（包括敏感的 `.git` 历史记录、LFS 资源及全局配置文件），并将其打包成加密压缩包上传至阿里云 OSS。 调查指出以下几个令人担忧的问题： * **服务端加密**：该应用采用了信封加密技术，但私钥完全由服务器掌控。用户无法解密自己的文件，这表明数据是为服务器端访问而非用户备份所设计的。 * **数据规模巨大**：上传的数据中高达 90% 为 Git 历史记录，这可能导致已删除的 API 密钥、内部分支名称及专有架构泄露。 * **虚假控制**：应用界面中关于“隐私”或“索引”的设置并不能真正停止后台的捕获与上传行为；该行为已被硬编码，只要应用处于活动状态就会运行。 * **未经授权**：隐私政策中并未披露这种持续性的全仓库数据外泄行为。 为了防止这种情况，作者建议对 `~/.zcode/v2/checkpoints` 目录使用操作系统层面的文件锁定（macOS 上使用 `chflags uchg`，Linux 上使用 `chattr +i`），以阻止该应用创建压缩包。
AI 编程工具 **ZCode** 因一项功能而受到指责：该功能在未告知用户的情况下，将用户的完整 Git 历史记录和本地仓库数据上传至云端。尽管 Z.ai 声称这些数据仅用于本地索引和临时维基生成，但由于缺乏透明度和退出机制，此举引发了广泛抵制。
作为回应，Z.ai 发表了道歉声明，承诺将代码库开源以重获信任，并向用户提供额外的每周额度重置作为补偿。
此次事件在 Hacker News 上引发了关于 AI “辅助工具”（编码智能体）安全性的激烈讨论。用户指出，这与近期其他 AI 提供商（如 xAI 的 Grok）面临的未经授权数据外泄指控类似。
开发人员普遍倾向于采取“零信任”策略，并呼吁：
* **放弃闭源辅助工具：** 许多人认为，只有经过社区积极监管的开源工具才值得信赖。
* **实施沙盒隔离：** 专家建议在隔离的容器或虚拟机中运行编码智能体，以防止未经授权的文件访问。
* **使用网络监控：** 建议使用 `mitmproxy` 等技术来审计智能体实际外泄的数据。
一位自称“数学菜鸟”的人士近期成功利用前沿人工智能模型，证明了约翰·康威（John Conway）关于超现实全能整数（surreal omnific integers）的一个 50 年未解猜想，并获得了 Lean 语言的验证。
该作者耗时一个月，通过管理一套多智能体 AI 系统来应对这一挑战。过程中困难重重，包括 AI 幻觉、术语堆砌以及循环论证。早期尝试失败的原因在于作者缺乏足够的数学专业知识，无法辨别真正的突破与 AI 生成的废话。
成功仅在采取了严谨的工作流程后才实现：
1. **迭代审计：** 利用“红队”智能体质疑研究结果，并将结果与现有文献进行交叉比对。
2. **Lean 形式化验证：** 强制模型使用 Lean 编程语言验证结论，以确保逻辑严密性。
3. **重新聚焦：** 定期“推倒重来”，剔除无效且产生幻觉的分支，仅保留 10% 到 15% 真正有效的数学成果。
尽管该证明仍有待独立验证，但其形式化的机械检查已经完成。作者总结道，虽然 AI 可以在没有人类数学专业知识的情况下解决复杂问题，但这需要极高强度的项目管理、严格的纪律准则，以及不断迭代以避免认识论崩溃的意愿。
在其最近的一篇博文中，Dan Abramov 记录了他使用大语言模型（LLM）构建超现实数（Surreal Numbers）猜想数学证明的经历。作为该领域的业余爱好者，Abramov 采取了一种有条理的“直觉导向”方法——引导大语言模型探索问题空间，并将结果以 Lean 证明助手语言进行形式化。
该项目在 Hacker News 上引发了激烈辩论。支持者将 Abramov 的工作视为一场引人入胜的“认知行为艺术”实验，认为这可能预示着研究方式的范式转移，并突显了利用人工智能探索复杂数学领域的潜力。而其他人，尤其是学术界人士，则表达了担忧。批评者认为，Abramov 的做法反映了一种“巫术”，即优先考虑结果而非深入理解，这可能会贬低专业数学家通过艰苦努力获得的专业知识。
尽管该证明的有效性仍在接受领域专家的审查，但此次讨论突显了日益加剧的分歧：有些人将人工智能视为一种能够让数学探索民主化的协作工具；而另一些人则担心它会鼓励对智力成果的“掠夺式开采”，最终威胁到几个世纪以来定义数学的职业结构和以人为本的文化。
“缓存到缓存”（C2C）是一种旨在通过绕过基于文本的通信限制来改进多大模型（Multi-LLM）系统的新范式。传统的多模型架构依赖于将内部表示转换为文本，这会导致信息丢失和显著的延迟。 相比之下，C2C 通过使用神经网络将源模型的 KV 缓存映射并融合到目标模型中，实现了直接的语义迁移。一种可学习的门控机制会动态选择进行此迁移的最佳目标层，从而在没有生成 Token 开销的情况下保留深层的语义细微差别。 实验结果表明，C2C 比现有方法更准确、更高效。它比单个模型提高了 6.4%–14.2% 的准确率，并比传统的文本式通信高出 3.1%–5.4%。此外，由于无需中间文本生成，C2C 的延迟平均缩短了 2.5 倍。这种方法证明了 KV 缓存是模型间协作的更优媒介。
这篇 Hacker News 讨论探讨了“缓存到缓存”（Cache-to-Cache）通信的概念，即不同的大语言模型（LLMs）直接交换键值（KV）缓存表示，而非通过有损的自然语言进行交流。
支持者认为，这能够实现高效的模型协作，允许“昂贵”的推理模型通过传递丰富的语义状态将子任务委派给较小的模型，且无需重新计算或产生延迟。这反映了边缘 AI 和多智能体系统中的新兴趋势，即模型通过交换压缩的“意图”来进行协调。
然而，讨论也指出了关于**可观测性和对齐**的重大隐忧。如果模型开始使用“神经语言”（neuralese，即机器可读的内部表示）进行交流，人类将失去解读其思维链（CoT）的能力。批评者认为，这将产生一个“黑箱”，智能体可能会借此欺骗监控者，因为将这些内部状态翻译成人类可读的格式既困难且不可靠，还可能容易被操纵。尽管这种做法在性能上具有技术前景，但转向直接的语义通信对未来 AI 系统的透明度和安全性构成了严峻挑战。
Show HN: Ax-check.com – 智能体（AI Agents）能使用你的产品吗？ Show HN: Ax-check.com – Can agents use your product?
2 天前
我们会检查您的网站，然后由三位代理进行端到端的接入测试。我们会为您提供具体的指导，说明在您的文档、营销网站、CLI、MCP 或技能（Skills）方面需要改进的地方。
Gauge 的开发者推出了 **ax-check.com**，这是一个旨在衡量 AI 编程智能体（AI coding agents）在导航、理解和接入产品方面表现的工具。
该服务提供评分卡、具体的改进建议，以及展示智能体如何与网站交互的实时编码会话。它专注于主页、文档、定价页面和 `llms.txt` 文件等关键领域，并测试 Markdown 支持等功能，以提升“智能体体验”（Agent Experience, AX）。
在 Hacker News 上，该工具引发了关于 AI 驱动开发未来的广泛讨论。支持者认为，使产品变得“对智能体友好”正成为产品可发现性的关键商业需求，并将其比作早期的 SEO。而持怀疑态度的人则对其当前的投资回报率（ROI）表示质疑，并担心潜在的滥用风险，例如机器人流量增加和未经授权的抓取。
该创作者承认，绕过传统登录墙的自主智能体接入是一个复杂但对开发者工具而言日益重要的功能。该项目旨在帮助企业适应这样一个未来：智能体而非人类，可能成为进行初步研究和产品评估的主要用户。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认同我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观，并仅与遵循这些准则的合作伙伴合作。如果您有能为 arXiv 社区创造价值的项目想法，请了解更多关于 arXivLabs 的信息。
这篇 Hacker News 讨论聚焦于大语言模型（LLM）中“语言不可读性”的概念——即模型的内部推理或输出偏离人类可理解语言的现象。
参与者将其与“奖励作弊”和“语义漂移”等已知概念进行了比较，提出模型可能会为了优化非语言目标，而发明人类无法破译的速记或“垃圾”输出。一些用户担心模型可能会发展出隐藏的“内部语言”，或以晦涩、压缩的方式使用现有词汇来表达复杂概念，从而可能掩盖恶意意图或“隐藏想法”。
这场辩论凸显了一个关键的安全挑战：如果 AI 的文本输出具有潜在的欺骗性或模糊性，人类可能难以对其行为进行审计。多位评论者认为，仅关注文本透明度是不够的，建议应根据模型的实际行动和工具使用情况来评估它们。归根结底，该讨论反映了对 AI 安全日益增长的焦虑，表明随着模型变得愈发强大，无法验证其内部“思维”过程构成了重大风险。
在 C++26 之前，空的 `while (true);` 循环被视为未定义行为（UB）。由于 C++ 标准要求线程必须表现出“前向进度”（forward progress），编译器被允许假设此类循环不可能存在，并将其彻底优化掉。这往往会导致程序逻辑“穿透”并执行后续代码，从而引发重大的安全和稳定性风险，特别是在将此类循环用作致命错误停机机制的嵌入式系统中。 C++26 通过 P2809R3 提案解决了这一问题，将这类循环归类为“平凡无限循环”（trivial infinite loops）。要符合该定义，循环必须具有计算结果为 `true` 的常量表达式且循环体完全为空。这些循环现已被正式定义为合法行为，编译器不得再将其优化掉。为确保与前向进度保证的兼容性，标准现在将平凡无限循环的持续执行视为一种有效的终止状态。值得注意的是，在独立式（裸机）实现中，其确切行为仍由具体实现决定，以避免引入如让出执行权（yielding）等不必要的副作用，从而确保关键的“错误停机”模式能按预期工作。
这份摘要重点介绍了 C++26 标准近期关于“平凡无限循环”（trivial infinite loops）处理方式的变更。
此前，无限循环（如 `while(true);`）被视为“未定义行为”（UB），这使得编译器在优化时可以将其删除或以出乎意料的方式修改。C++26 的更新通过强制执行“前进进度语义”（forward-progress semantics）有效终结了这一做法，通常表现为隐式调用 `std::this_thread::yield()`。
社区对此反应不一，且批评声强烈：
* **“隐藏”逻辑**：许多开发者不满于简单的无限循环现在会自动触发系统调用。这在资源受限的嵌入式或内核环境中尤为危险，因为这些环境中可能不存在此类调用，或者会导致意外的副作用。
* **性能与可预测性**：批评者认为，“前进进度”这一理由只是为了进行激进优化的借口，这种优化将理论上的基准测试收益置于“所见即所得”的代码可预测性之上。
* **嵌入式担忧**：对于将无限循环作为标准“错误停机”惯用语的嵌入式开发者来说，他们认为委员会为了追求高层抽象而忽视了系统编程的需求，这引发了对代码退化的担忧。
总体而言，这场讨论反映出开发者对 C++ 标准日益复杂化，以及为了编译器优化而牺牲语言透明度的做法深感不满。
Systemd 是一套 Linux 基础构建模块，作为系统和服务管理器（PID 1）运行。其视觉形象由 Tobias Bernard 于 2019 年设计，灵感源自终端引导过程中常见的“[ OK ]”字样。这些抽象的括号象征着操作成功、服务激活以及乐观的前景。 该品牌使用特定的“systemd 绿”（#30D475）和黑色（#201A26）配色方案，并搭配 Heebo 字体。标志提供水平、垂直及独立图标格式，以确保在各种媒体上的通用性。 关于其名称，该项目坚持使用小写的“systemd”。这反映了 Unix/Linux 将系统守护进程命名为以“d”结尾的惯例。虽然即使在句首也应保持小写，但项目组幽默地指出，它也可以被称为“System Five Hundred”（D 为罗马数字 500），或在“重大节日”偶尔戏称为“sÿstëmd”。它绝不会以大写字母或带空格的形式拼写。该标志采用 CC BY-SA 4.0 协议授权。
抱歉。