MemeData

是时候构建一个GPU操作系统了吗？这是第一步。 Time to build a GPU OS? Here is the first step 42 天前

Please provide the content you want me to translate. I need the text to be able to translate it to readable Chinese. Just paste it here, and I will do my best to provide a clear and accurate translation.

美国宇航局局长暗示SpaceX可能被取消月球任务。 NASA chief suggests SpaceX may be booted from moon mission 42 天前

美国国家航空航天局可能因星舰开发延误问题，重新评估与SpaceX价值29亿美元的登月着陆器合同。星舰是为阿耳忒弥斯3号任务（目前计划于2027年中期）将宇航员送上月球的航天器。NASA署长Sean Duffy对SpaceX不断变化的时间表表示不满，并提到与中国争夺率先将人类送回月球的“竞赛”。 Duffy计划重新开放合同竞争，可能允许Blue Origin等其他公司（已被签约执行后续阿耳忒弥斯任务）参与竞标阿耳忒弥斯3号登月任务。NASA已要求SpaceX和Blue Origin提交加速计划，并将向更广泛的行业征求关于增加登月任务频率的信息。此举表明可能推翻2021年依赖星舰的决定。担忧的中心在于星舰开发的复杂性以及对在轨加油的需求，这是一种前所未有的操作。虽然Blue Origin表示已做好准备，但NASA也可能考虑其他竞争者，旨在确保及时登月，并在新的太空竞赛中保持竞争优势。

Magit 非常棒。 Magit Is Amazing 42 天前

这篇帖子反思了作者使用 Git 和 Magit 的经验，起因是最近关于新版本控制系统 Jujutsu 的讨论。在阅读关于 Jujutsu 相对于 Git 的灵活性时，作者意识到他们主要使用 Magit——一个强大的 Emacs Git 界面——并没有深入探索 Git 的命令行界面 (CLI)。他们想知道先学习 Git CLI 是否会促进对底层系统的更好理解，但也承认 Magit 让他们在职业生涯早期就能使用诸如暂存之类的进阶功能，从而优于同事。最终，关于 Jujutsu 的文章并没有引起他们的兴趣，因为他们觉得 Magit 已经提供了一个流畅高效的 Git 工作流程，并且没有动力去切换。

数学家发现了一个用于撤销旋转的隐藏“重置按钮”。 Mathematicians have found a hidden 'reset button' for undoing rotation 42 天前

## 通用的“撤销”旋转数学家们发现了一种令人惊讶的方法，可以完美地逆转几乎任何物体的旋转，从陀螺到机械臂。与直觉相反，撤销复杂的旋转并不需要仔细地反转每个动作。相反，研究人员埃克曼和特拉斯蒂发现了一个“重置按钮”，涉及将初始旋转按一个公因子**缩放**，并重复该过程两次。他们的证明，植根于旋转的数学结构（SO(3)），表明撤销一半的旋转出奇地容易——相当于到达球体上的*任何*点，而不是单个中心。这项突破利用了19世纪和19世纪末的旋转和数论公式。这项发现具有潜在的实际应用。它可以通过校正不需要的自旋旋转来改进核磁共振技术，并能够实现更高效、可重复的机器人运动——甚至可能允许机器人通过重复的“滚动-重置-滚动”运动无限期地沿着路径移动。这项工作凸显了数学探索的持久丰富性及其意想不到的现实意义。

## 旋转的隐藏重置方法被发现数学家们发现旋转具有一项令人惊讶的性质：几乎任何旋转序列都可以通过重复该序列两次并应用一个均匀的缩放因子来“重置”，而不仅仅是通过反转步骤来实现。虽然反转旋转是直观的，但这个新的定理展示了一种返回原始方向的替代方法。该定理证明了这种缩放因子的*存在性*，但没有提供一种容易计算它的方法——这是实际应用的一个关键限制。评论员指出，这项发现具有数学上的趣味性，可能在核磁共振/核磁共振成像等需要撤销旋转的领域有用，并且让人联想到相关的概念，如反扭转机制。然而，也存在一些怀疑，担心公告周围的炒作超过了目前缺乏寻找必要缩放因子的实用公式。该研究的详细内容发表在arXiv上的论文中：[https://arxiv.org/abs/2502.14367](https://arxiv.org/abs/2502.14367)。

