Waymo 第六代 Driver 预计将大幅扩展其自动驾驶运营，在保持顶级安全性的同时降低成本。该系统建立在七年和近 2 亿英里的自主驾驶经验之上，采用强大的多模态感知套件——高分辨率摄像头、先进雷达和激光雷达——在各种条件下提供可靠的性能，包括恶劣天气。 主要改进包括下一代 1700 万像素摄像头，提供卓越的清晰度和更宽的动态范围，以及受益于行业成本降低的激光雷达和雷达技术的进步。 集成清洁系统确保摄像头视野清晰，定制硅芯片提高处理效率。 外部音频接收器 (EAR) 通过检测警车警报器等声音进一步增强感知能力。 第六代 Driver 专为适应性设计，可以集成到各种车辆平台中，实现可扩展的生产——目标是每年生产数万台。Waymo 正在使用该系统开始完全自动驾驶运营，并预计很快将向公众开放。
每日HackerNews RSS
## 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.
请提供需要翻译的内容。
ai;dr
3 天前
这位作者区分了人工智能在不同创作领域中的价值。他们拥抱像Claude这样的人工智能工具用于编码——将其视为提高文档编写和框架搭建等任务效率的手段——但对人工智能生成的内容感到非常不满意。 核心问题在于意图。作者认为写作是思想和努力的直接表达，而这种表达在委托给大型语言模型后会丧失。他们质疑阅读并非出于真诚表达想法愿望而产生的内容的价值。 有趣的是，作者现在*更喜欢*写作中的不完美，将其视为人类努力的信号。然而，他们承认即使这种信号也在消失，因为人工智能可以模仿缺陷，导致人们感觉质量在下降，并加剧了对“死亡互联网理论”的担忧。最终，他们认为人工智能驱动的代码是进步，但人工智能驱动的内容是倒退。
4周免费试用，之后每月75美元。在任何设备上享受完全的数字访问权限，以及独家见解和深入的行业分析。试用期间随时取消。 全球新闻与分析 专家观点 FT App（Android & iOS） FT Edit：在iOS和网页上访问 FirstFT：当日最重要的新闻 20多封精选新闻简报 使用myFT关注主题并设置提醒 FT视频和播客 每月赠送20篇可分享的文章 Lex：FT旗舰投资专栏 15多封由领先专家撰写的优质新闻简报 FT数字版：我们的数字化印刷版
塔克拉玛干沙漠植树众多，已转变为碳汇。
So many trees planted in Taklamakan Desert that it's turned into a carbon sink
3 天前
## 中国的荒漠绿化项目使塔克拉玛干沙漠变为碳汇
最新研究显示，中国历经数十年的在塔克拉玛干沙漠边缘植树造林努力，正在成功地将该地区转变为碳汇。这意味着植被现在*吸收*的二氧化碳比释放的更多。
1978年启动的“绿色长城”项目旨在通过种植数十亿棵树木来对抗荒漠化。虽然该项目对沙尘暴的影响尚有争议，但对25年卫星数据和地面观测的分析显示出明确的趋势：植被扩张，受益于增加的季节性降雨，正在推动二氧化碳吸收量的增加。
塔克拉玛干沙漠的周边地区过去被认为是“生物空白”，现在正展现出扭转土地退化的潜力。这项发表在《PNAS》上的成功，标志着人类干预有效在极端干旱景观中创造碳汇的第一个证据，并为其他沙漠地区的类似项目提供了一个潜在的模式。中国森林覆盖率已从1949年的10%上升到今天的25%以上。
## 中国塔克拉玛干沙漠的转变：摘要
中国在塔克拉玛干沙漠的大规模植树计划已成功将其变成碳汇，稳定了沙丘，并使森林覆盖率从1949年起增加到该国土地面积的25%以上。这项工作于2024年完成，不仅仅是植树；这是一项战略举措，旨在对抗荒漠化，提高土地价值以用于潜在的农业，并增强中国的经济实力。
讨论强调了全球土地恢复的更广泛影响，引用了中东、英国和美国等例子，说明扭转退化可以带来显著效益。除了碳捕获之外，再造林还会影响降雨模式和保水能力，一些研究表明树木甚至可以播种云朵。
虽然人们对原生沙漠物种的影响以及植树过程本身的碳足迹存在担忧，但许多人认为这是一个净积极成果，尤其与不受控制的沙漠扩张造成的不可逆转的损害相比。该项目也反映了中国在环境技术领域领先并确保资源的雄心，可能作为对西方影响力的反制。
联邦存款保险公司 (FDIC) 保险 SOC 2 (待定) 真实银行账户 FedNow 实时转账 当日 ACH 转账 比特币 闪电网络 USDC USD 准备就绪的 API 256 位加密 美元钱包 多币种 联邦存款保险公司 (FDIC) 保险 SOC 2 (待定) 真实银行账户 FedNow 实时转账 当日 ACH 转账 比特币 闪电网络 USDC USD 准备就绪的 API 256 位加密 美元钱包 多币种