每日HackerNews RSS
一个黑客新闻的讨论围绕着一个名为“水星戴森”的 GitHub 项目，该项目详细规划了拆解水星以获取材料的方案。该项目将水星的外壳不仅视为结构支撑，更视为发射、捕获和运输材料的物流框架——本质上是一个巨大的建造平台。
评论者讨论了这个想法的可行性，有人质疑水星的放射性材料是否可用于发电（但需要详细的勘探）。另有人指出，有一种理论认为戴森球可能被故意设计成一个“不可能”的概念。
这场讨论凸显了雄心勃勃、高度技术性的工程提案的吸引力，一位用户指出写作风格明显是人类创作的，而非人工智能生成。最终，该帖子之所以引起兴趣，是因为其规模之大和对资源利用的富有想象力的做法。
您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：019d5466-4804-7e26-8306-a9d4fd06db41。
展示 HN: TurboQuant 用于向量搜索 – 2-4 位压缩
Show HN: TurboQuant for vector search – 2-4 bit compression
13 小时前
## TurboQuant：快速、数据无关的向量搜索 TurboQuant 是一种新颖的、非官方的 Rust 实现（通过 PyO3 提供 Python 绑定），用于高维向量的近似最近邻搜索。它实现了显著的压缩——低至每坐标 2-4 位——同时保持最小的失真，并且**不需要任何训练数据**。这与需要训练阶段的方法（如 FAISS 产品量化）形成对比。 基准测试表明，TurboQuant 的速度与 FAISS 相当，有时甚至更快，尤其是在 ARM（Apple Silicon）架构上。在 4 位量化下，TurboQuant 始终能比 FAISS 获得更高的召回率。压缩比非常可观（与 FP32 相比，压缩比为 8-16 倍）。 TurboQuant 的工作原理是标准化向量，应用随机旋转以使坐标分布可预测，然后使用 Lloyd-Max 量化。其主要优势在于能够在线添加新向量而无需重建索引。性能提升得益于优化的 SIMD 内核（NEON/AVX2）和高效的评分技术。该项目由一个核心 Rust crate (`turbovec`) 和一个 Python 封装器 (`turbovec-python`) 组成。
## TurboQuant 向量搜索：摘要
Hacker News 上分享了一个 Google TurboQuant 论文的新实现，它提供了显著的压缩，同时最大限度地减少了质量损失。该 Python 实现由 justsomeguy1996 开发，使用 2 位量化可实现高达 16 倍的压缩，同时保持高召回率（在 d=1536 时，2 位为 0.862 recall@1@1，4 位为 0.967）。
重要的是，TurboQuant 是“数据无关的”——压缩码本是数学推导出来的，无需在添加新向量时进行训练或索引重建。
另一位用户 pidtom 强调了他们的相关工作，TurboQuant+ for llama.cpp，它进一步扩展了这些压缩技术，用于本地 LLM，实现了 28-42% 的模型大小减少，并具有相似的优势。这两个项目都是开源的，并且可在 GitHub 上获取。
一架美国F-15E“打击鹰”战斗机在伊朗被击落，这是五周冲突期间美国首次损失飞机。伊朗媒体最初错误声称击落了一架F-35，但专家根据残骸确定该机为驻英国莱肯希斯空军基地的F-15E。 美国发起了一项高风险的搜救行动，部署了C-130“大力神”运输机和HH-60“铺路鹰”直升机，有报道称至少一名机组人员获救。包括伊朗伊斯兰革命卫队分享的疑似弹射座椅图像在内的证据表明，机组人员可能已安全弹射。 尽管伊朗报告称俘获了一名飞行员，美国中央司令部坚称所有飞机均已确认，否认击落了第二架F-35。这起事件增加了美国军事损失的清单，估计损失超过30亿美元，包括无人机和其他飞机，但迄今为止尚未有美国人员被俘。
## 美国F-15E战机在伊朗被击落 - Hacker News 总结
报告证实，一架美国F-15E战斗机在伊朗被击落，德黑兰发布了残骸图像。一名机组人员已获救，另一名仍然失踪，目前正在搜寻中。
Hacker News上的讨论集中在该事件上，并对官方美国说法表示怀疑。一些用户指出，美国中央司令部和美国政府有不诚实的历史，并举例说明，例如篡改飓风路径。另一些人指出，伊朗经常声称击落美国飞机，夸大数量。
Hacker News论坛中还发现了一篇关于该事件的重复帖子。局势正在发展，对信息来源的信任是网络对话中的一个关键主题。
请启用 JavaScript 并禁用任何广告拦截器。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
F-15 在伊朗被击落，正在积极搜寻机组人员 (reuters.com)
12 分，来自 throwawaybert 35 分钟前 | 隐藏 | 过去的 | 收藏 | 4 条评论 帮助
ultropolis 2 分钟前 | 下一个 [–]
我注意到文章说美国摧毁了大约 1/3 的 [导弹等]，但至于第二部分？ 也被摧毁了。我们通常称之为“2/3”，但我对统计和报道了解多少呢？回复
HoldOnAMinute 20 分钟前 | 上一个 [–]
他们为什么要将如此老旧的飞机投入战斗，除非他们想让它被击落？回复
seanmcdirmid 19 分钟前 | 父级 | 下一个 [–]
F-15 适用于许多任务。我想你指的是能力较弱的 F-16 吧？回复
Someone1234 17 分钟前 | 父级 | 上一个 [–]
F-15EX Eagle II 于 2011 年服役，仍在建造中。至于原因：有效载荷能力。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 找回专注：单屏幕实验
作者一直苦于无法保持专注，经常陷入被动“救火”的循环，导致身心俱疲，过度依赖咖啡因。为了寻找解决方案，他们尝试恢复到使用单个笔记本电脑屏幕，回忆起过去因停电等原因被迫使用这种设置的经历。
令人惊讶的是，这次实验——得益于改进的笔记本电脑屏幕技术和软件缩放——取得了成功。移除更大显示器的干扰，鼓励了有目的性的工作，并减少了多任务处理，这与过去用于从倦怠中恢复的技术相似。虽然客观衡量专注度很困难，但作者报告说，专注度有了明显改善。
除了专注力之外，这种改变还降低了功耗，并消除了一个有问题USB-C扩展坞的问题。成功的关键在于正确的人体工学：笔记本电脑支架和外接键盘/鼠标至关重要。最终，作者发现，简单——电源和以太网——就是高效工作所需的一切。游戏仍然是一个例外，受益于更大的显示屏带来的沉浸感。
## 关注与显示器尺寸：黑客新闻讨论
最近一篇黑客新闻帖子引发了关于显示器尺寸对专注力和生产力的影响的争论。原始帖子强调了通过从大显示器切换到单个小显示器所实现的个人专注力提升。
许多评论者同意，关键不在于屏幕*尺寸*，而在于同时打开了多少窗口。一些用户发现，在使用高效的窗口管理（Alt+Tab等）和一次最大化一个窗口时，单个大（32英寸或超宽）显示器就足够了。
另一些人，特别是长期笔记本电脑用户，更喜欢较小屏幕的便携性和专注体验。人们对切换不同屏幕尺寸和滚动方向造成的干扰表示担忧。还有人指出，在非生产性会议期间能够“放松专注”的好处。
最终，共识是最佳设置高度个性化，取决于角色、性格，甚至与年龄相关的视力变化。人体工程学和显示器位置也被强调为关键因素。
启用 JavaScript 和 Cookie 以继续。
## 美国战斗机在伊朗被击落 - Hacker News 摘要
一架美国战斗机在伊朗被击落，引发了对机组人员的搜寻。该事件在Hacker News上引发了关于敌后军事训练（SERE学校和Pararescue团队）以及国际法下被俘飞行员待遇（《日内瓦公约》与“不留情面”冲突的可能性）的讨论。
评论员们争论伊朗是否会遵守战俘协议，或者美国是否应该预计不同的标准，并引用过去的冲突和对囚犯交换的担忧。一些人对美国军事优势的主张表示怀疑，并指出了之前的事件以及潜在的升级风险。
还有关于现代军事技术对抗日益强大的对手的有效性的讨论，以及对持续冲突的战略理由的质疑。 报告还称，一架搜救直升机被击中，并且之前的一起F35事件涉及安全着陆，与此次被击落的情况不同。
这篇通讯批判了风险投资家马克·安德森宣称内省是一种最近的发明，起源于20世纪初的弗洛伊德。作者认为这种说法在历史上是不准确的，引用苏格拉底、斯多葛学派如马库斯·奥勒留、奥古斯丁和莎士比亚等例子，证明了长期以来存在自我反省的传统。 核心论点是，安德森对内省的否定并非无知，而是一种有意的修辞策略。通过贬低内在反思，他避免了面对人类繁荣的复杂性——例如意义、目的和幸福感，这些东西无法用GDP等指标来衡量。 作者认为安德森优先考虑可衡量的进步（“前进，行动”），却没有定义前进的*方向*，或其*重要性*。这种方法，以社交媒体优化的意外后果为例，有风险将产出置于真正的人类需求之上。最终，文章认为，即使在技术先进的情况下，未经反省的生活，也是构建充实存在的一个危险的薄弱基础。
## 黑客新闻讨论：马克·安德森与内省
最近一篇黑客新闻上的帖子引发了关于马克·安德森认为内省被高估的观点争论。许多评论者强烈反对，认为他的立场源于财富和权力让他不必承认缺陷或纠正方向。
核心观点是，安德森就像许多超级富豪一样，身处奉承的回音壁中，缺乏问责制。几位用户指出历史先例——从强调自我认知的古代哲学到对不受约束的权力的批判——来强调内省的价值。另一些人则认为，成功与一定程度的社会病态之间存在关联，这使得人们能够专注于财富积累，而无需担心更广泛的后果。
一个反复出现的主题是，安德森的观点只是一个成功人士认为他们的成功等同于更高智慧的又一个例子。许多人认为他的言论应该持怀疑态度，并且庆祝他的失败是对他过度影响的一种合理回应。讨论还涉及更广泛的社会问题，例如反智主义以及将商业领袖提升为思想领袖地位的危险。
该模型分析使用太阳能、电池储能和备用发电供电的成本，利用丹麦能源署的数据。它基于“model.energy”框架，不包括氢能存储，并针对不同水平的备用依赖性（1-10%）进行优化。
主要假设包括96%的电池往返效率、2030年177欧元/千瓦和2050年66欧元/千瓦的逆变器成本，以及灵活的备用成本结构，允许用户调整投资和燃料支出。该模型通过将优化的太阳能-电池成本与单独计算的备用成本相加来计算总成本，考虑投资、燃料和运营费用。
结果表明，总成本对备用燃料价格以及太阳能/电池覆盖的负载百分比（x）非常敏感。更高的燃料成本和更大的“x”值会增加总体费用。该分析涵盖了9196个有人居住的1°x1°像素，代表了全球99.86%的人口，主要位于赤道45°范围内。与之前的研究不同，该模型固定负载覆盖率并优化容量，而不是固定容量并改变位置。
## 太阳能与电池供电辩论总结
一篇关于用太阳能和电池为世界供电可行性的文章引发了 Hacker News 的讨论。虽然文章侧重于公用事业规模的解决方案，但评论员强调了重大的挑战，尤其是在供暖需求和冬季阳光可用性方面。
多位拥有家用太阳能/电池系统的用户强调了生活方式的调整和局限性，指出仅靠电池不足以持续供暖。隔热和高效热泵被认为是至关重要的补充方案。
辩论延伸到“最后 5-10%”的问题——在可再生能源低迷时可靠地满足能源需求——建议包括化石燃料、长时储能或“电转气”技术。另一些人提倡整合水电和国际电网连接以提高可靠性。
核能也被频繁提及，作为一种潜在的、更可行、更可靠且最终更便宜的替代方案，但人们对反应堆安全性和在冲突中的脆弱性表示担忧。一个关键的结论是，完全可再生能源电网可能需要多样化的能源组合，而不仅仅是太阳能和电池。
## 类型：超越编程 – 摘要
本章探讨类型，将其作用范围从编程语言扩展到数学*类型理论*的基础——一种作为数学基础语言的强大替代方案，可替代集合论和范畴论。 尽管看似简单，类型解决了集合论中固有的悖论，最著名的是罗素悖论，该悖论源于试图定义“不包含自身的集合的集合”。
伯特兰·罗素率先提出的类型理论的解决方案是限制集合（或类型）不包含自身，建立一个层级结构，其中术语属于*一种*类型。 这与集合论最初的简单性形成对比，后者需要限制性公理（如 ZFC 集合论中的公理）来避免悖论。
核心思想是类型定义了函数*可以*操作的内容——类型是具有定义输入和输出的内容。 像布尔值和自然数这样的基本类型被构建出来，更复杂的类型（如列表和用于处理潜在错误的“Maybe”类型）则从这些基础构建而来。 甚至可以使用 Church 编码将此过程形式化，将类型表示为函数。
最终，类型系统可以被视为一种特定类型的范畴，类型作为对象，函数作为态射，突出了类型理论、范畴论和直觉逻辑之间通过 Curry-Howard-Lambek 对应关系建立的深刻联系。 该对应关系将逻辑命题等同于类型，将证明等同于这些类型中的值。
## 范畴论图解 – 类型：Hacker News 讨论
一篇关于“范畴论图解 – 类型”的文章引发了 Hacker News 的讨论，围绕集合论和类型论的基础，特别是与罗素悖论的关系。
文章将类型论作为集合论的一种替代方案，其动机是为了避免像罗素悖论这样的悖论。一些评论者质疑这种方法，指出集合论可以通过限制集合的构造来解决悖论，而不会变得过于复杂。讨论深入探讨了罗素悖论的细微之处，争论其核心问题是矛盾，还是仅仅是一个定义不清的集合。
一个关键点是，类型论并非简单地“集合，但…”——它是一个根本不同的系统。文章本身也强调了这一点，指出类型与集合几乎无关，并旨在独立地定义类型论。评论者澄清说，虽然某些集合论*允许*集合包含自身，但标准的 ZFC 集合论并不允许。核心要点是，范畴论*不需要*集合论，而类型论提供了另一种避免逻辑陷阱的途径。