亚马逊不使用 Route 53 来解析 amazon.com。 Amazon doesn't use Route 53 for amazon.com 42 天前

## AWS 中断与“自用”困境 2025年10月19-20日，AWS 发生了一次重大中断，源于美国东部（US-EAST-1）地区的 DNS 解析失败，影响了 Snapchat、Disney+ 甚至亚马逊自身等主要平台。有趣的是，尽管亚马逊提供 Route 53 托管 DNS 服务，但它并未将其用于其旗舰域名 amazon.com，而是依赖第三方提供商 Vercara（前身为 UltraDNS）——这一决定是在 Route 53 2010 年推出之前做出的。 “自用”（dogfooding）——在内部使用自己的产品——对于质量保证、可信度和员工理解至关重要，Atlassian 和 Slack 等公司都已证明了这一点。亚马逊选择*不* 使用 Route 53 来支持 amazon.com，这意味着它错失了宝贵的运营经验、事件响应优势以及潜在的客户信心提升。虽然 Vercara 是一家信誉良好的提供商，但在 Route 53 上运行 amazon.com 可以提供对其在极端条件下的性能的直接了解。最近的中断凸显了 DNS 可靠性的重要性，像 DNS Check 提供的积极监控对于检测和解决问题至关重要，以防止其影响用户。 DNS Check 通过使用其自身的服务监控其自身的基础设施，从而体现了自用，确保持续改进和可靠性。

二元检索增强奖励减轻幻觉 Binary Retrieval-Augmented Reward Mitigates Hallucinations 42 天前

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

这个Hacker News讨论围绕着一篇新的研究论文，详细介绍了一种减少大型语言模型中“幻觉”（事实性错误输出）的方法。该方法名为“二元检索增强奖励”，其独特之处在于仅对完全符合事实的回复给予完整奖励，否则为零——避免了与其他缓解技术常见的性能下降。该系统不依赖于一个模型来验证另一个模型。相反，它使用一个更强大的“验证器”模型（示例中为Qwen 32B）将生成的文本与检索到的源文档进行比较。这使验证器专注于*识别冲突*，而不是自己生成答案，并激励模型在不确定时“不予回答”（“我不知道”），优先考虑事实准确性而不是总是给出答案。正在训练的核心模型是Qwen 8B。讨论强调了这种方法在提高开放式生成任务可靠性方面的潜力。

建立你自己的数据库 Build your own database 42 天前

## 从零开始构建键值数据库本指南详细介绍了构建键值数据库的过程，从简单的文件存储方法开始。最初，数据以键值对的形式存储在文本文件中。设置值会将该对追加到文件末尾，而检索则涉及遍历文件以查找匹配的键。更新会就地替换值，删除会移除记录——由于潜在的数据移动，这个过程效率低下。为了改进这一点，采用了一种追加写入的方法，将更新视为新的插入。这避免了数据移动，但引入了重复的键，需要搜索找到*最后*一次出现。删除通过“墓碑”记录来处理。然而，这会导致文件增长和搜索速度变慢。解决方案包括*压缩*——定期通过删除过时数据来缩小文件——以及使用*索引*。一个基本的索引存储键-偏移量对，以加快查找速度，但需要内存并会降低写入速度。更高级的技术，如*排序字符串表* (SST) 和*稀疏索引*，可以进一步优化。最终，这个过程构建了一个利用内存组件来提高速度，并利用磁盘日志来持久化的数据库，形成一个*日志结构化合并树 (LSM 树)*——LevelDB 和 DynamoDB 等数据库的基础。

