ZhuLink ZhuLink
登录

每日科技新知 NO.20250311：Hacker News 中文解读，科技前沿热点速递

意外富翁 · 11个月前 · News · 43 · 0

Hacker News 中文精选 NO.20250311

一个基于 Hacker News 的中文日报项目，每天自动抓取 Hacker News 热门文章及评论，通过 AI 生成中文解读与总结，传递科技前沿信息。

Hacker News 中文精选

使用 Factorio Learning Environment (FLE) 评估 LLM 的长期规划和资源优化能力

Factorio Learning Environment (FLE) 是一个基于 Factorio 游戏的新型框架，旨在评估大型语言模型 (LLM) 在长期规划、程序合成和资源优化方面的能力。该环境提供开放式且指数级扩展的挑战，从基本的自动化到处理数百万资源单位/秒的复杂工厂。

FLE 提供了两个设置：一是 Lab-play，包含 24 个具有固定资源的结构化任务；二是 Open-play，其无界任务是从头开始在程序生成的地图上建造最大的工厂。通过 Python API，智能体可以通过代码与环境直接交互，并获得丰富的反馈，从而通过迭代探索和改进来完善其策略。智能体程序会产生一个生产分数 (PS)，代表所有生产物品的经济价值，以及反映技术进步的里程碑。

在实验中，研究人员评估了六个前沿语言模型：Claude 3.5-Sonnet、GPT-4o、GPT-4o-Mini、Deepseek-v3、Gemini-2-Flash 和 Llama-3.3-70B-Instruct。在 open-play 中，智能体的目标是“建造尽可能大的工厂”，这测试了智能体设定适当目标、平衡短期生产与长期研究以及在没有外部指导的情况下浏览复杂技术树和游戏地图的能力。通过绘制生产分数 (PS) 与步数的关系图，可以观察到每个模型的不同性能轨迹。更强大的模型不仅获得更高的分数，而且表现出更陡峭的增长曲线，表明更好的长期规划。

在 lab-play 中，智能体获得资源并在限定时间内完成目标。任务是构建 24 个不同目标实体的生产线，这些实体的复杂性不断增加，从最多需要 2 台机器的单个资源矿 (制造“铁矿石”) 到需要协调近 100 台机器的后期实体 (制造“实用科学包”)。目标实体涵盖从早期到后期的物品，要求智能体使用 Factorio 中存在的各种机器 (钻头、熔炉、组装机、炼油厂、化工厂)。

实验结果表明，模型仍然缺乏强大的空间推理能力。在 lab-play 中，LLM 表现出有希望的短期技能，但无法在受限环境中有效运作，反映了错误分析的局限性。在 open-play 中，虽然 LLM 发现了可以提高增长的自动化策略 (例如电动钻井)，但它们未能实现复杂的自动化 (例如电子电路制造)。

评论区有观点认为，FLE 为评估 LLM 提供了新的思路，尤其是在长期规划和资源管理方面。也有人指出，Factorio 的复杂性可能对 LLM 提出了过高的要求，未来的研究可以考虑简化环境或提供更多的指导。此外，还有人对 LLM 在游戏中的应用前景表示乐观，认为它们有可能在游戏开发和智能体设计方面发挥重要作用。

芝加哥大学 135 年来在海德公园及周边地区的扩张地图

本文通过可视化地图，展示了芝加哥大学自 1890 年成立以来在海德公园及其周边地区的扩张历程，揭示了大学发展与社区关系之间的复杂性。该项目利用大学档案、地图、学术文献和新闻报道等多方数据，详细记录了芝加哥大学在土地 acquisition 上的策略和实践。

文章指出，最初芝加哥大学旨在营造一个远离城市喧嚣的学术环境，但随着时间的推移，大学逐渐扩展到 38 街至 65 街，从 I-90 高速公路到密歇根湖的广大区域，拥有或投资了超过 250 处房产。这种扩张并非一帆风顺，而是伴随着与周边社区在土地使用、优先事项和种族关系上的冲突。芝加哥大学是首个发起城市更新运动的高等教育机构，其扩张历史也反映了价值观和优先事项的转变。文章还通过时间轴展示了大学在不同时期的重要建设和土地 acquisition，例如早期的标志性建筑 Reynolds Club 和 Harper Memorial Library，以及后来的住宅区扩建计划。

