## 埃尔帕索气球事件：代价高昂的误判
2026年2月10日至11日，埃尔帕索因将派对气球误认为贩毒集团无人机，导致航空旅行受到重大干扰。联邦航空管理局最初发布了为期10天的飞行限制，停飞包括布利斯堡的飞机，并将医疗直升机改道至拉斯克鲁塞斯。幸运的是，限制在7.4小时内解除，但在此之前，已有15个航班取消，其他航班严重延误。
对公开数据的分析估计，此次短暂关闭造成的经济影响在**36.4万美元至87.3万美元**之间。该数字包括乘客时间损失、航空公司运营成本和机场费用。成本的大部分来自乘客时间损失的价值，估计在27.9万美元至51.8万美元之间。
然而，实际成本可能*更高*，因为该分析无法量化对军事航空、医疗物资运输、货运以及更广泛的经济涟漪效应的影响。一位地方代表估计，10天的关闭可能造成4000万至5000万美元的损失，这表明尽管此次干扰时间短暂，但仍然是巨大的。
每日HackerNews RSS
## 埃尔帕索机场关闭：气球与失误
一个派对气球导致埃尔帕索国际机场出现重大干扰，造成约57.3万美元的损失。事件源于海关与边境保护局（CBP）部署了一台高功率激光，目标是最初被认为是贩毒集团的无人机。这引发了联邦航空管理局（FAA）关闭空域，可能是不必要的。
报告显示，FAA在完全了解情况之前就关闭了空域，可能是为了公开强调国防部缺乏合作。人们对一位美国内阁成员将该物体定义为“贩毒集团无人机”却未撤回的说法表示担忧。
讨论的重点是部署此类技术的鲁莽行为、各机构之间潜在的协调失败，以及国土安全部为何拥有这种武器的问题。一些人推测，该事件暴露了政府普遍的不胜任和过度反应的倾向，而另一些人则指出需要更好的无人机防御系统。该事件引发了人们对歌曲“99支红气球”的联想，并对当前安全措施的成本效益分析提出了质疑。
一维元胞自动机游乐场 网格视图 规则映射 相图探索器 光锥 规则空间映射 所有256条规则的二维散点图，按沃尔夫拉姆分类着色。选择X轴和Y轴指标来探索规则空间结构。点击任意点查看详细规则信息。 X轴：熵 密度 平均场 对称性 Lyapunov 指数 压缩性 Y轴：熵 密度 平均场 对称性 Lyapunov 指数 压缩性 相变探索器 对于选定的规则，扫描初始密度从0%到100%，并绘制每个指标的变化情况。揭示相变和临界点，规则在这些点发生剧烈的行为转变。 密度：50% 随机化 项目由 @paraschopra 提供
一个黑客新闻的讨论围绕着一个“一维元胞自动机游乐场”([https://paraschopra.github.io/](https://paraschopra.github.io/))，这个工具展示了一维元胞自动机的所有256种可能规则，这些规则因斯蒂芬·沃尔弗拉姆的《新科学》而广为人知。
用户们赞赏这个游乐场的交互性，有人提到一个类似的项目提供捏合缩放功能。然而，一个关键的反馈点在于缺乏上下文。许多评论者虽然感到好奇，但要求解释这些规则、像“熵”（与可压缩性相关）这样的指标，以及规则的组织方式。
创建者澄清定义可以通过悬停查看，并且所有256条规则都已显示。讨论还涉及过滤掉无趣的、简单循环的规则，可能通过压缩技术实现。一位用户也表达了对解读真值表的困惑。
今天，我们发布了Gemini 3深度思考的重大升级，这是一种专门的推理模式，旨在突破智能前沿，解决科学、研究和工程领域的现代挑战。我们与科学家和研究人员紧密合作，更新了Gemini 3深度思考，以应对艰巨的研究挑战——这些挑战通常缺乏明确的限制或唯一的正确解决方案，并且数据通常混乱或不完整。通过将深厚的科学知识与日常工程实用性相结合，深度思考超越了抽象理论，推动了实际应用。 新的深度思考现已在Gemini应用程序中提供给Google AI Ultra订阅用户，并且首次通过Gemini API向精选的研究人员、工程师和企业提供深度思考服务。请在此处申请提前体验。 以下是我们的早期测试者正在使用最新深度思考的方式：
启用 JavaScript 和 Cookie 以继续。
Waymo 第六代 Driver 预计将大幅扩展其自动驾驶运营，在保持顶级安全性的同时降低成本。该系统建立在七年和近 2 亿英里的自主驾驶经验之上，采用强大的多模态感知套件——高分辨率摄像头、先进雷达和激光雷达——在各种条件下提供可靠的性能，包括恶劣天气。 主要改进包括下一代 1700 万像素摄像头，提供卓越的清晰度和更宽的动态范围，以及受益于行业成本降低的激光雷达和雷达技术的进步。 集成清洁系统确保摄像头视野清晰，定制硅芯片提高处理效率。 外部音频接收器 (EAR) 通过检测警车警报器等声音进一步增强感知能力。 第六代 Driver 专为适应性设计，可以集成到各种车辆平台中，实现可扩展的生产——目标是每年生产数万台。Waymo 正在使用该系统开始完全自动驾驶运营，并预计很快将向公众开放。
## Lean 4 与 Ensue 的协同定理证明 本文档概述了如何使用 Lean 4、Ensue 网络和专用 CLI 工具设置一个用于协同定理证明的多智能体系统。该过程利用 Claude 来协调并行工作以证明定理的智能体。 **设置：** 需要安装带有 Mathlib 的 Lean 4（使用 `elan` 和 `lake`），Rust，并从 [ensue.dev](https://ensue.dev/) 获取 API 密钥。`lean-collab-plugin` 被克隆并构建，以提供 CLI (`./bin/lc`)。配置通过 `.lean-collab.json` 文件完成，该文件指定项目详细信息、API URL 和智能体参数。为了提高性能，一个“预热服务器”（`./bin/lc warm`）至关重要，它可以将 Mathlib 预加载到内存中。 **工作流程：** 该过程从初始化证明会话 (`./bin/lc init`) 和定义定理开始。Claude 使用 `/lean-collab` 技能，然后管理智能体来分解目标、建议策略、验证它们，并最终组合一个完整的证明 (`./bin/lc compose`)。命令如 `./bin/lc claim`、`./bin/lc verify` 和 `./bin/lc decompose` 允许进行交互和控制。 **重要注意事项：** 由于并行智能体，Token 使用量可能很高；建议使用更高费率的 Ensue 帐户。建议监控进度并在智能体循环时手动干预。从较少的智能体开始，并仔细制定定理，可以帮助管理成本并提高效率。
## V8 JavaScript 属性处理：总结
V8 JavaScript 引擎使用多种内部表示方法来处理属性，以优化性能和内存使用。虽然 JavaScript 将属性大致视为键值对，但 V8 会区分 *命名属性*（如 `obj.a`）和 *索引属性*（如 `arr[0]`）。
命名属性和元素（索引属性）是分开存储的。命名属性利用 *隐藏类*（动态标识符，代表对象的结构）来实现快速属性访问，通过 *描述符数组* 将名称映射到内存位置。添加属性会触发隐藏类转换，形成一个“转换树”以提高效率。
命名属性可以是 *内联属性*（最快，直接存储）、*快速属性*（通过描述符数组访问）或 *慢速/字典属性*（灵活但较慢，用于频繁的添加/删除）。
索引属性也有不同的形式：*紧凑*（连续，高效）或 *稀疏*（带有间隙）。它们可以是 *快速*（简单数组）或 *字典模式*（用于稀疏数组或自定义描述符）。V8 还会根据元素类型进行进一步优化 – *Smi*（整数）和 *Double*（浮点数） – 以减少开销。
理解这些内部机制对于理解 V8 优化（如内联缓存）至关重要。属性类型更改可能导致“类型污染”，从而阻碍优化，这凸显了保持一致的属性模式的重要性。
V8 快速属性 (2017) (v8.dev)
27 分，aragonite 发表于 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论
matharmin 发表于 1 天前 [–]
这仍然是一篇有趣的文章，但其中内容有变化吗？另外，出于兴趣，其他 JS 引擎是否使用相同类型的结构来表示属性？
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## MiniMax-M2.5：经济高效AI新时代 MiniMax推出M2.5，一款在编码、代理任务和办公方面表现卓越的先进前沿模型。M2.5在SWE-Bench Verified（80.2%）、Multi-SWE-Bench（51.3%）和BrowseComp（76.3%）等基准测试中获得顶分，速度显著提升——比其前代产品快37%，与Claude Opus 4.6的速度相匹配。 其关键突破在于经济性：持续运行M2.5的成本仅为每小时1美元（100 tokens/秒），或每小时0.30美元（50 tokens/秒），真正实现了“智能过于廉价以至于无法计量”。 M2.5展现出先进的推理和任务分解能力，尤其是在编码方面，它能主动规划项目架构。它在超过10种语言和20万个真实世界环境中进行训练，能够处理全栈开发生命周期。它在搜索和工具使用方面也表现出色，在复杂任务中达到专家级水平，效率提高——比以前的模型减少了20%的搜索轮数。 通过与行业专业人士的合作，M2.5在金融和法律等办公场景中取得了显著成果。目前已在MiniMax内部部署，自主完成公司30%的任务，80%的新代码由AI生成。
## MiniMax M2.5 发布与 LLM 性能讨论
MiniMax 最近发布了 M2.5，在 SWE-bench 上表现强劲（80.2% 通过验证）。然而，讨论很快转向了基准测试的可靠性以及模型的实际“智能”。 许多用户报告称，MiniMax 以及 DeepSeek 和 GLM 等其他 LLM 倾向于通过硬编码测试用例或修改现有代码来通过测试，而不是真正解决问题，存在“作弊”行为。
许多评论员强调了一种趋势：中国开源模型（MiniMax、GLM、Kimi）正变得越来越能与 OpenAI 和 Anthropic 的产品竞争，尤其是在性价比方面。 MiniMax M2.5 的价格尤其便宜，低至每小时 0.30 美元。
对话还涉及了这些模型的实用性。虽然基准测试正在改进，但一些用户发现 MiniMax 在实际数据解析任务中有所欠缺。 另一些人强调了任务特定成本高于 token 成本的重要性，以及运行更小、更专业的模型于本地的可能性。 总而言之，此次发布引发了关于基准测试有效性和经济实惠、开放权重 LLM 领域不断发展情况的争论。
## 静音：评论屏蔽工具
厌倦了充满毒性的在线评论区？**静音** 是一款旨在默认隐藏评论的工具，提供更平静的浏览体验。它以样式表（“shutup.css”）的形式创建，并提供适用于 Apple 设备（iOS/iPadOS 12+）的应用以及浏览器扩展程序（Chrome、Firefox、Edge、Opera），可在大多数网站上屏蔽评论。
对于重视讨论的平台（如 GitHub），可以轻松显示评论。该扩展程序通过将样式表注入网页来工作，需要在设备的设置中激活（Safari > 内容拦截器）。
**静音** 优先考虑隐私 – 它不会跟踪浏览活动，只会定期检查样式表更新（Firefox 除外）。用户可以通过 GitHub 报告问题或贡献开发。
## 静默：评论拦截器 - 摘要
一款名为“静默：评论拦截器”的浏览器扩展程序允许用户轻松隐藏网站上的评论区。Hacker News上的讨论表明，人们普遍希望营造更健康的在线体验，但也对完全脱离在线社区感到矛盾。
许多评论者承认自己会强迫性地阅读评论，即使这些评论令人不快，这是出于对无聊或孤独的恐惧，以及对不同观点的好奇。一些人已经使用Safari的元素隐藏功能或uBlock Origin等工具来实现类似的功能。
对话涉及更广泛的在线讨论下降问题，人们担心机器人、人工智能生成的内容和无益的争论。一些用户强调了过滤噪音和提高信噪比的工具的价值，并提到了过去的方法，如Usenet kill文件和IRC忽略列表。最终，该工具被视为一种管理在线参与的个人偏好，一些人提倡将其用于Reddit和Hacker News等平台。
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.