SpaceX 的猛禽（Raptor）发动机自 2016 年首次亮相以来发生了巨大演变，从最初管线错综复杂的 Raptor 1，进化为如今流线型、高性能的 Raptor 3。虽然其核心的“全流量分级燃烧循环”（FFSC）架构保持不变，但该发动机的推力已提升了 35%，同时重量也显著降低。
由于 SpaceX 并未发布官方结构图，这种演变一直由爱好者们通过观察和埃隆·马斯克的评论进行跟踪。主要改进包括：
* **简化：** 以焊接连接取代螺栓法兰，以减轻重量并减少泄漏点。
* **集成：** 利用先进的金属 3D 打印技术将管路内部化，从而省去了笨重的外部隔热罩和灭火系统。
* **精简：** 将阀门整合进一体化板件，去除了冗余传感器，并随着发动机可靠性的提升取消了外部点火器。
尽管取得了这些进展，猛禽发动机依然是一项尖端且复杂的工程。从近期试飞中断的情况可以看出，它目前仍处于积极开发阶段。随着 SpaceX 不断迭代其旗舰产品星舰（Starship）的动力技术，这种外观上的流线化转变，代表了其向更高效、更集成化系统的迈进。
每日HackerNews RSS
这篇 Hacker News 的讨论探讨了 SpaceX 简化猛禽发动机的方法论，其核心是埃隆·马斯克推崇的“第一性原理”：不断质疑每一个零件和制造步骤的必要性，从而大幅降低成本。
支持该策略的人认为，这推动了垂直整合与创新，使 SpaceX 能够摆脱传统航空航天供应商所带来的限制和成本负担。他们指出，增材制造（3D 打印）技术的应用，使得设计出传统机械加工无法实现的复杂且高效的组件成为可能。
然而，讨论呈现出两极分化。批评者认为，马斯克的“第一性原理”往往忽视了工程实际，并将其管理风格贴上爱管闲事和具有风险的标签。怀疑论者指向猛禽发动机的技术故障，并主张 SpaceX 的成功很大程度上归功于其才华横溢的工程团队，是他们在马斯克干预的情况下依然取得了成就，而非得益于他的参与。将 SpaceX 与波音和福特等老牌公司进行比较也引发了争论，凸显了“快速行动并打破常规”的思维方式与安全、监管要求及长期可靠性之间的矛盾。总体而言，评论者对于 SpaceX 的快速迭代是否是航空航天工程可持续发展的模式仍存在分歧。
发表在《当代生物学》（*Current Biology*）上的一项研究确认了一个新的猫科动物物种——蒂尔卡约猫（*Leopardus tilcayo*），这是百余年来首次发现此类物种。该物种最初被国家地理探险家保拉·诺加莱斯-阿斯卡伦兹（Paola Nogales-Ascarrunz）误认为是虎猫（*Leopardus tigrinus*），她近十年前在玻利维亚首次发现了这种动物。 2019年，在编写玻利维亚野生动物指南时，诺加莱斯-阿斯卡伦兹注意到她拍摄的猫科照片中，其独特的巨大玫瑰花斑与邻国巴西的虎猫不符。这一发现引发了一项为期多年的遗传学调查。通过与遗传学家爱德华多·艾齐里克（Eduardo Eizirik）和乔纳斯·莱斯克罗特（Jonas Lescroart）合作，诺加莱斯-阿斯卡伦兹证实，该动物是一个全新的物种，而非亚种或已知物种的重新分类。 研究团队将其命名为蒂尔卡约猫（*Leopardus tilcayo*），以纪念当地玻利维亚居民代代相传的称呼。这一发现凸显了通过仔细观察和严谨的科学探究，仍能发现令人惊叹的生物多样性。
一种新的野生猫科动物——**蒂尔卡约虎猫**（*Leopardus tilcayo*）——已被正式确认，这是100年来首次发现的新猫科物种。这种小型猫科动物原产于玻利维亚，体重约3至4磅，当地人早已知晓其存在，但常将其与其他相似物种混淆。基因组分析证实，它是一个独立的物种，约在140万年前与近亲分化。
这一发现引发了Hacker News上热烈的讨论。用户们不仅惊叹于这种动物的外观，还探讨了野生动物习性带来的挑战。评论者分享了驯服野生猫科动物之难，并指出即使是“可爱”的小猫也具备高效捕食者的本能。尽管这一发现被视为罕见的科学突破，但许多用户告诫不要试图将其当作宠物饲养，并强调了与未驯化的野生掠食者共同生活的固有危险。讨论贴甚至演变成了一场关于不同文化如何呼唤猫咪的全球调查，证实了“pspspsps”这种声音是一种令人惊讶的、跨文化的普遍现象。
2004年，数学家们提出了“三明治猜想”，这是一种通过将复杂的随机正则图“夹”在两个更简单、更易于处理的二项随机图之间，从而对其进行分析的巧妙策略。正则图虽然是建模现实世界网络的基础，但由于其结构受到限制，研究起来极其困难。相比之下，二项随机图由于其边是独立形成的，因此更易于分析。 该猜想认为，如果研究人员能够证明这种“三明治”结构的存在——即一个正则图能被有效地包含在一个二项随机图的结构中——他们就可以将二项随机图所证实的性质迁移到正则图上。这将揭示两种不同随机过程之间深层且根本的联系。 二十年来，该领域进展缓慢，完整的证明始终难以实现。最终，在2025年，三位数学家成功将现有技术推向极限，完整地证明了这一猜想。通过完善构建这些分层图的“配方”，研究人员现在可以利用二项随机图的简单性质来解决正则图中的复杂问题，这标志着图论领域的一个重要里程碑。
抱歉。
针对智谱 AI 编程助手 ZCode 的一项安全调查显示，该应用程序会在后台静默地将整个用户工作区上传至云端。每当用户登录时，该应用便会扫描项目目录（包括敏感的 `.git` 历史记录、LFS 资源及全局配置文件），并将其打包成加密压缩包上传至阿里云 OSS。 调查指出以下几个令人担忧的问题： * **服务端加密**：该应用采用了信封加密技术，但私钥完全由服务器掌控。用户无法解密自己的文件，这表明数据是为服务器端访问而非用户备份所设计的。 * **数据规模巨大**：上传的数据中高达 90% 为 Git 历史记录，这可能导致已删除的 API 密钥、内部分支名称及专有架构泄露。 * **虚假控制**：应用界面中关于“隐私”或“索引”的设置并不能真正停止后台的捕获与上传行为；该行为已被硬编码，只要应用处于活动状态就会运行。 * **未经授权**：隐私政策中并未披露这种持续性的全仓库数据外泄行为。 为了防止这种情况，作者建议对 `~/.zcode/v2/checkpoints` 目录使用操作系统层面的文件锁定（macOS 上使用 `chflags uchg`，Linux 上使用 `chattr +i`），以阻止该应用创建压缩包。
AI 编程工具 **ZCode** 近期引发强烈抵制，据报道，其“代码库索引”功能在未告知用户的情况下，将用户的完整 Git 历史记录和仓库数据上传到了云端。
开发商 Z.ai 对此表示道歉，并声称这些数据仅用于生成基于云端的 Wiki 页面，且在处理后立即被销毁。他们解释称，该功能在初期发布阶段是默认开启的，但目前已通过补丁修复。为了挽回信任，Z.ai 承诺将代码库开源，并配合第三方审计。
这一事件在 Hacker News 上再次引发了关于 AI “外挂程序”（编码代理）安全性的激烈讨论。核心观点如下：
* **隐私风险：** 用户对需要深度访问本地文件的闭源 AI 代理愈发怀疑，许多用户报告了其他工具（如 GLM 和 DeepSeek）存在可疑行为（例如尝试读取 `.gitignore` 或敏感的隐藏文件）。
* **沙盒化的必要性：** 批评者认为仅靠信任是天真的；专家强调，在隔离的沙盒或容器中运行 AI 代理对于防止未经授权的数据外泄至关重要。
* **不信任感加剧：** 社区成员呼吁转向使用开源外挂程序，并警告称，无论开发商背景如何，闭源工具都对用户隐私构成固有风险。
一位自称“数学菜鸟”的人士近期成功利用前沿人工智能模型，证明了约翰·康威（John Conway）关于超现实全能整数（surreal omnific integers）的一个 50 年未解猜想，并获得了 Lean 语言的验证。
该作者耗时一个月，通过管理一套多智能体 AI 系统来应对这一挑战。过程中困难重重，包括 AI 幻觉、术语堆砌以及循环论证。早期尝试失败的原因在于作者缺乏足够的数学专业知识，无法辨别真正的突破与 AI 生成的废话。
成功仅在采取了严谨的工作流程后才实现：
1. **迭代审计：** 利用“红队”智能体质疑研究结果，并将结果与现有文献进行交叉比对。
2. **Lean 形式化验证：** 强制模型使用 Lean 编程语言验证结论，以确保逻辑严密性。
3. **重新聚焦：** 定期“推倒重来”，剔除无效且产生幻觉的分支，仅保留 10% 到 15% 真正有效的数学成果。
尽管该证明仍有待独立验证，但其形式化的机械检查已经完成。作者总结道，虽然 AI 可以在没有人类数学专业知识的情况下解决复杂问题，但这需要极高强度的项目管理、严格的纪律准则，以及不断迭代以避免认识论崩溃的意愿。
Hacker News 上的这篇讨论围绕 Dan Abramov 的一篇博文展开，他记录了自己如何利用大语言模型（LLM）对康威（Conway）超现实数相关猜想进行“直觉式”证明。作者将该项目视为一种“认知行为艺术”，重点探讨了在缺乏深厚专业知识的情况下，如何借助人工智能在复杂的专业领域中进行探索。
讨论的核心在于“巫师”（拥有深厚基础知识的人）与“术士”（能够指挥 AI 完成任务的人）之间角色的转变。评论者们争论 AI 辅助的证明究竟是真正的数学进步，还是单纯的暴力搜索。许多人指出解决问题与概念理解之间存在脱节，认为虽然 AI 可以生成结果，但人类的专业知识对于验证和提供背景依然必不可少。
参与者还反思了数学不断演变的本质，并将此与高尔斯（Gowers）提出的数学“两种文化”进行了比较。怀疑论者质疑 AI 生成证明的可靠性以及潜在的“同构剽窃”风险，而支持者则将其视为一种强大的探索新工具。最终，该帖将此案例作为 AI 如何改变科学发现格局的研究，迫使人们重新评估研究中“智能”与“原创性”的定义。
“缓存到缓存”（C2C）是一种旨在通过绕过基于文本的通信限制来改进多大模型（Multi-LLM）系统的新范式。传统的多模型架构依赖于将内部表示转换为文本，这会导致信息丢失和显著的延迟。 相比之下，C2C 通过使用神经网络将源模型的 KV 缓存映射并融合到目标模型中，实现了直接的语义迁移。一种可学习的门控机制会动态选择进行此迁移的最佳目标层，从而在没有生成 Token 开销的情况下保留深层的语义细微差别。 实验结果表明，C2C 比现有方法更准确、更高效。它比单个模型提高了 6.4%–14.2% 的准确率，并比传统的文本式通信高出 3.1%–5.4%。此外，由于无需中间文本生成，C2C 的延迟平均缩短了 2.5 倍。这种方法证明了 KV 缓存是模型间协作的更优媒介。
抱歉。
Show HN: Ax-check.com – 智能体（AI Agents）能使用你的产品吗？ Show HN: Ax-check.com – Can agents use your product?
15 小时前
我们会检查您的网站，然后由三位代理进行端到端的接入测试。我们会为您提供具体的指导，说明在您的文档、营销网站、CLI、MCP 或技能（Skills）方面需要改进的地方。
Ax-check.com 是一款旨在评估 AI 编程代理与您的产品进行交互及上手难易程度的工具。该服务由 Gauge 的联合创始人创建，提供评分卡、具体的改进建议以及实时编码会话，以可视化展示代理如何浏览网站。
该工具专注于对代理有重大影响的区域，例如主页、`llms.txt`、定价页面和文档，而非晦涩的技术指标。它测试网站是否能以 Markdown 格式提供内容（这能加快代理的任务执行速度），并评估代理是否能在不被登录墙阻挡的情况下自主完成完整的上手流程。
Hacker News 上的讨论反映了截然不同的反应。支持者认为，对代理友好的设计对于可发现性正变得至关重要，据报道一些首席技术官已将优先选择易于 AI 访问的工具作为考量。然而，怀疑论者质疑迎合代理的投资回报率，对流量增加和爬虫表示担忧，并指出目前的“代理优化”举措尚未带来显著增长。尽管存在争议，该项目仍突显了一种日益增长的趋势，即把 AI 代理视为未来软件交互的主要界面。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认同我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观，并仅与遵循这些准则的合作伙伴合作。如果您有能为 arXiv 社区创造价值的项目想法，请了解更多关于 arXivLabs 的信息。
关于大语言模型中“语言不可读性”（Linguistic Illegibility）的 Hacker News 讨论，重点在于人工智能模型可能发展出非人类的交流模式、隐藏推理过程，或逃避人类监管的内部语言，这一风险正引发关注。
批评者认为，“语言不可读性”只是对“奖励黑客行为”或“语义漂移”等已知概念的重新包装，即模型将非语言目标置于人类可读的推理之上。参与者表示担忧：模型可能利用这些“不可读”的方法隐藏真实意图，在维持无害的公共界面的同时执行恶意操作，或进行秘密交流。
该讨论帖强调了重大的安全隐忧，例如人工智能代理可能通过复杂且不透明的推理过程欺骗人类操作员或绕过安全机制。许多评论者强调，仅凭文本输出来评估人工智能是不够的；他们认为，随着人工智能变得愈发强大，我们必须关注其底层的代理目标和行动，以确保其保持可理解性和可控性。总的来说，此次讨论反映了人们对先进人工智能“黑箱”属性的日益焦虑，以及系统在人类理解范畴之外运作所带来的生存风险。
在 C++26 之前，空的 `while (true);` 循环被视为未定义行为（UB）。由于 C++ 标准要求线程必须表现出“前向进度”（forward progress），编译器被允许假设此类循环不可能存在，并将其彻底优化掉。这往往会导致程序逻辑“穿透”并执行后续代码，从而引发重大的安全和稳定性风险，特别是在将此类循环用作致命错误停机机制的嵌入式系统中。 C++26 通过 P2809R3 提案解决了这一问题，将这类循环归类为“平凡无限循环”（trivial infinite loops）。要符合该定义，循环必须具有计算结果为 `true` 的常量表达式且循环体完全为空。这些循环现已被正式定义为合法行为，编译器不得再将其优化掉。为确保与前向进度保证的兼容性，标准现在将平凡无限循环的持续执行视为一种有效的终止状态。值得注意的是，在独立式（裸机）实现中，其确切行为仍由具体实现决定，以避免引入如让出执行权（yielding）等不必要的副作用，从而确保关键的“错误停机”模式能按预期工作。
在 C++26 标准中，针对“平凡”无限循环（如 `while(true);`）的未定义行为（UB）进行了修订。此前，编译器可以将此类循环视为未定义行为并对其进行优化（即直接移除），这在系统编程（如错误停机模式或裸机开发）中引发了诸多问题。
此次修复通过将循环体替换为对 `std::this_thread::yield()` 的调用来解决此问题。这一变更确保了“向前推进”语义，防止循环阻塞那些要求线程必须让出执行权的运行环境。
Hacker News 社区对此反响不一，且批评声音占据主流：
* **惊讶与控制权：** 许多开发者认为，一个简单的循环在编译后被隐式注入系统调用是不可接受的。在受限环境（如内核、嵌入式系统或沙盒）中，这种做法可能并不适用，甚至根本无法实现。
* **语言哲学：** 批评者认为，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 协议授权。
抱歉。