评论区讨论主要集中在大学扩张对周边社区的影响，以及大学在城市发展中扮演的角色。一些评论认为，大学的扩张在一定程度上促进了当地经济发展，提升了社区的教育水平。但也有评论指出，大学的扩张可能导致房价上涨，迫使低收入居民搬离，加剧了社区的社会经济不平等。此外，还有评论关注大学在历史上的种族隔离政策中所扮演的角色，以及这些政策对社区造成的长期影响。总的来说，评论区呈现了对芝加哥大学扩张的复杂和多样的观点，既有肯定也有批评，反映了大学与社区之间长期存在的紧张关系。

TypeScript 性能提升 10 倍：原生移植计划

微软宣布将 TypeScript 编译器和工具原生移植，目标是将构建速度提升 10 倍，显著减少内存使用，并大幅提升编辑器启动速度。该项目已在 GitHub 上开源，预计在 2025 年中期推出命令行类型检查的预览版，年底前提供完整的项目构建和语言服务。

文章详细介绍了原生移植带来的性能提升。例如，在 VS Code 代码库上运行 tsc，速度从 77.8 秒降至 7.5 秒，提升了 10.4 倍。Playwright、TypeORM 等流行项目也获得了类似的性能提升。除了构建速度，编辑器加载速度也得到显著改善，VS Code 项目的加载时间从 9.6 秒降至 1.2 秒，提升了 8 倍。内存使用量也减少了约一半。

为了保证平滑过渡，TypeScript 将继续维护现有的 JavaScript 代码库，并发布 TypeScript 6.x 系列。原生移植版本将作为 TypeScript 7.0 发布。微软计划保持两个版本尽可能同步，方便开发者根据需求选择升级或回退。

评论区对这一消息普遍表示欢迎，认为这将极大地改善开发体验。有人担心原生移植可能会导致一些权衡，例如可移植性或调试难度。但总体而言，社区对 TypeScript 团队关注开发者体验并积极改进性能表示赞赏。微软团队成员也积极参与讨论，解答疑问，并邀请大家参与 Discord AMA。

紧凑表示类型格

本文介绍了 Cinder JIT 编译器如何使用类型格（type lattices）来紧凑地表示类型，并通过位集（bitsets）和特化（specialization）等技术来优化类型操作，从而提升编译器性能。文章由浅入深，从简单的枚举类型开始，逐步引入位集和半格的概念，最终介绍了 Cinder 中使用的特化技术。

文章首先将类型视为对象的集合，并使用枚举来表示一些内置类型。为了更精确地表示类型信息，文章引入了位集的概念，通过为每个类型分配一个位，可以方便地表示类型的并集。例如，ListOrString 类型可以通过将 List 和 String 对应的位进行或运算得到。此外，文章还介绍了半格的概念，它是一种具有偏序关系的集合，可以用来表示类型之间的子类型关系。文章还展示了如何使用位集来表示半格中的 bottom 元素（空集）。

为了进一步优化类型信息，Cinder 引入了特化的概念，它用于跟踪 SSA 值的具体对象。例如，如果 a = 5，那么它的类型是 Int，而它的特化是 5。特化 lattice 比类型 lattice 简单得多，它包含 SpecTop、SpecInt 和 SpecBottom 三种状态，分别表示没有特化信息、特化为整数值和空特化。

评论区中，有开发者对文章中类型格的表示方法表示赞赏，认为这种方法可以有效地压缩类型信息，并加速类型操作。也有开发者提出了疑问，例如如何处理泛型类型和复杂类型。还有开发者分享了自己在编译器中使用类型格的经验，并探讨了类型格在不同编程语言中的应用。总的来说，评论区对文章的内容持积极态度，并引发了关于类型表示和编译器优化的深入讨论。