## 构建你自己的数据库 - 摘要这个Hacker News讨论围绕着一个新的资源（nan.fyi），它指导读者构建自己的数据库，灵感来自《设计数据密集型应用》。这篇文章引发了关于涉及的复杂性和理解数据库基础知识的价值的讨论。几位评论者分享了构建键值数据库的经验，指出复杂度的灵活性——从简单的JSON序列化到完全复制的系统。一个反复出现的主题是练习的教育意义，即使最终“重新发明轮子”也能让人欣赏现有的解决方案，比如SQL。讨论还涉及资源中的设计选择，例如使用*lorem ipsum*作为示例（被认为会分散注意力）以及关于LSM树和DynamoDB扩展的解释的准确性。也有人请求为该网站提供RSS订阅源。最终，这个帖子突出了“第一性原理”学习方法的吸引力以及数据库实现的令人惊讶的挑战性，即使对于经验丰富的开发人员来说也是如此。有些人甚至戏谑地提出了极端的变体，比如只写数据库！

不要接受条款和条件- 游戏 Do not accept terms and conditions 42 天前

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

## 反抗条款与条件：黑客新闻摘要黑客新闻上的一场讨论，源于[termsandconditions.game](https://termsandconditions.game)——一个目前出现错误的网站——围绕着以有趣的方式拒绝条款与条件展开。最初的发帖者分享了一种修改签名框，将其写成“拒绝”作为个人挑战的策略。该帖子迅速演变成一场关于“点击包装”协议可执行性的法律辩论。虽然许多人承认这些协议通常在法庭上得到支持，但有人认为故意规避它们不一定会被视为盗用服务。另一些人指出最近最高法院的一项裁决缩小了《计算机欺诈与滥用法》的范围，暗示仅仅违反使用条款并非联邦犯罪，除非绕过了技术障碍。除了法律问题，用户还分享了他们遇到越来越具有侵略性的条款与条件提示的经历，尤其是在汽车和Apple Health中，并强调了像[tosdr.org](https://tosdr.org)和[tosreview.org/](https://tosreview.org/)这样的工具，这些工具旨在分析这些协议。讨论还涉及更广泛的数据隐私问题以及隐藏在冗长条款中的可疑做法。

程序员的身份危机 The Programmer Identity Crisis 42 天前

## 编程工艺的流失一位程序员反思着他们职业身份的演变，哀叹着从深度工艺和创造性问题解决转向。编程曾经深深植根于麻省理工学院早期计算时代的先锋“黑客精神”——一种动手实验和编写优雅代码的文化，是一项身临其境、智力上令人兴奋的追求。乐趣在于解谜、理解代码库的“理论”，以及从头开始构建事物的满足感。然而，人工智能“氛围编码”的兴起正在威胁着这一点，用向大型语言模型指定任务取代了实际编码。这种趋势受到管理层寻求生产力提升的推动，贬低了技能，并将程序员变成了仅仅审查充满潜在错误的AI生成代码的运算符。作者认为这不是进步，而是倒退。与构建在编程之上的高级语言等进步不同，大型语言模型旨在*取代*编程，牺牲深度理解以换取流畅的输出。这种转变助长了孤立，阻碍了协作，并最终有损编程的核心本质——创造和掌握的智力乐趣。他们担心，未来会将公司利润置于工艺和批判性思维的人性之上。

境外黑客通过SharePoint漏洞入侵美国核武器工厂 Foreign hackers breached a US nuclear weapons plant via SharePoint flaws 42 天前

最近的网络安全事件，例如堪萨斯城发生的事件，表明一个关键漏洞超出了典型的IT系统，扩展到操作技术（OT）——控制公用事业、制造业和环境控制的系统。这凸显了联邦政府在安全方法上的危险脱节。虽然在实施针对IT网络的“零信任”安全方面已经取得进展（专注于验证每个用户和设备），但OT安全框架却滞后。目前，存在着独立的“扇形图”来概述IT和OT零信任实施的控制措施。美国国防部正在制定一个OT特定的图表，最终目标是将两者整合，以实现全面的、全网络范围的零信任安全。这种统一的方法对于保护关键基础设施和解决IT和OT环境之间不同安全标准的更广泛系统性问题至关重要。

每日HackerNews RSS