5小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20251026
这期日报内容丰富，从底层操作系统 NetBSD 的筹款呼吁，到 AI 创造的沉浸式世界，再到 PyTorch 调试的深度案例，带你领略技术世界的各种精彩！不仅如此，还有免费的 40-70 年代电影海报等你下载，以及关于 Linux 启动过程、RISC-V 模拟器、甚至 DIY 激光镊子的硬核分享。想知道加州如何摆脱轮流停电困境？想了解 FSF 如何看待 LLM？赶紧点开文章，一探究竟吧！
---
## 呼吁：在 2025 年底前助力 NetBSD 达成筹款目标
文章呼吁 NetBSD 的用户和爱好者们伸出援手，帮助 NetBSD 基金会在 2025 年底前达成 5 万美元的筹款目标。目前，基金会已经筹集到 10738 美元，还需要 39262 美元才能完成目标。
文章强调，捐款将直接用于支持 NetBSD 的关键项目，例如 RISC-V 支持和 Wi-Fi 升级。RISC-V 支持旨在将 NetBSD 扩展到这个新兴的开源硬件架构上，而 Wi-Fi 升级则致力于改进 NetBSD 的无线网络功能，使其在笔记本电脑和嵌入式设备上更加实用。
NetBSD 不仅仅是一个操作系统，它还是整个技术生态系统的重要组成部分。在产品计划报废的时代，NetBSD 致力于在各种新旧硬件上运行，从而减少电子垃圾。旧的笔记本电脑和单板计算机可以通过 NetBSD 焕发新生，成为强大的防火墙、文件服务器，甚至是复古游戏机。
文章最后呼吁大家考虑进行年终捐款，以帮助 NetBSD 基金会继续其重要的工作，并鼓励大家在社交媒体上分享支持 NetBSD 的理由，使用 #WhyIRunNetBSD 标签。
评论区对 NetBSD 的捐助和发展展开了讨论。有人已经捐款，希望 NetBSD 能成为旧电脑的更好选择。也有人质疑 NetBSD 在减少电子垃圾方面是否比 Linux 更有优势。还有人建议 NetBSD 像 OpenBSD 和 FreeBSD 一样开设周边商店，增加收入来源。一些用户表达了对 NetBSD 的感谢，并希望它能继续发展壮大。也有用户好奇 NetBSD 的具体用途，以及它与其他 BSD 系统的关系。总的来说，评论区对 NetBSD 的未来发展既有关心，也有疑问，体现了社区对这个老牌操作系统的复杂情感。
- 原文: [Let's Help NetBSD Cross the Finish Line Before 2025 Ends](https://mail-index.netbsd.org/netbsd-users/2025/10/26/msg033327.html)
- Hacker News: [https://news.ycombinator.com/item?id=45711279](https://news.ycombinator.com/item?id=45711279)
- 作者: jaypatelani
- 评分: 141
- 评论数: 33
- 发布时间: 2025-10-26 20:34:36
---
## 探索哈里·兰索姆中心数字馆藏：免费下载 40-70 年代的电影海报
哈里·兰索姆中心数字馆藏提供了一个丰富的资源库，特别是对于那些对电影历史感兴趣的人来说。该中心提供了大量 20 世纪 40 年代、50 年代、60 年代和 70 年代的电影海报，这些海报可以免费浏览和下载。
这个数字馆藏包含了各种类型的电影海报，包括动作冒险片、惊悚片、爱情片、喜剧片和犯罪片等等。用户可以通过多种方式浏览这些海报，例如按类型、日期、标题和标识符进行筛选。 如果你正在寻找特定年份的海报，比如 1957 年到 1962 年之间的，这个网站能帮你快速定位。 此外，你还可以按电影标题搜索，找到像 "Count Your Blessings" 或 "A Face in the Crowd" 这样的电影海报。
该网站还提供了高级搜索功能，允许用户更精确地查找他们想要的海报。数字馆藏中还包含其他类型的材料，如信件、电影剧照和手稿。 网站还提供有关使用这些数字资源的政策信息，并支持 IIIF/Mirador，方便用户进行图像的互操作和比较。 此外，用户还可以登录以获得额外的功能。
总而言之，哈里·兰索姆中心数字馆藏是一个宝贵的资源，它为电影爱好者、研究人员和设计师提供了一个免费访问和下载经典电影海报的平台。 无论你是想寻找灵感，还是想了解电影历史，这个网站都值得探索。
- 原文: [10k Downloadable Movie Posters From The 40s, 50s, 60s, and 70s](https://hrc.contentdm.oclc.org/digital/collection/p15878coll84/search)
- Hacker News: [https://news.ycombinator.com/item?id=45630599](https://news.ycombinator.com/item?id=45630599)
- 作者: bookofjoe
- 评分: 126
- 评论数: 18
- 发布时间: 2025-10-19 05:48:37
---
## PyTorch 调试案例：一个 Bug 如何教会我更多
本文讲述了一个 PyTorch 调试的案例，作者在训练模型时遇到了损失停滞的问题，最终发现是 PyTorch 的一个底层 Bug 导致的。这个 Bug 迫使作者深入了解了优化器内部、内存布局、分发系统和内核实现等底层细节，比单纯使用 PyTorch 多年学到的还要多。
文章详细记录了作者逐步排查问题的过程，包括如何通过观察权重变化、检查梯度流动、排除优化器问题等手段来缩小问题范围。作者发现，编码器权重在训练过程中完全没有更新，而解码器权重却正常更新。经过一系列的排查，作者锁定了问题出现在 Apple Silicon (MPS backend) 上的 PyTorch GPU 内核中。
具体来说，当 `addcmul_` 和 `addcdiv_` 操作写入非连续内存时，MPS 后端存在一个 Bug，会导致操作静默失败。由于编码器权重初始化为解码器的转置，导致其内存布局为非连续的。Adam 优化器的状态张量也继承了这种布局，最终导致编码器的 Adam 参数无法正确更新，从而导致训练停滞。
作者给出了三种解决方案：在初始化时使权重连续、升级 PyTorch 版本到 2.4 或更高版本，以及升级到 macOS 15+ 以获得原生非连续张量支持。此外，作者还提交了一个 PR 来修复 macOS 15 以下版本中随机操作的类似 Bug。
总而言之，这篇文章不仅记录了一个有趣的调试案例，更重要的是，它展示了如何通过深入了解框架底层细节来解决问题，并提供了宝贵的调试经验。
这篇文章没有评论内容。
- 原文: [The bug that taught me more about PyTorch than years of using it](https://elanapearl.github.io/blog/2025/the-bug-that-taught-me-pytorch/)
- Hacker News: [https://news.ycombinator.com/item?id=45684253](https://news.ycombinator.com/item?id=45684253)
- 作者: bblcla
- 评分: 72
- 评论数: 17
- 发布时间: 2025-10-24 01:06:35
---
## Barking 的石棉纪念碑与石棉危害的反思
这篇文章讲述了 Barking 竖立的石棉纪念碑，以及作者对石棉危害的反思，并追忆了其祖父因石棉暴露而早逝的经历。文章通过纪念碑的设立，引出了 Barking 地区因 Cape Asbestos 公司石棉工厂而导致的高石棉相关死亡率的历史。
Cape Asbestos 公司在 Barking 的工厂曾大量使用石棉，工人们在缺乏防护的情况下工作，导致许多人患上慢性呼吸道疾病。即使在工厂关闭多年后，石棉的毒性影响仍然存在。作者还提到了当地学校的儿童曾将石棉粉尘当作雪玩耍，以及该地区因石棉疾病而闻名的“Barking Cough”。
文章还描述了 Cape Asbestos 公司在 Watford 的另一家工厂，作者的祖父在那里工作并最终因石棉暴露而去世。作者分享了对祖父的零星记忆，以及家人为将他的死因归于石棉暴露所做的努力。作者也提到，即使在工厂关闭数十年后，仍有许多前雇员受到石棉相关疾病的严重影响。
最后，作者对比了其父亲和祖父的寿命，强调了健康与安全措施的重要性。作者为父亲能活到 87 岁高龄感到庆幸，并表达了对与父母共度每一天的感激之情。Barking 的纪念碑提醒人们，许多家庭因石棉而遭受了损失，因此必须铭记历史，为改善工人的权利和工作条件而奋斗。
- 原文: [Asbestosis](https://diamondgeezer.blogspot.com/2025/10/asbestosis.html)
- Hacker News: [https://news.ycombinator.com/item?id=45710065](https://news.ycombinator.com/item?id=45710065)
- 作者: zeristor
- 评分: 135
- 评论数: 90
- 发布时间: 2025-10-26 16:34:38
---
## 形式化推理：命题逻辑、谓词逻辑与离散数学
本文档介绍了形式化推理的基础知识，涵盖命题逻辑、谓词逻辑、离散数学、语言、自动机和模态逻辑等多个方面。它旨在提供一种精确和无歧义的方式来表达陈述和论证，这对于许多应用（例如描述程序的语义）至关重要。
文章首先介绍了命题逻辑，它是形式化推理的基础。它解释了如何使用形式语言来避免自然语言的模糊性，并定义了命题逻辑中的基本概念，如命题、连接词（与、或、非、蕴含、等价）以及真值表。通过真值表，可以确定复合命题的真值，并判断命题之间的逻辑等价性和逻辑推导关系。
接下来，文章深入探讨了谓词逻辑，它扩展了命题逻辑，允许我们表达关于对象及其属性的陈述。谓词逻辑引入了谓词、关系、常量和量词（全称量词和存在量词），使得我们可以表达更复杂的逻辑关系。文章还讨论了带有等号的谓词逻辑，并解释了如何在谓词逻辑中确定真值。
文章还涵盖了离散数学的重要概念，包括图论（图、同构图、欧拉路径、哈密顿回路、着色）、递归编程（汉诺塔问题）、二叉树、归纳法（数学归纳法）、帕斯卡三角形、组合计数（从n个对象中选择k个对象）和划分计数。这些概念在计算机科学中有着广泛的应用。
此外，文章还介绍了形式语言与自动机，包括字母表、单词、语言、正则语言、上下文无关文法、右线性文法、文法转换、自动机、非确定性自动机等。这些概念是编译原理和计算理论的基础。
最后，文章简要介绍了模态逻辑，它是一种用于推理关于必然性和可能性的逻辑。模态逻辑引入了模态算子（必然和可能），并讨论了模态逻辑的语法、公理和Kripke语义。文章还提到了时间逻辑，它是模态逻辑的一种特殊形式，用于推理关于时间的陈述。
- 原文: [Formal Reasoning [pdf]](https://cs.ru.nl/~freek/courses/fr-2025/public/fr.pdf)
- Hacker News: [https://news.ycombinator.com/item?id=45711062](https://news.ycombinator.com/item?id=45711062)
- 作者: Thom2503
- 评分: 27
- 评论数: 0
- 发布时间: 2025-10-26 20:03:59
---
## 探索 World Simulator AI 创造的沉浸式 AI 世界
World Simulator AI 允许用户创建和体验各种互动式 AI 世界，涵盖历史、奇幻、冒险、喜剧等多种题材。这些世界提供了丰富的故事情节和沉浸式体验，让用户可以扮演不同的角色，探索未知的领域，并与 AI 驱动的角色互动。
从 "Alexander’s Conquest" 中跟随亚历山大大帝征服已知世界，体验古代战争的荣耀与残酷；到 "Barbecue Drama" 中体验一场充满混乱和秘密的烧烤聚会；再到 "Portal in the Forest" 中探索一个充满奇迹和危险的未知世界。这些世界提供了截然不同的体验，满足了不同用户的喜好。
在 "The Last Sorceress" 中，你将扮演一位被追捕的魔法师，决定你的力量是拯救世界还是毁灭世界；在 "Indian Village from thousands of years ago" 中，你将沉浸在古代 Vrindavan 的迷人世界，与 Krishna 和他的朋友们一起冒险；在 "Forbidden Island" 上，你将与一个不攻击你的 Sentinelese 部落成员建立危险的友谊；在 "Island of Genetic Monsters" 上，你需要在充满混合生物的岛屿上生存，揭露黑暗的秘密。
World Simulator AI 还提供了一些轻松幽默的体验，例如 "gym" 中充满搞笑和疯狂的健身房世界，以及 "The Tale of the Ocular Office" 中作为眼球的一天。此外，还有一些未来主义和科幻题材的世界，例如 "Waking up in year 3000" 中探索一个人类已经进化到无法识别的地球，以及 "Stellar Nexus" 中与澳大利亚宇航局 Eureka 号的船员一起进行星际冒险。
历史题材方面，除了亚历山大大帝的征服，还有 "The Samurai’s Oath" 中面临忠诚与荣誉的抉择，以及 "Signing of the Declaration" 中参与美国独立宣言的签署。
总而言之，World Simulator AI 提供了一个无限可能的世界，让用户可以尽情发挥想象力，体验各种不同的角色和故事。
- 原文: [World Simulator: Create and Play Interactive AI Worlds](https://worldsimulator.ai/)
- Hacker News: [https://news.ycombinator.com/item?id=45658955](https://news.ycombinator.com/item?id=45658955)
- 作者: machmadera
- 评分: 16
- 评论数: 15
- 发布时间: 2025-10-22 01:44:59
---
## 2025年10月21-22日美国核管理委员会事件报告
本文总结了美国核管理委员会在2025年10月21日至22日期间发布的事件报告，涵盖了多个核电站和放射性物质使用机构发生的事件。报告详细描述了事件的性质、时间和影响，并说明了相应的应对措施。
文章中记录了多个事件，包括：Wolf Creek核电站控制室应急通风系统失效，Palisades核电站一名工作人员掉入反应堆水池并摄入少量池水，North Anna核电站1号机组因负速率跳闸自动停堆，以及佐治亚州一家医疗机构发现泄漏的铯-137放射源。
Wolf Creek核电站的事件涉及控制室应急通风系统（CREVS）的两个train同时失效，触发了技术规范的限制运行条件（LCO），导致燃料移动和堆芯更改暂停。Palisades核电站的事件中，工作人员掉入充满水的反应堆腔室，虽然经过辐射防护人员的去污处理，但头发中仍检测到放射性，因此被送往场外就医。North Anna核电站1号机组的自动停堆是由于负速率跳闸引起的，辅助给水泵按设计启动，反应堆已稳定在3号模式。佐治亚州的事件中，一家医疗机构在例行泄漏测试中发现铯-137放射源泄漏，超过了可移除污染物的限制。
这些事件都被报告为非紧急事件，没有对公众或工厂人员的健康和安全造成影响。美国核管理委员会的驻地检查员已收到通知。报告中还包含了事件发生的时间、地点、涉及的设备以及采取的纠正措施等详细信息。这些报告对于核安全监管和经验反馈至关重要，有助于防止类似事件再次发生。
- 原文: [A worker fell into a nuclear reactor pool](https://www.nrc.gov/reading-rm/doc-collections/event-status/event/2025/20251022en?brid=vscAjql9kZL1FfGE7TYHVw#en57996:~:text=TRANSPORT%20OF%20CONTAMINATED%20PERSON%20OFFSITE)
- Hacker News: [https://news.ycombinator.com/item?id=45708292](https://news.ycombinator.com/item?id=45708292)
- 作者: nvahalik
- 评分: 501
- 评论数: 327
- 发布时间: 2025-10-26 09:15:43
---
## 使用 SSH 访问的 Git 服务器：简单代码同步方案
这篇文章介绍了如何利用已有的 SSH 访问权限，将服务器变成一个简单的 Git 服务器，实现代码在多台电脑之间的同步，或者在服务器上直接编辑代码，避免网络延迟和手动复制。
文章的核心在于，如果你的服务器已经开启了 SSH，那么就可以直接通过 `git clone ssh://username@hostname/path/to/repo` 命令来克隆代码仓库。作者还分享了如何配置服务器，允许推送更改到当前检出的分支，以及如何设置 Git 钩子，在代码更新后自动运行静态站点生成器，方便博客写作和部署。此外，还提到了备份的重要性，以及 Git 的版本控制功能如何防止意外删除和方便问题排查。为了让仓库可以通过 HTTP 访问，需要运行 `git update-server-info` 命令，并设置自动运行该命令的钩子。
评论区也提供了很多有价值的补充信息。
* **@jonhohle** 提到了 `git init --bare` 命令，可以创建一个不带工作目录的仓库，更适合服务器端使用，还分享了如何通过命名空间来管理远程分支。
* **@thyristan** 惊讶于竟然有人不知道 SSH 访问可以直接用于 Git。
* **@seba_dos1** 再次强调了使用 bare 仓库的优点，避免检出分支的问题。
* **@eqvinox** 简化了 SSH 克隆的命令格式。
* **@prmph** 感慨 Git 的博大精深，并建议开发更高级的 CLI 工具，简化 Git 的使用。
* **@jrm4** 将 GitHub 比作 Gmail，强调了 Git 的去中心化本质。
* **@ninkendo** 回忆了早期使用 Git 的不便，希望 Git 能够自动创建远程仓库。
* **@bitbasher** 推荐使用 cgit 来提供公共只读的 Git 仓库 UI。
* **@binary132** 指出这种简单方案不支持 Git 的全部功能，建议使用 Gitolite。
* **@timmg** 怀念 Google Cloud 提供的按需付费 Git 托管服务，认为比 Freemium 模式更合理。
总的来说，这篇文章提供了一个轻量级的 Git 服务器搭建方案，评论区则从不同角度补充了更多细节和替代方案，帮助读者更好地理解和使用 Git。
- 原文: [You Already Have a Git Server](https://maurycyz.com/misc/easy_git/)
- Hacker News: [https://news.ycombinator.com/item?id=45710721](https://news.ycombinator.com/item?id=45710721)
- 作者: chmaynard
- 评分: 181
- 评论数: 151
- 发布时间: 2025-10-26 18:53:37
---
## 卫星通信安全：内部网络流量通过未加密卫星泄露
本文揭示了通过商用卫星天线可以截获大量未加密的敏感数据，包括关键基础设施、公司内部通信、政府信息、语音通话、短信和互联网流量。 任何人只需几百美元的设备即可被动地观察到这些数据。
研究人员使用商用现成的卫星天线，对地球静止轨道卫星通信进行了迄今为止最全面的公开研究。 结果表明，大量敏感信息以未加密的形式广播，包括蜂窝回程、军事和政府通信、飞行 Wi-Fi 流量、VoIP 数据、商业网络数据和关键基础设施数据。
具体来说，研究发现了以下类型的未加密流量：
* **蜂窝回程：** 来自电信运营商核心网络的未加密蜂窝回程数据，包括通话、短信、互联网流量、硬件 ID 和加密密钥。
* **军事和政府：** 来自舰船的未加密 VoIP 和互联网流量，以及军事系统的未加密流量，包含沿海船只监视的详细跟踪数据。
* **飞行 Wi-Fi：** 乘客的互联网流量，飞行员的飞行信息系统和机上娱乐。
* **VoIP：** 多个 VoIP 供应商使用未加密的卫星回程，暴露了用户的通话音频和元数据。
* **商业网络：** 零售、金融和银行公司使用未加密的卫星通信进行内部网络连接，暴露了登录凭据、公司电子邮件、库存记录和 ATM 网络信息。
* **关键基础设施：** 电力公司和石油天然气管道使用 GEO 卫星链路来支持远程操作的 SCADA 基础设施和电网维修单。
研究人员已与受影响的各方联系并披露了漏洞。 部分公司（如 T-Mobile、沃尔玛和 KPU）已部署补救措施。
对于使用卫星通信的组织，应将卫星通信链路视为不安全的公共无线网络。 建议在每一层使用加密作为纵深防御，例如使用 TLS 保护应用程序流量，使用 IPsec 或多点加密 VPN 加密网络，或使用卫星通信供应商提供的卫星波束加密。
对于最终用户，可以使用 VPN 加密网络流量，对于消息和语音通信，可以使用端到端加密的应用程序，例如 Signal。
该研究重点关注 GEO 卫星系统，因为它们在关键基础设施中得到广泛应用，并具有可靠性和向后兼容性。 研究人员没有研究 LEO（低地球轨道）系统（例如 Starlink），但据了解这些链路是加密的。
- 原文: [Eavesdropping on Internal Networks via Unencrypted Satellites](https://satcom.sysnet.ucsd.edu/)
- Hacker News: [https://news.ycombinator.com/item?id=45650167](https://news.ycombinator.com/item?id=45650167)
- 作者: Bogdanp
- 评分: 64
- 评论数: 7
- 发布时间: 2025-10-21 06:21:59
---
## Pico-Banana-400K：用于文本引导图像编辑的大规模数据集
Apple 开源了一个名为 Pico-Banana-400K 的大型数据集，专门用于改进文本引导的图像编辑技术。这个数据集包含了约 40 万个文本-图像-编辑三元组，旨在推动该领域的研究。
Pico-Banana-400K 数据集的每个样本都包含原始图像（来自 Open Images 数据集）、类似人类的编辑指令以及由 Nano-Banana 模型生成和验证的编辑结果。数据集涵盖了 35 种编辑操作，横跨 8 个语义类别，包括从低级的颜色调整到高级的对象、场景和风格编辑。这些类别包括像素和光度、对象级别、场景构成、风格、文本和符号、以人为本、比例和透视以及空间/布局。
该数据集包含约 25.7 万个用于监督微调 (SFT) 的单轮文本-图像-编辑三元组，约 5.6 万个用于偏好学习的单轮文本-图像（正）-图像（负）-编辑样本，以及约 7.2 万个用于多轮应用的多轮文本-图像-编辑样本。图像分辨率在 512 到 1024 像素之间。数据集的构建过程包括使用 Gemini-2.5-Flash 生成编辑指令，然后使用 Nano-Banana 模型进行编辑，并通过自动评估流程来确保编辑质量。只有得分高于严格阈值的编辑才会被标记为成功，并纳入主数据集。
Pico-Banana-400K 数据集提供了广泛的视觉和语义范围，涵盖了来自真实世界图像的多种编辑类型。它不仅可以用于单步编辑，还可以用于多轮对话式编辑和基于奖励的训练。数据集托管在 Apple 的公共 CDN 上，可以通过提供的清单文件下载各个组件，包括单轮、多轮和偏好数据。由于法律要求，无法直接提供源图像文件，但提供了从 Open Images 下载源图像的指南。
- 原文: [Pico-Banana-400k](https://github.com/apple/pico-banana-400k)
- Hacker News: [https://news.ycombinator.com/item?id=45708524](https://news.ycombinator.com/item?id=45708524)
- 作者: dvrp
- 评分: 278
- 评论数: 38
- 发布时间: 2025-10-26 10:01:17
---
## 探索 Clojure Land：发现开源的 Clojure 库与框架
Clojure Land 是一个汇集了各种开源 Clojure 库和框架的资源站点，旨在帮助开发者发现和利用 Clojure 生态系统中的工具。该站点列出了许多项目，涵盖了从行为编程到 AI 辅助编程，再到 Web 开发和量子计算等多个领域。
Clojure Land 上收录了像 Pavlov 这样的行为编程库，以及 ECA (Editor Code Assistant) 这样提供 AI 辅助编程功能的工具，后者还针对 Emacs 和 VS Code 提供了集成。对于图形和创意编程，Clojure2D 提供了一个基于 Java2D 的封装，并加入了 Processing 和 openFrameworks 的支持函数。 Joyride 则致力于让 VS Code 像 Emacs 一样可定制。Replicant 是一个数据驱动的渲染库，可以将 Hiccup 渲染为 DOM 或字符串。Legba 帮助开发者构建 OpenAPI 服务，而 Typed Clojure 则为 Clojure 提供了可选的类型系统。hashp 提供了一个更强大的 "prn" 函数用于调试，Component 则用于管理 Clojure 中有状态对象的生命周期。calva-backseat-driver 提供了 VS Code AI 代理交互式编程工具，QClojure 是一个用于量子计算机编程的库。lacinia-pedestal 允许将 Lacinia GraphQL 作为 Pedestal 端点暴露出来，Tesser 则实现了 Clojure reducers 的并行执行。Pedestal 是一个用于构建 Web 应用程序的工具集，data.json 用于 JSON 的解析和生成，clojure-cli-config 提供了 Clojure CLI 的配置，Tapestry 用于将 loom fibers 编织到 Clojure 中，Daphne 则是一个用于概率编程的编译器和运行时。
评论区中，@wlkr 指出，如果能提供诸如 issue 数量和上次更新时间等统计信息，将更有助于评估这些库的质量。他提到 Clojure 库通常不需要频繁更新，但有时会发现一些库存在长期未解决的 issue，或者依赖于过时的 Java 库。他还希望 Clojure 能够形成一些更具主导地位的核心库，并被官方文档推荐，以方便初学者入门。@germandiago 则在考虑在 Clojure 和 Common Lisp 之间选择一个后端项目，并询问 Common Lisp 的交互性是否会对日常工作流程产生重大影响，以及 Clojure 在这方面是否有所欠缺。他认为 Clojure 更加简洁，但 Common Lisp 的 CLOS 系统也极具吸引力。
- 原文: [Clojure Land – Discover open-source Clojure libraries and frameworks](https://clojure.land/)
- Hacker News: [https://news.ycombinator.com/item?id=45709988](https://news.ycombinator.com/item?id=45709988)
- 作者: TheWiggles
- 评分: 104
- 评论数: 22
- 发布时间: 2025-10-26 16:15:48
---
## Linux 启动过程：从电源按钮到内核
这篇文章深入探讨了 Linux 系统从按下电源按钮到内核启动的完整过程，揭示了其底层运作机制。文章详细介绍了 BIOS/UEFI 固件、引导加载程序（如 GRUB）以及内核启动的各个阶段。
文章首先解释了 CPU 在启动时的状态，即实模式。在实模式下，CPU 跳转到位于 `0xFFFFFFF0` 的重置向量，该向量指向主板上的固件。固件（BIOS 或 UEFI）执行硬件自检（POST），然后根据启动顺序查找可启动设备。如果找到一个以 `0x55` 和 `0xAA` 结尾的 512 字节扇区，BIOS 会将其加载到内存中的 `0x7C00` 地址并跳转到那里。UEFI 则可以直接理解文件系统，加载更大的引导程序。
接下来，文章介绍了引导加载程序（如 GRUB）的作用，它负责将 Linux 内核加载到内存中。内核文件包含一个小的设置程序和一个压缩的内核。GRUB 会填充一个名为 setup header 的结构，其中包含内核位置、命令行参数和 initrd 位置等信息，然后跳转到设置程序。
设置程序的主要任务是创建一个可预测的工作空间。它会设置段寄存器（CS、DS、SS），清除方向标志，创建堆栈，并清除 BSS 段（用于存储初始化为零的全局变量）。如果指定了 `earlyprintk`，设置程序还会初始化串口以便输出早期消息。此外，设置程序还会通过调用 e820 中断来获取可用 RAM 的信息，以避免与固件冲突。
文章还详细讲解了从实模式切换到保护模式的过程。保护模式是 32 位模式，引入了全局描述符表（GDT）和中断描述符表（IDT）的概念。GDT 描述了段的起始地址、大小和权限，而 IDT 则存储了中断处理程序的地址。在切换过程中，设置程序会禁用中断，加载一个小的 GDT 和 IDT，然后设置 CR0 寄存器中的 PE 位，并执行远跳转，从而进入 32 位保护模式。
文章深入浅出地解释了 Linux 启动过程中的关键步骤和概念，帮助读者理解操作系统启动的底层原理。
- 原文: [The Linux Boot Process: From Power Button to Kernel](https://www.0xkato.xyz/linux-boot/)
- Hacker News: [https://news.ycombinator.com/item?id=45707658](https://news.ycombinator.com/item?id=45707658)
- 作者: 0xkato
- 评分: 323
- 评论数: 68
- 发布时间: 2025-10-26 07:04:23
---
## Advent of Code 2025 调整：谜题数量减少至 12 个
今年的 Advent of Code 2025 迎来了一个重大变化，谜题的数量首次从 25 个减少到 12 个。这个由 Eric Wastl 创建的编程解谜活动，旨在为不同技能水平的开发者提供有趣的挑战。
Advent of Code 类似于一个编程版的“降临节日历”，每天解锁一道新的编程谜题，参与者可以使用任何自己喜欢的编程语言来解决这些问题。 许多人将它用于面试准备、公司培训、大学课程作业、练习题，甚至作为一种速度竞赛或互相挑战的方式。
即使没有计算机科学背景，只要具备一些编程知识和解决问题的能力，也能参与其中。 谜题的设计保证了即使在十年前的硬件上，也能在 15 秒内完成解决方案。
Eric Wastl 提到，运行 Advent of Code 需要投入大量的个人时间，而构建谜题占据了大部分时间。 在保持了十年不变的进度后，他需要做出一些改变，因此减少了谜题的数量。 尽管数量减少，但活动仍然从 12 月 1 日开始，每天都会发布新的谜题，直到 12 月中旬结束。
他还分享了一些通用技巧，例如在遇到困难时，首先检查示例是否能够通过，然后构建自己的测试用例。 如果仍然无法解决，可以向朋友求助或稍后再回来尝试，也可以在 subreddit 上寻求提示。
关于常见问题，文章解答了关于代码块选择、身份验证、谜题难度、发布时间、高对比度模式、谜题创意提交、bug 报告、快速解题、AI 使用以及内容复制等问题。 尤其值得注意的是，由于全球排行榜给作者和用户带来了巨大的压力，且偏离了活动的初衷，因此已被移除。
最后，作者强调，使用 AI 解题并不能真正提升你的编程能力，就像让别人替你去健身房一样。 Advent of Code 的谜题是为人类设计的，旨在提供有趣的解题体验。
- 原文: [Advent of Code 2025: Number of puzzles reduce from 25 to 12 for the first time](https://adventofcode.com/2025/about#faq_num_days)
- Hacker News: [https://news.ycombinator.com/item?id=45710006](https://news.ycombinator.com/item?id=45710006)
- 作者: vismit2000
- 评分: 171
- 评论数: 107
- 发布时间: 2025-10-26 16:19:48
---
## 使用 Rust 编写 RISC-V 模拟器
本文档介绍了如何使用 Rust 从头开始编写一个 64 位的 RISC-V 模拟器，目标是能够在模拟器上运行 xv6，一个简单的类 Unix 操作系统。通过构建模拟器，读者可以学习到 ISA、特权架构、异常、中断、外围设备和虚拟内存系统等计算机体系结构的基础知识。
本书的代码仓库是 `d0iasm/rvemu-for-book`。为了运行 xv6，需要实现的硬件组件包括：CPU（支持两条指令）、内存和系统总线、控制和状态寄存器 (CSRs)、特权架构、异常、PLIC (平台级中断控制器) 和 CLINT (核心本地中断器)、UART (通用异步收发器)、中断、Virtio 以及虚拟内存系统。需要实现的指令集包括：RV64I 基本整数指令集、用于整数乘法和除法的 "M" 标准扩展，以及用于原子指令的 "A" 标准扩展。
完成本书并实现模拟器后，你将能够在自己的模拟器中运行 xv6。作者是 @d0iasm，可以通过 Twitter 或 GitHub issues 提出问题和请求。
评论区里，有人指出目前只有前三个章节可用，计划完成时将有十个章节。另一个人认为用汇编语言来实现会更好，并提到自己用 x86_64 汇编编写了一个小的 rv64 解释器。这两种方法各有优劣，Rust 提供了更高的抽象层次和内存安全性，而汇编语言则可以更直接地控制硬件，性能可能更高。选择哪种方式取决于具体的需求和目标。
- 原文: [Writing a RISC-V Emulator in Rust](https://book.rvemu.app/)
- Hacker News: [https://news.ycombinator.com/item?id=45709819](https://news.ycombinator.com/item?id=45709819)
- 作者: signa11
- 评分: 53
- 评论数: 14
- 发布时间: 2025-10-26 15:34:30
---
## W++：垃圾回收线程的新尝试
这篇文章介绍了一个名为 W++ 的项目，它引入了垃圾回收线程的概念。W++ 旨在解决传统多线程编程中可能出现的僵尸线程问题，通过自动垃圾回收机制管理线程的生命周期。
W++ 的核心思想是，当一个线程不再被任何其他线程引用时，它将被自动回收，从而避免资源泄漏和程序崩溃。文章中给出了两个使用示例链接，展示了 W++ 的具体用法。项目主页则提供了更详细的文档和代码。
评论区对 W++ 的可行性和必要性提出了疑问。有人指出，Go 语言也曾尝试实现类似功能，但因技术难度而放弃。评论还质疑了僵尸线程是否是一个普遍存在且亟待解决的问题。这些评论表明，W++ 的设计理念虽然新颖，但其在实际应用中面临着挑战。
- 原文: [Show HN: W++ – Garbage-Collected Threads](https://news.ycombinator.com/item?id=45655920)
- Hacker News: [https://news.ycombinator.com/item?id=45655920](https://news.ycombinator.com/item?id=45655920)
- 作者: sinisterMage
- 评分: 7
- 评论数: 2
- 发布时间: 2025-10-21 22:00:41
---
## 通过 Web 连接到 80 年代的 Atari BBS
这篇文章介绍了如何通过网页连接到多个复古的 Atari Bulletin Board Systems (BBS)。这些BBS运行着各种软件，例如 BBS Express Pro, Carina II BBS 等，并提供不同的主题和功能，让用户体验80年代的在线文化。
文章列出了一系列可访问的Atari BBS站点，每个站点都简要描述了其特色和历史。例如，Southern Amis BBS 是支持 Southern Amis Projects 的主要BBS，而 Alcatraz BBS 则是一个海盗主题的BBS。其他BBS，如 Area 52 和 Basement BBS，则分别以科幻和电影《上班一条虫》为主题。NiteLite BBS 曾是 Atari 公司的官方BBS，而 The Boot Factory 则是第一个 BBS Express Pro! BBS。Heisenbergs Hideout 则以《绝命毒师》为主题。DarkForce BBS 以其活跃的社区和丰富的功能而闻名，StarFleet HQ 则提供游戏库和联网的消息基地。每个BBS都提供了链接，方便用户通过网页浏览器进行连接，重温那个年代的在线体验。这些BBS的复活，对于那些怀念过去或者对早期在线文化感兴趣的人来说，无疑是一个宝贵的资源。通过这些BBS，用户可以体验到早期的Atascii图形界面，参与到当时的社区互动中，并了解到BBS软件的发展历史。
由于没有评论内容，所以这里没有评论分析。
- 原文: [Connect to a 1980s Atari BBS through the web](https://www.southernamis.com/ataribbsconnect)
- Hacker News: [https://news.ycombinator.com/item?id=45710366](https://news.ycombinator.com/item?id=45710366)
- 作者: JPolka
- 评分: 25
- 评论数: 0
- 发布时间: 2025-10-26 17:31:47
---
## DIY 激光镊子：用废旧电子元件操控微观世界
本文介绍了一种低成本的 DIY 激光镊子，它利用废旧 DVD 驱动器和 USB 摄像头等消费电子产品的回收部件，实现了对微观物体的操控。这种激光镊子可以用来移动微小的塑料珠或细胞等生物材料，为探索微观世界提供了新的可能性。
文章详细描述了该 DIY 激光镊子的构造细节。它主要由 DVD 驱动器的光头、USB 摄像头、以及一些简单的机械结构组成。DVD 驱动器的光头提供激光束和聚焦机构，USB 摄像头用于观察样品，而机械结构则用于控制样品的移动。为了防止激光束过度曝光摄像头，作者还巧妙地利用了一个带狭缝的旋转圆盘和一个同步电路来控制激光的开关。最终，整个装置的成本低于 100 美元，重量小于 500 克，并且能够精确地移动微小的苯乙烯珠。
该项目基于一篇科学出版物，并对其进行了创新性的改进，例如使用 USB 摄像头和简易滤光片代替传统的显微镜和专用滤光片。此外，文章还提供了电路原理图、布局图和 Arduino 控制软件的下载链接，方便读者进行复制和改进。
评论区里，有用户提到了其他操控微观物体的方法，例如使用微操纵器和 XY 平台。微操纵器通常用于需要精确运动的场合，而 XY 平台则可以用于在特定平面内移动物体。还有用户分享了关于 L272M 运放的使用经验，这是一种常用于电机驱动的双运放芯片。另有用户表示，虽然自己可能用不上这个 DIY 激光镊子，但看到这样的帖子仍然觉得很酷，体现了社区的多元化和创造力。总的来说，评论区对该项目表示赞赏，并提供了一些补充信息和不同的视角。
- 原文: [LaserTweezer – Optical Trap](https://www.gaudi.ch/GaudiLabs/?page_id=578)
- Hacker News: [https://news.ycombinator.com/item?id=45709922](https://news.ycombinator.com/item?id=45709922)
- 作者: o4c
- 评分: 35
- 评论数: 4
- 发布时间: 2025-10-26 16:03:14
---
## 加州大力投资电池储能，摆脱轮流停电困境
加州近年来大力投资电池储能技术，显著提升了电网的可靠性，自2022年以来，加州独立系统运营商 (CAISO) 未发布过一次紧急节能呼吁 (Flex Alert)。
文章指出，电池储能的快速发展是关键因素，加州的电池储能容量在六年内增长了3000% 以上，从2020年的500兆瓦增长到现在的15700兆瓦以上。电池可以在下午太阳能发电减少、用电高峰时段，将储存的太阳能释放到电网中，有效缓解供电压力。
专家表示，电池储能技术已经成熟，成本也逐年降低，成为传统天然气发电厂更具成本效益和可靠性的替代方案。尤其是在夏季高温时，天然气发电厂效率降低，电池储能的优势更加明显。
尽管如此，电池储能也面临挑战，目前主流的锂离子电池容量通常只能维持4-6小时，可能仍需天然气补充。不过，更长时效的电池技术，如铁空气电池和液流电池，也在不断发展，成本也在逐渐降低。
值得关注的是，电池储能的发展与美国政府对可再生能源的态度形成对比。尽管特朗普政府试图扶持煤炭等传统能源，但电池储能的进步已成为不可逆转的趋势。 德克萨斯州电网运营商ERCOT也拥有超过14000兆瓦的电池储能容量，表明电池储能并非党派之争，而是能源发展的必然选择。
此外，美国政府也出台政策支持美国本土电池生产，降低对中国电池的依赖。 一家位于萨克拉门托的电池制造商Sparkz，正在生产不使用镍和钴的磷酸铁锂电池，其供应链完全位于美国，可以享受联邦税收优惠。
总而言之，加州对电池储能的大力投资，不仅提高了电网的可靠性，也为实现其2045年碳中和的目标奠定了基础。
- 原文: [California invests in battery energy storage, leaving rolling blackouts behind](https://www.latimes.com/environment/story/2025-10-17/california-made-it-through-another-summer-without-a-flex-alert)
- Hacker News: [https://news.ycombinator.com/item?id=45706527](https://news.ycombinator.com/item?id=45706527)
- 作者: JumpCrisscross
- 评分: 299
- 评论数: 237
- 发布时间: 2025-10-26 03:58:55
---
## FSF 探讨大型语言模型与自由软件许可的兼容性
自由软件基金会 (FSF) 正在认真研究大型语言模型 (LLM) 对自由软件许可的影响，试图在快速发展的 AI 技术和开源原则之间找到平衡。目前 FSF 正在通过调查开源项目对 LLM 生成代码的态度，来收集相关信息，并计划在此基础上制定相应的指导方针。
FSF 认为 LLM 生成的代码存在一些问题，例如，训练 LLM 的模型和软件通常是非自由的。一个关键问题是，LLM 生成的代码是否具有版权，以及如何使其具有版权，这直接关系到能否将其置于 Copyleft 许可之下。此外，还需关注 LLM 生成的代码是否侵犯了他人的版权，例如训练数据泄露到模型输出中。
为了降低风险，FSF 建议项目在接受 LLM 生成的代码时，应收集相关元数据，包括使用的 LLM 版本、训练数据信息、使用的提示语以及任何使用限制。同时，应明确标记 LLM 生成的代码。
有观点指出，LLM 和辅助技术之间的界限可能模糊，全面禁止 LLM 可能会影响需要辅助技术的开发者。此外，开发者有责任确保他们提交的代码不侵犯任何人的权利，无论这些代码是否由 LLM 生成。
开发者通常可以引用代码的灵感来源，但 LLM 无法提供此类引用，这使得追踪 LLM 生成代码的来源变得困难。因此，开发者可能需要公开与 LLM 的完整会话记录，才能填补这一信息空白。
总的来说，FSF 正在积极探索 LLM 对自由软件领域带来的挑战，并试图找到一种既能拥抱 AI 技术，又能维护开源原则的解决方案。
- 原文: [The FSF considers large language models](https://lwn.net/Articles/1040888/)
- Hacker News: [https://news.ycombinator.com/item?id=45711786](https://news.ycombinator.com/item?id=45711786)
- 作者: birdculture
- 评分: 13
- 评论数: 2
- 发布时间: 2025-10-26 21:38:30
---
## D2：使用文本生成图表的声明式图表绘制语言
D2 是一种将文本转换为图表的声明式图表绘制语言，通过编写简单的文本描述，即可生成清晰美观的图表。它旨在简化图表的创建过程，让开发者能够更专注于图表的内容和结构，而无需花费大量时间在图形编辑上。
D2 的核心理念是“声明式图表绘制”，用户只需描述图表中包含的元素（如节点、连接线）以及它们之间的关系，D2 引擎会自动完成图表的布局和渲染。例如，你可以定义节点形状、连接线的样式，以及节点之间的文本标签。D2 支持多种布局引擎，可以根据图表的复杂程度选择合适的引擎，以获得最佳的布局效果。它还支持主题定制，允许用户自定义图表的颜色、字体等样式，以满足不同的视觉需求。
D2 提供了 CLI 工具，用户可以通过命令行将 D2 脚本转换为图像文件，如 PNG、SVG 等。此外，D2 还提供了 Playground，用户可以在线编辑和预览 D2 脚本，方便快速尝试和学习。D2 的 watch 模式可以监测脚本文件的变化，并自动重新生成图表，提高开发效率。D2 还具备一些高级特性，例如 sketch 模式和交互式工具提示/链接，可以进一步增强图表的功能和用户体验。
评论区对 D2 表现出浓厚的兴趣，许多用户认为 D2 在某些方面优于 Mermaid 和 PlantUML 等现有工具。有用户提到 D2 的表达能力更强，尤其是在 AI 辅助生成图表的场景下，D2 能够更好地表达复杂的图表结构。也有用户指出 D2 的企业版定价过高，限制了其在商业环境中的应用。此外，还有用户希望 D2 能够提供更稳定的布局和动画效果，以便更好地可视化动态变化的数据。一位 D2 的作者提到，他们正在考虑扩展 D2 的动画功能，并欢迎大家提供反馈。总的来说，D2 作为一种新兴的图表绘制语言，具有很大的潜力，但也需要在易用性、功能丰富性和商业模式等方面不断完善。
- 原文: [D2: Diagram Scripting Language](https://d2lang.com/tour/intro/)
- Hacker News: [https://news.ycombinator.com/item?id=45707539](https://news.ycombinator.com/item?id=45707539)
- 作者: benzguo
- 评分: 177
- 评论数: 37
- 发布时间: 2025-10-26 06:40:00
---
## Bitmovin 招聘欧洲工程师和经理
Bitmovin 是一家 YC S15 的公司，目前正在欧洲招聘工程方向的个人贡献者 (IC) 和经理。如果你对视频流媒体技术充满热情，并且希望在一个快速发展的公司中工作，这可能是一个不错的机会。
Bitmovin 主要提供视频播放器、分析和编码等产品。他们致力于为客户提供高质量的视频体验。该公司正在寻找有才华的工程师和经理加入他们在欧洲的团队，共同构建下一代视频技术。具体职位包括工程个人贡献者和经理，工作地点在欧洲。如果你对视频技术、分布式系统、云服务或相关领域有经验，并且渴望在一个充满活力的团队中工作，可以考虑申请 Bitmovin 的职位。
文章主要介绍了 Bitmovin 正在招聘的信息，并没有引发太多的讨论或评论。
- 原文: [Bitmovin (YC S15) Is Hiring Engineering ICs and Managers in Europe](https://bitmovin.com/careers)
- Hacker News: [https://news.ycombinator.com/item?id=45709698](https://news.ycombinator.com/item?id=45709698)
- 作者: slederer
- 评分: 1
- 评论数: 0
- 发布时间: 2025-10-26 15:00:33
---
🫵 来啊，说点有用的废话!
▲