暗物质湮灭或可解释银河系中心区域的异常电离现象

一篇新的研究论文提出，亚 GeV 暗物质的湮灭可能是造成银河系中心分子区域 (CMZ) 观测到的异常电离率的原因。该研究表明，这种解释与现有的宇宙学约束相符，并且不会产生可检测到的无线电、X 射线或伽马射线辐射。

该论文指出，在银河系中心区域观测到异常高的电离率，包括甲醇的产生、特定离子的存在以及其他电离分子的观测。先前的研究表明，宇宙射线不足以解释这种高电离率，这暗示着银河系中心可能存在某种高度集中的能量来源。因此，该研究探讨了亚 GeV 暗物质湮灭的可能性，认为其产生的粒子对可以解释观测到的电离率。研究人员考虑了不同的暗物质密度分布，包括 Navarro-Frenk-White (NFW) 分布以及具有更大斜率的分布。

研究结果表明，对于质量低于 的暗物质，其湮灭可以解释观测到的电离率，同时避免与其他已知约束产生冲突。由于低能量的暗物质产物可以将其所有能量沉积在 CMZ 内，因此这种解释与宇宙微波背景 (CMB) 的约束相一致。此外，研究还表明，这种暗物质湮灭不会产生可检测到的无线电、X 射线或伽马射线辐射。

值得注意的是，银河系隆起发出的 511 keV 谱线也一直是一个谜。亚 GeV 暗物质也被认为是对此的一种可能的解释。该论文提出，CMZ 中的异常电离率和 511 keV 谱线的来源可能存在关联，并具有共同的起源。

评论区有观点认为，这个研究为理解暗物质的性质和它与普通物质的相互作用提供了一个新的视角。也有人指出，虽然暗物质湮灭可以解释 CMZ 中的异常电离率，但这仍然需要更多的观测证据来支持。此外，还有人对该研究中使用的暗物质密度分布模型提出了质疑，认为不同的模型可能会导致不同的结果。总的来说，这项研究引发了人们对暗物质研究的进一步思考，并鼓励科学家们继续探索暗物质的奥秘。

诗人董李访谈：诗歌、语言与身份的探索

本文介绍了对诗人董李的访谈，重点探讨了他的诗歌创作，特别是其作品《橘子树》中对家庭、历史和语言的独特运用。访谈深入挖掘了董李对诗歌“行”的理解，以及他对诗歌与散文之间界限的看法。

董李在访谈中分享了他对诗歌“行”的深刻见解，他认为每一“行”都包含着丰富的意义，如同思想的颤动或情感的闪烁。他将诗歌的“行”比作树木，而诗歌本身则是一片森林，大树提供荫蔽，小树则确保森林的健康和更新。在《橘子树》这首诗中，董李通过在每一行结尾使用句号，将每一行都变成一个独立的句子，以此来测试句子的抒情极限。他还在行与行之间留出空白，让想象力得以扩展，并让“行”的爆发力与朴实的句子相互碰撞。

董李还谈到了他对诗歌和散文之间界限的看法，他认为不应过分强调二者之间的区分。他希望诗歌的“行”能够无限延伸，而散文的“行”则能够在微小之处闪耀。此外，董李还在诗歌中融入了书法和排版实验，探索了语言和形式的更多可能性。他认为，诗歌应该打破语言的限制，直面无声的强度。

评论区中，读者对董李的诗歌创作和访谈内容表达了浓厚的兴趣。一些读者赞赏董李对语言的创新运用，认为他的诗歌充满了力量和深度。另一些读者则对董李的跨文化背景和身份认同产生了共鸣，认为他的作品反映了在全球化背景下个体身份的复杂性。还有读者对诗歌的“行”这一概念进行了深入探讨，认为“行”是诗歌节奏和意义的重要组成部分。总的来说，评论区对董李的访谈给予了积极评价，认为它为读者提供了一个了解当代诗歌创作的独特视角。

代码可读性：复杂性的视觉模式

本文探讨了影响代码可读性的视觉模式，旨在帮助开发者编写更易于理解和维护的代码。文章指出，尽管代码质量很高，但某些代码库会让人感到精神疲惫，难以长时间工作。

文章作者发现，代码可读性问题并非源于循环复杂度等传统指标，而是与代码的视觉呈现方式密切相关。作者通过研究学术论文、行业实践和个人经验，总结出8种影响代码可读性的视觉模式。这些模式包括：代码块的形状、逻辑结构的清晰度、变量的数量和作用域、运算符的使用、以及代码的整体布局。

文章还提到了Halstead复杂度指标，该指标通过统计代码中的运算符和操作数来评估代码的复杂性。作者通过JavaScript示例展示了如何使用Halstead指标来比较不同代码片段的可读性。此外，作者还提到了“认知复杂度”的概念，该概念强调代码对人脑的理解难度。

总的来说，文章强调了代码可读性的重要性，并提供了一些实用的技巧来改善代码的视觉呈现，从而提高代码的可读性和可维护性。

评论区中，有开发者认为Halstead复杂度指标过于简单，无法准确反映代码的真实复杂性。另一些开发者则认为，代码可读性是一个主观概念，受到个人经验和偏好的影响。还有开发者分享了他们自己改善代码可读性的技巧，例如使用一致的命名规范、编写简洁的函数、以及添加清晰的注释。

一些评论指出，过度追求代码简洁性可能会降低可读性，因为过于简洁的代码可能难以理解。因此，在编写代码时，需要在简洁性和可读性之间找到平衡。此外，还有评论强调了团队协作的重要性，认为团队成员应该共同制定代码规范，以确保代码库的一致性和可读性。

曼彻斯特“婴儿”：现代计算机的先驱

本文探讨了 1948 年在英国曼彻斯特诞生的“曼彻斯特婴儿”（Manchester Baby），一台被认为是首个真正意义上的现代计算机。文章深入研究了它的历史背景、技术特点以及它在计算机发展史上的地位。

文章指出，在冯·诺伊曼的 EDVAC 报告发布后，其副本传到了一些参与过 Colossus 密码破解计算机开发的工程师手中。其中，Max Newman 致力于开发一种结合了图灵的数学概念和冯·诺伊曼的存储程序概念的计算机。他和他的团队，包括 F. C. Williams 和 Tom Kilburn，共同建造了“曼彻斯特婴儿”。该机器的核心是 Williams-Kilburn 电子管，一种被改造为随机存取存储器的阴极射线管。1948 年 6 月 21 日，“曼彻斯特婴儿”运行了它的第一个程序，该程序旨在通过尝试从 218 - 1 向下寻找每个整数来找到 218 (262,144) 的最高真因子。

尽管“曼彻斯特婴儿”通常被认为是第一台“电子存储程序计算机”，但这一说法存在争议。ENIAC 于 1945 年运行了它的第一个程序，但最初需要通过重新连接电路来进行重新编程。后来，ENIAC 进行了改造，采用了冯·诺伊曼的“第一份草案”中提出的原则。一些历史学家认为，ENIAC 的改造实际上比“曼彻斯特婴儿”的运行时间更早。ENIAC 的程序存储在一组旋转拨盘中，被称为“函数表”。

关于哪台机器应该被认为是第一台“电子存储程序计算机”，存在着不同的观点。有人认为，ENIAC 的旋转拨盘相当于现代的只读存储器 (ROM)。如果现代微处理器（尤其是用于嵌入式控制的小型微处理器）的程序存储在 ROM 中，那么改造后的 ENIAC 也应该被认为是现代风格的计算机。

文章作者认为，“曼彻斯特婴儿”仍然具有优势。ENIAC 中的机械旋转拨盘不是电子的，而“曼彻斯特婴儿”是第一台“全电子”存储程序计算机。此外，ENIAC 中程序存储的形式（十进制）与 ENIAC 操作的数据（二进制）完全不同。

总而言之，文章认为“曼彻斯特婴儿”在计算机发展史上具有重要的地位，因为它是一台全电子的、程序以二进制编码的计算机，其架构在今天看来仍然非常现代。

评论区可能会出现关于 ENIAC 和“曼彻斯特婴儿”谁才是第一台电子存储程序计算机的争论，以及对“存储程序”定义的讨论。一些人可能会强调 ENIAC 在时间上的领先，而另一些人则会强调“曼彻斯特婴儿”在技术上的创新和对后世的影响。

Seven39：限时开放的社交媒体应用

Seven39 是一款独特的社交媒体应用，每天仅在美东时间晚上 7:39 至 10:39 开放三个小时。 它的设计理念是鼓励用户在同一时间上线互动，避免无休止的滚动浏览和错失恐惧症（FOMO），创造更具实时性和社群感的体验。 开发者选择这个时间段和应用名称的原因很简单：域名可用。

该应用试图通过限制开放时间来解决传统社交媒体的一些问题，例如信息过载和缺乏真实互动。 这种限时开放的模式旨在营造一种“大家都在一起”的氛围，让用户更专注于当下的交流。 开发者希望借此创建一个更健康、更有意义的社交环境。

评论区对 Seven39 的想法褒贬不一。 一些用户认为这是一个很酷的创新，可以创造新的互动方式。 有人建议可以设置多个开放时段，以适应不同时区用户的需求，或者每天轮换开放时间，以增加全球用户的参与度。 也有人建议限制每个用户的每日发帖数量或使用时长，进一步减少信息过载。

另一方面，也有人担心这种限时开放的模式可能会导致缺乏多元化和全球视角，因为只有特定时区的人才能方便地参与。 一些人认为，这可能更适合作为朋友群体的聊天应用，而不是公共社交媒体平台。 还有人将其与早期的 BBS 时代进行比较，当时用户会自觉地缩短在线时间，以避免占用线路。

总的来说，Seven39 的概念引发了关于社交媒体发展方向的有趣讨论。 限制开放时间是否能有效改善社交体验，还有待市场验证。 但这种尝试无疑为我们提供了一个反思社交媒体本质的机会，并探索更多可能性。

Sidekick：macOS 本地优先的 LLM 应用

Sidekick 是一款本地优先的 macOS 应用，它允许用户与本地 LLM 聊天，无需安装任何其他软件即可响应 Mac 上文件、文件夹和网站的信息，由 llama.cpp 提供支持。这款应用旨在保护用户隐私，所有对话都在离线状态下进行，数据本地保存。

Sidekick 的核心功能在于其资源使用方式，它通过“专家”的概念来组织和访问信息。用户可以为特定领域创建专家，例如“英语文学”、“数学”等，并将相关的文件、文件夹和网站添加到这些专家中。激活某个专家后，Sidekick 就可以访问该专家下的所有资源，从而针对特定领域的问题给出更准确的答案。Sidekick 使用 RAG（检索增强生成）技术，理论上每个专家可以包含无限的资源，Sidekick 仍然能够找到与用户请求相关的信息。这与 ChatGPT 等服务形成鲜明对比，后者只能摄取有限的文本量。

Sidekick 还支持多种推理模型，包括阿里巴巴的 QwQ-32B 和 DeepSeek 的 DeepSeek-R1。此外，它还内置了代码解释器，可以提高模型在数学和逻辑方面的能力。通过让模型编写代码、执行代码并呈现结果，可以显著提高答案的可信度。Sidekick 甚至可以生成图像，用户只需输入文本提示，内置的 CoreML 模型会自动识别图像生成提示并生成图像。

Sidekick 还提供了一些实用的工具，例如 AI 内容检测器、图表生成器和幻灯片工作室。内容检测器可以评估文本中 AI 生成内容的比例，并提供修改建议。图表生成器可以根据提示快速生成复杂的关系图。幻灯片工作室则可以帮助用户快速创建演示文稿。

评论区里，有人对 Sidekick 的本地优先特性表示赞赏，认为这在数据隐私方面具有重要意义。也有人关心 Sidekick 的性能和资源占用情况，特别是在处理大量文件时。还有人询问 Sidekick 是否支持中文，以及是否可以与其他应用集成。总体而言，大家对 Sidekick 的潜力持乐观态度，认为它是一款有用的工具，可以提高工作效率和学习效率。

GitHub - LearningCircuit/local-deep-research：本地深度研究工具

这个 GitHub 仓库提供了一个本地深度研究工具，旨在帮助用户更有效地搜索和利用本地资源，包括 ArXiv、维基百科等。该工具的核心目标是简化研究流程，提高信息检索的效率。

该项目名为 "local-deep-research"，它允许用户在本地环境中进行深度研究，整合多种信息来源。通过集成 ArXiv 和维基百科等资源，该工具为研究人员提供了一个统一的平台，方便他们查找和分析相关文献和知识。该工具使用户能够更方便地访问和管理研究资料，从而加速研究进程。它还可能包含一些自动化功能，例如关键词提取、文献摘要生成等，以进一步提高研究效率。

这个工具的开源性质意味着用户可以根据自己的需求进行定制和扩展。用户可以添加新的数据源、修改搜索算法、或者开发新的功能模块。这种灵活性使得该工具能够适应各种不同的研究场景和需求。此外，开源社区的参与也有助于不断改进和完善该工具，使其更加强大和易用。

目前，该项目在 GitHub 上获得了 285 个 star 和 22 个 fork，表明它在研究人员和开发者中具有一定的受欢迎程度。

关于评论区的讨论，由于我没有评论数据，我无法提供评论分析。一般来说，类似工具的讨论可能会集中在以下几个方面：

  • 易用性： 用户可能会讨论该工具的安装、配置和使用是否方便。
  • 性能： 用户可能会关注该工具的搜索速度、资源占用等方面。
  • 功能： 用户可能会提出对新功能的需求，或者讨论现有功能的改进。
  • 数据源： 用户可能会建议添加更多的数据源，或者讨论现有数据源的质量。
  • 定制性： 用户可能会分享自己定制和扩展该工具的经验。

总的来说，"local-deep-research" 是一个有潜力的工具，可以帮助研究人员更有效地进行本地深度研究。通过开源社区的共同努力，该工具有望不断发展和完善，成为研究人员的得力助手。

美国岛屿保留伊丽莎白时代的英语

BBC 的一篇文章介绍了美国北卡罗来纳州 Outer Banks 的 Ocracoke 岛，该岛屿以保留了伊丽莎白时代的英语口音而闻名。文章探讨了这种独特口音的起源，以及它如何在该岛屿与世隔绝的环境中得以保存。Ocracoke 岛民的口音，被称为 "Hoi Toider"，带有浓厚的 R 音，并且使用一些古老的词汇和语法结构，让人联想到莎士比亚时代的英语。

文章还指出，随着岛屿与外界联系的日益紧密，这种独特的口音正面临消失的风险。越来越多的年轻人离开岛屿去接受教育和工作，他们倾向于使用更标准的美国英语。为了保护这种文化遗产，当地社区正在努力通过教育和文化活动来推广和传承这种独特的口音。

评论区里，一位用户分享了一个有趣的经历，讲述了他第一次与 Ocracoke 岛民交流时，因为口音太重而难以理解的趣事。另一位用户提到了 Smith Island，也存在类似的伊丽莎白时代英语口音，并分享了一个相关的 YouTube 视频。这些评论都表明，在美国的一些偏远地区，仍然保留着一些独特的语言文化现象，值得我们关注和保护。

在地下室弯曲时空：一个引人入胜的重力实验

本文介绍了一个在家就能进行的“地下室科学”实验，旨在展示万有引力，即使使用最简陋的材料，也能感受到物体之间的引力。这个实验通过展示宇宙中每个物体如何相互吸引，来演示爱因斯坦的广义相对论，即物质和能量如何弯曲时空。

文章首先强调了引力的普遍性，并解释了为什么牛顿在17世纪才发现它，原因在于引力非常微弱。作者用一个磁铁吸起一个保龄球的例子，生动地说明了电磁力与引力之间的巨大差异。如果引力不那么弱，我们身边的物体都会坍缩成球体。

文章还提供了一个JavaScript计算器，可以计算任意两个物体之间的引力。即使是很小的力，也能通过一些巧妙的方法来测量。作者提出，如果在深空中进行实验，消除地球引力的影响，就能更容易地观察到物体之间的微弱引力。

为了在地球上模拟这种情况，我们需要找到一种方法来抵消地球的引力。文章接下来会介绍如何利用扭力天平来实现这一点，从而在地下室里体验弯曲时空的感觉。这个实验不需要高科技设备，只需要一些常见的材料，就能让人们亲身体验万有引力的奥秘。

评论区里，有人对这个实验的趣味性表示赞赏，认为它能够激发人们对科学的兴趣。也有人对实验的精度表示怀疑，认为在地下室里很难消除各种干扰因素。还有人提出了改进实验的建议，例如使用更灵敏的测量仪器，或者在真空环境中进行实验。总的来说，评论区的讨论非常活跃，大家都在积极思考如何更好地理解和体验引力。

“亲吻月亮”理论或能解释地球卫星为何如此之大

本文探讨了地球和冥王星的大卫星形成原因，提出了一种“亲吻与捕获”的理论，解释了冥王星的卫星卡戎是如何形成的，并对比了地球月球形成的“猛烈撞击”理论。

文章指出，地球的卫星相对于地球的比例，以及冥王星的卫星卡戎相对于冥王星的比例，在太阳系中都是非常特殊的。大多数行星的卫星都比行星小得多，通常是由行星引力捕获的小行星。而地球和冥王星的卫星，其大小与行星相近，甚至可以被视为“双行星系统”。

科学家们提出了“亲吻与捕获”的理论来解释冥王星和卡戎的形成。该理论认为，冥王星和卡戎最初是柯伊伯带中的独立天体，它们以较低的速度相互靠近，发生接触并粘在一起，形成一个哑铃状的双瓣结构。随着时间的推移，它们再次分离，但仍然在相互的引力作用下相互环绕。这种相对温和的“亲吻与捕获”过程使得两个天体都保留了它们原始的大小。

地球的卫星被认为是通过类似的过程形成的，但更像是一次“猛烈的撞击”。数十亿年前，一个名为忒伊亚的火星大小的天体猛烈撞击地球，摧毁了忒伊亚的大部分，并从地球表面剥离了一部分。这些碎片喷射到太空中，形成了一个围绕地球的临时环，最终合并成我们今天所知的月球。

文章还提到了新视野号探测器拍摄到的柯伊伯带天体Arrokoth，它具有雪人形状，由两个大的瓣组成，似乎在“亲吻”过程中粘在一起。罗塞塔号探测器在2014年遇到的67P/Churyumov-Gerasimenko彗星也显示出两个瓣，它们之间的颈部可能是软碰撞的结果。

评论区有用户指出，文章作者是加拿大科学记者Bob MacDonald，他主持广播节目Quirks and Quarks。另有用户指出，文章中描述的是冥王星的卫星是通过“亲吻”捕获的，而地球的卫星是通过“猛烈撞击”形成的。还有用户提出疑问，像冥王星和卡戎这样大小的天体，分离所需的能量从何而来。此外，有评论提到，卫星的大小是相对的，木卫三（Ganymede）比水星还大。

拉姆里岛大屠杀：鳄鱼的攻击

这篇文章讲述了二战期间发生在缅甸拉姆里岛上，日军士兵在撤退时遭遇大量鳄鱼袭击的事件，被称为“拉姆里岛大屠杀”。文章主要描述了事件的背景、过程以及一些争议点。

1945年，盟军在拉姆里岛与日军激战，日军战败后试图穿过红树林沼泽撤退。 然而，这片沼泽是咸水鳄的栖息地。据称，数千名日军士兵在试图穿越沼泽时遭到鳄鱼袭击，只有少数人幸存。

文章引用了一些目击者的描述，以及一些历史资料，试图还原当时的场景。 然而，关于死亡人数和鳄鱼袭击的规模，存在着很大的争议。一些人认为，鳄鱼袭击造成的伤亡被夸大了，日军士兵更多的是死于饥饿、疾病和溺水。

文章还探讨了“拉姆里岛大屠杀”在历史上的地位，以及它对人们的心理影响。 尽管事件的真实性存在争议，但它已经成为了一个关于战争恐怖和自然力量的传奇故事。

关于这件事的真实性，评论区里也存在着各种不同的声音。 一些人认为，这个故事被夸大了，很可能只是一个传说。 他们指出，缺乏确凿的证据来支持大规模鳄鱼袭击的说法，而且当时的红树林环境可能并不适合大量鳄鱼生存。

另一些人则认为，即使鳄鱼袭击的规模可能被夸大，但日军士兵在沼泽中遭遇鳄鱼袭击是很有可能发生的。 他们认为，在那种恶劣的环境下，即使是少量的鳄鱼也可能对士兵造成很大的威胁。 还有人指出，战争时期的信息往往是不准确的，很难完全还原历史的真相。

总的来说，评论区的讨论主要集中在事件的真实性和可信度上。 尽管存在争议，但“拉姆里岛大屠杀”仍然是一个引人入胜的故事，它提醒我们战争的残酷和自然力量的强大。

使用 Clojure 实现 Bel 语言：一次充满挑战的编程之旅

本文作者分享了使用 Clojure 语言实现 Paul Graham 的 Bel 语言的经历，Bel 是一种极简主义的 Lisp 方言，作者在实现过程中遇到了诸多挑战，包括解析器、Continuation、栈溢出以及性能优化等问题。最终，作者成功地用 Clojure 实现了一个基本可用的 Bel 解释器，并分享了他在这个过程中的经验和感悟。

作者最初计划用 Clojure 的 reader 和递归解释器在周末完成 Bel 的实现，但很快发现 Bel 的语法特性（如 quasiquotes、自定义字符、dotted lists 等）需要自定义解析器。于是，作者使用了 instaparse 和 EBNF 来解决解析问题。接下来，作者遇到了 Continuation 的挑战，Continuation 允许程序“回溯”到之前的执行状态，这使得简单的递归解释器无法满足需求。作者参考了 SICP 中 amb 解释器的实现，采用了 continuation-passing-style 来解决这个问题。

然而，新的问题又出现了：由于 Bel 代码大量使用递归，基于 callback 的解释器很快就导致栈溢出。作者尝试增加 JVM 栈大小，但效果不佳。最终，作者决定自己实现调用栈，这成为了一个转折点，不仅简化了调试，还使得多线程支持变得容易。为了提高性能，作者借鉴了 Clojure 的设计思想，将 Java 的 HashMap、数字、字符串等类型引入 Bel，从而大大提升了解释器的速度。

目前，这个 Clojure 版本的 Bel 解释器已经支持 Bel 的大部分特性，但仍然存在一些不足，例如缺少对 stream 的支持，性能仍然有待提高，并且可能存在 bug。尽管如此，作者认为实现 Bel 的过程让他对 Bel 语言有了更深刻的理解，也让他体会到了语言设计的强大之处。

评论中，有人对 Bel 语言本身的设计理念和价值表示赞赏，认为 Bel 的极简主义风格值得学习。也有人对作者在实现过程中遇到的技术挑战表示关注，并分享了自己解决类似问题的经验。还有人对 Clojure 语言的特性和优势进行了讨论，认为 Clojure 在函数式编程和并发编程方面具有独特的优势。总的来说，评论区对这篇文章的内容和作者的努力给予了积极的评价，并引发了关于编程语言设计、实现和应用等方面的深入思考。
已复制到剪贴板

评论 0 条

暂无评论，来种下第一颗种子。