zhulink logo
自动夜间模式 日间模式 夜间模式
侧栏
0

【HN中文日报】Scheme虚拟机、XMPP自建、诺贝尔奖免疫… 科技圈这周都炸了啥锅?速览!

意外富翁的头像
|
|
|
## 今天 Hacker News 社区聊了啥? NO.20251006 这期日报内容超丰富!从用400行C代码实现Scheme虚拟机,到手把手教你搭建安全私密的XMPP服务器,再到2025诺贝尔医学奖揭秘免疫耐受机制,硬核技术干货满满。还有内存攻击新姿势、OpenBSD防火墙配置JSON化、极简旅行装备推荐。想知道LLM为啥对海马表情包情有独钟?OpenAI训练数据里藏了什么秘密?NFS 40周年又有哪些新故事?快来一探究竟,绝对让你大开眼界! ![Hacker News 中文精选](/static/mascot_article.webp) --- ## 基于堆内存模型的 Scheme 虚拟机:400 行 C 代码实现 本文介绍了一个用 400 行 C 代码实现的 Scheme 虚拟机,该虚拟机基于堆内存模型,实现了 Scheme 语言的一个子集。Dybvig 在其著作《Scheme 的三种实现模型》的 3.4 节中描述了这种虚拟机。 文章提供的 C 代码包括词法分析器(lexer)、读取器(reader)、打印机(printer)、编译器(compiler)和虚拟机(virtual machine)五个部分。词法分析器将输入的 Scheme 代码分解为 token;读取器将 token 转换为内部表示形式;打印机将内部表示形式转换为可读的 Scheme 代码;编译器将 Scheme 代码编译成虚拟机指令;虚拟机执行这些指令。 该实现使用堆来存储 Scheme 对象,例如 pair 和字符串。`cons` 函数用于在堆上分配新的 pair。虚拟机使用累加器(`accum`)、下一个指令(`next`)、环境(`env`)、rib 和栈(`stack`)等变量来执行指令。指令包括 `refer`、`constant`、`close`、`test`、`assign`、`conti`、`nuate`、`frame`、`argument` 和 `apply` 等。 `main` 函数实现了一个简单的 REPL(读取-求值-打印循环),允许用户输入 Scheme 代码并查看结果。 一个评论提到 MIT Scheme 曾经通过混合 switch 语句和 goto 来模拟其调用栈,直接编译成 C 代码。但随着程序增长,编译时间不是线性的。 - 原文: [Show HN: Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)](https://gist.github.com/swatson555/8cc36d8d022d7e5cc44a5edb2c4f7d0b) - Hacker News: [https://news.ycombinator.com/item?id=45491609](https://news.ycombinator.com/item?id=45491609) - 作者: swatson741 - 评分: 49 - 评论数: 5 - 发布时间: 2025-10-06 22:06:29 --- ## 搭建个人 XMPP 服务器:现代消息传递方案 本文介绍了如何搭建一个属于自己的 XMPP 服务器,以应对日益严重的数据隐私泄露问题。文章详细讲解了使用 ejabberd 搭建 XMPP 服务器的步骤,包括域名设置、软件安装(从 Process One 仓库或 GitHub)、防火墙配置以及关键的 YAML 配置文件修改。 文章强调了隐私和安全的重要性,建议禁用 XMPP over HTTP、用户最后访问时间等功能,并定期删除上传的文件。配置文件的设置包括设置域名、数据库类型(推荐 SQLite)、生成 DH 参数、强制 TLS 加密 server-to-server 连接,以及配置监听器。监听器配置部分详细列出了不同端口对应的模块和服务,例如 5222 用于客户端连接,5269 用于服务器间连接,5443 用于 HTTPS 服务等。文章还提到了一些安全相关的配置,例如启用 TLS,设置密码套件等。通过这些配置,可以搭建一个安全且注重隐私的 XMPP 服务器。 - 原文: [Modern messaging: Running your own XMPP server](https://www.codedge.de/posts/modern-messaging-running-your-own-xmpp-server) - Hacker News: [https://news.ycombinator.com/item?id=45490439](https://news.ycombinator.com/item?id=45490439) - 作者: codedge - 评分: 91 - 评论数: 35 - 发布时间: 2025-10-06 20:02:45 --- ## 2025 年诺贝尔生理学或医学奖揭晓:免疫耐受机制的重大发现 2025 年诺贝尔生理学或医学奖授予 Mary E. Brunkow、Fred Ramsdell 和 Shimon Sakaguchi,以表彰他们发现了外周免疫耐受的关键机制,阐明了免疫系统如何避免攻击自身。他们的研究揭示了调节性 T 细胞(Treg 细胞)在免疫系统中的重要作用,为自身免疫疾病、癌症和移植医学等领域带来了新的治疗思路。 免疫系统需要精确的调控,否则可能攻击自身器官,导致自身免疫疾病。这三位获奖者的研究聚焦于外周免疫耐受,即免疫系统如何区分自身和非自身,并避免对自身组织产生免疫反应。Sakaguchi 在 1995 年发现了一类新的免疫细胞,即调节性 T 细胞,这些细胞能够抑制其他免疫细胞的活性,防止自身免疫反应的发生。Brunkow 和 Ramsdell 在 2001 年发现了 Foxp3 基因,该基因的突变会导致严重的自身免疫疾病 IPEX。Sakaguchi 随后证明,Foxp3 基因控制着调节性 T 细胞的发育。 这些发现彻底改变了我们对免疫系统功能的理解,并为自身免疫疾病、癌症和移植医学等领域带来了新的治疗策略。例如,通过调控调节性 T 细胞的活性,可以治疗自身免疫疾病,增强抗肿瘤免疫,并提高移植的成功率。目前,已经有多种基于这些发现的治疗方法进入临床试验阶段。 评论区中,有用户赞赏诺贝尔奖提供的通俗科学解释,方便大众理解获奖成果的重要性。有人则注意到获奖者 Shimon Sakaguchi 的名字在日语中的含义,认为这是一种“名符其实”的巧合。还有人提到了 Foxp3 基因与免疫靶点的关联,引发了对相关研究的回忆。另有用户询问关于免疫系统相关书籍的推荐,希望了解更多关于 T 细胞调控的信息。最后,有用户分享了诺贝尔奖的日程安排,提醒大家关注接下来几天将公布的奖项。 - 原文: [Nobel Prize in Physiology or Medicine 2025](https://www.nobelprize.org/prizes/medicine/2025/press-release/) - Hacker News: [https://news.ycombinator.com/item?id=45489533](https://news.ycombinator.com/item?id=45489533) - 作者: lode - 评分: 192 - 评论数: 36 - 发布时间: 2025-10-06 17:41:16 --- ## Battering RAM:低成本中介器攻击与保密计算 本文介绍了一种名为 "Battering RAM" 的新型攻击方式,它利用低成本的中介器绕过 Intel 和 AMD 的最新防御机制,对云处理器的内存加密进行破解。该攻击主要针对 Intel SGX 和 AMD SEV-SNP 这两种用于保护敏感工作负载的保密计算技术。 Battering RAM 的核心在于一个造价仅 50 美元的中介器,它能够悄无声息地拦截并篡改处理器和内存之间传输的信号。在启动阶段,该中介器表现得完全透明,通过所有信任检查。一旦系统运行起来,它就可以通过切换开关,将受保护的内存地址重定向到攻击者控制的位置,从而实现对加密内存的破坏或重放。这种攻击方式能够完全绕过内存加密和启动时防御机制,使攻击者能够以明文形式访问 SGX 保护的内存,并破坏 SEV 的认证功能。 Battering RAM 的攻击过程主要分为两个方面:一是针对 Intel SGX 的攻击,通过重放捕获的密文来获取受害者 enclave 中的明文;二是针对 AMD SEV-SNP 的攻击,通过捕获和重放启动测量值,从而破坏 SEV 的认证,允许攻击者在虚拟机中引入后门而不被检测到。 构建 Battering RAM 的成本非常低廉,所有原理图和电路板文件都已在 GitHub 上开源。该中介器使用简单的模拟开关来主动操纵处理器和内存之间的信号,其 PCB 采用标准的四层设计,可以在任何主要的 PCB 制造商处进行制造。 Battering RAM 攻击对所有使用 DDR4 内存的系统都可能产生影响,尤其是在公共云环境中运行的“保密计算”工作负载。文章指出,即使云服务商运行了硬件级别的访问控制和内存加密,这种攻击仍然可以通过低成本的内存中介器绕过这些安全措施。防御 Battering RAM 需要对内存加密本身进行根本性的重新设计。 - 原文: [Battering RAM – Low-Cost Interposer Attacks on Confidential Computing](https://batteringram.eu/) - Hacker News: [https://news.ycombinator.com/item?id=45488713](https://news.ycombinator.com/item?id=45488713) - 作者: pabs3 - 评分: 88 - 评论数: 42 - 发布时间: 2025-10-06 15:47:17 --- ## pfjson:OpenBSD Packet Filter 配置文件的 JSON 转换工具 pfjson 是一个命令行工具,用于将 OpenBSD Packet Filter 的配置文件(`pf.conf`)转换为 JSON 格式,反之亦然。这个工具的主要目的是方便用户以编程方式处理和管理 pf.conf 文件,例如自动化配置、版本控制和数据分析等。 该工具使用 MIT 许可证,目前在 GitHub 上有 14 个 star 和 0 个 fork。它允许用户将传统的、基于文本的 pf.conf 文件转换为结构化的 JSON 数据,使得配置文件的内容更容易被解析和修改。反向转换功能则允许用户将 JSON 格式的配置重新生成为 pf.conf 文件,方便部署到 OpenBSD 系统中。 这个工具对于需要大规模管理防火墙规则、或者希望将防火墙配置集成到自动化流程中的开发者和系统管理员来说非常有用。通过 JSON 格式,可以更容易地使用各种编程语言和工具来处理防火墙配置,提高工作效率并降低出错率。例如,可以使用 Python 脚本读取 JSON 配置文件,根据不同的环境参数修改规则,然后将其转换回 pf.conf 格式并应用到相应的服务器上。 - 原文: [CLI tool to convert OpenBSD Packet Filter config files to JSON and vice versa](https://github.com/fleximus/pfjson) - Hacker News: [https://news.ycombinator.com/item?id=45465821](https://news.ycombinator.com/item?id=45465821) - 作者: fork-bomber - 评分: 18 - 评论数: 1 - 发布时间: 2025-10-04 02:01:48 --- ## 极简主义背包旅行:十年经验分享 本文作者分享了自己从 2015 年开始的极简主义背包旅行生活方式,核心理念是只拥有必需品,从而更专注、更省钱、更自由。文章会每年更新,分享最新的装备选择和旅行心得。 作者强调,一件行李旅行是最佳的旅行方式,可以避免托运、行李费、排队等麻烦。他优化了自己的装备选择,注重实用性而非昂贵的品牌。虽然快速旅行并非适合所有人,但他现在更倾向于在城市停留更长时间,以保持社交关系和深入探索城市。 作者详细列出了他携带的物品清单,包括背包(Aer Slim Pack)、洗漱包(Rains Pencil Case)、Macbook Air M2 13"、iPhone 15 Pro、Apple Watch S7、Airpods Pro 2、Samsung USB-C 闪存盘等。在充电方面,他选择了 Anker 47W 双 USB-C 充电器、Apple USB-C 数据线和 Apple Watch 快速充电器。服装方面,他偏爱 American Apparel 50/50 T 恤,并将其卷成紧凑的“每日卷”,方便收纳。 总的来说,这篇文章旨在分享一种极简主义的旅行生活方式,并提供一些实用的装备选择建议,帮助读者减少旅行负担,更专注于旅行体验本身。 - 原文: [Indefinite Backpack Travel](https://jeremymaluf.com/onebag/) - Hacker News: [https://news.ycombinator.com/item?id=45452472](https://news.ycombinator.com/item?id=45452472) - 作者: renjieliu - 评分: 26 - 评论数: 14 - 发布时间: 2025-10-03 01:12:23 --- ## Lone Lisp 实现带分隔符的延续 (Delimited Continuations) 本文介绍了 Lone Lisp 编程语言如何通过实现带分隔符的延续来增强其控制流机制,从而为异常处理和生成器等高级特性铺平道路。文章详细讲述了作者在 Lone Lisp 中实现这一特性的过程,包括遇到的挑战和解决方案。 文章首先回顾了 Lone Lisp 最初的迭代实现方式,即通过 C 编译器提供的 `for` 循环来遍历集合并调用函数。这种方式虽然可行,但暴露了 Lone Lisp 在控制程序流程方面的局限性。为了实现更强大的迭代功能,例如 `while` 循环和生成器,作者开始研究其他编程语言的迭代机制,并深入了解了 Ruby 的迭代方式。Ruby 允许程序员将值传递给代码块,并在迭代过程中暂停代码的执行,从而实现并发和中断等高级功能。然而,要实现这种功能,Lone Lisp 需要具备控制调用堆栈的能力。 为了解决这个问题,作者参考了《计算机程序的构造与解释》(SICP) 一书中的显式控制求值器,这是一个使用寄存器和堆栈来求值 Lisp 表达式的机器。作者将 SICP 中的显式控制求值器翻译成 C 语言,并对其进行修改,最终实现了 Lone Lisp 的求值器。这个求值器可以处理自求值的值和函数应用,并能够将任意 Lisp 表达式规约为单个值。 文章还提到了 Lone Lisp 的一个特点,即 `if` 等传统上被认为是语言核心部分的特性,在 Lone Lisp 中被实现为普通的函数,并通过 `import` 语句引入。这使得 Lone Lisp 的求值器更加简洁和通用。 目前还没有评论内容,期待更多开发者参与讨论,分享对 Lone Lisp 实现带分隔符延续的看法和建议。 - 原文: [Delimited Continuations in Lone Lisp](https://www.matheusmoreira.com/articles/delimited-continuations-in-lone-lisp) - Hacker News: [https://news.ycombinator.com/item?id=45459466](https://news.ycombinator.com/item?id=45459466) - 作者: matheusmoreira - 评分: 55 - 评论数: 1 - 发布时间: 2025-10-03 13:52:06 --- ## Evan Chen 的 "无穷大的餐巾纸": 高等数学的轻量级入门 Evan Chen 的 "无穷大的餐巾纸 (An Infinitely Large Napkin)" 是一本高等数学的入门读物,旨在以一种轻松的方式介绍本科到研究生一年级程度的数学知识。这本书试图在严谨性和易读性之间找到平衡,内容涵盖了抽象代数、拓扑学、线性代数等多个领域。 这本书的目标是提供一个鸟瞰式的视角,让读者了解各个数学领域的主要思想和趣味所在,而不是像传统教科书那样深入细节。作者假设读者已经具备一定的证明经验,因此在给出精确的定义和定理陈述后,会更侧重于解释结果“应该”成立的原因,而非形式化的证明。 "餐巾纸" 涵盖了从基础知识到更高级主题的广泛内容,包括抽象代数、拓扑、线性代数、群论、表示论、量子算法、微积分、复分析、测度论、微分几何、黎曼曲面、代数数论、代数拓扑、范畴论、代数几何和集合论等主题。每个部分都旨在简洁明了地介绍核心概念,为读者提供进一步学习的跳板。 该项目还鼓励社区参与,建立了专门的 GitHub 仓库,用于收集和整理 "餐巾纸" 中问题的解决方案,包括 Lean4 形式化证明和 Typst 编写的人工可读解决方案。这些社区资源为读者提供了额外的学习和实践机会。 ## 评论区观点:目标读者与内容深度 评论区对 "餐巾纸" 的目标读者和内容深度提出了一些疑问。有人认为,书中的某些概念(例如群论的介绍)对于初学者来说可能过于抽象,建议作者明确目标读者,并调整内容的难度。 另一位评论者推荐 Serge Lang 的 "Basic Mathematics" 作为学习基础数学的参考书,认为该书的习题非常出色,并且作者从一开始就以数学家的视角对待读者。 总的来说,评论集中在如何更好地定位 "餐巾纸" 的目标读者,以及如何平衡内容的深度和广度,使其更适合不同水平的读者。 - 原文: [Basic Math Textbook: The Napkin Project](https://web.evanchen.cc/napkin.html) - Hacker News: [https://news.ycombinator.com/item?id=45456965](https://news.ycombinator.com/item?id=45456965) - 作者: eapriv - 评分: 114 - 评论数: 46 - 发布时间: 2025-10-03 07:46:40 --- ## 结构化拖延:将坏习惯转化为生产力 本文介绍了“结构化拖延”的概念,这是一种将拖延症转化为优势的策略。核心思想是,拖延者并非无所事事,而是会做一些次要但有用的事情,以此来逃避更重要的任务。 结构化拖延的关键在于巧妙安排任务列表。将最紧急、最重要的任务放在首位,同时在列表下方安排一些有价值的任务。这样,为了避免完成列表顶端的任务,拖延者就会去做列表下方的任务,从而成为一个有用的公民,甚至赢得高效的美誉。作者分享了自己在斯坦福宿舍担任管理员的经历,通过与学生互动来逃避批改论文等工作,反而赢得了好名声。 文章还指出,拖延者常犯的错误是试图减少任务,认为这样就能摆脱拖延。然而,这会适得其反,因为剩下的任务都是最重要的,唯一的逃避方式就是什么都不做。因此,要保持一定数量的任务,并巧妙地将一些看似重要但实则不然的任务放在列表顶端,以此来驱动自己完成其他任务。结构化拖延需要一定的自我欺骗,即赋予某些任务虚假的紧迫性和重要性,但这对拖延者来说并非难事,因为他们通常具备出色的自我欺骗能力。 ### 评论区观点 评论区中,@codesnik 分享了自己的经历,表示在只有一个明确目标时,反而效率低下,并吐槽了某些管理者试图微观管理其时间的做法,认为这适得其反。他认为作者的秘诀在于“在学术界工作”。@tolerance 则指出,今年关于结构化拖延的讨论中,有大量提及“ADHD”(注意力缺陷多动症)的情况。这表明结构化拖延可能与 ADHD 存在关联,或者说,这种策略可能对 ADHD 患者有所帮助。 - 原文: [Structured Procrastination (1995)](https://structuredprocrastination.com) - Hacker News: [https://news.ycombinator.com/item?id=45488261](https://news.ycombinator.com/item?id=45488261) - 作者: ipnon - 评分: 329 - 评论数: 129 - 发布时间: 2025-10-06 14:35:36 --- ## Flightcontrol:在 AWS 上轻松构建梦想 Flightcontrol 是一款 PaaS 平台,旨在简化 AWS 部署流程,让开发者无需成为 DevOps 专家也能充分利用 AWS 的强大功能。它通过提供用户友好的界面和自动化工具,极大地降低了 DevOps 的开销,使开发团队能够专注于构建产品,而无需担心底层的基础设施配置。 Flightcontrol 致力于解决传统 AWS 设置中存在的痛点,例如复杂的 Terraform 脚本、手动配置和无休止的 CI/CD 管道。它通过以下几个步骤简化了部署流程:首先,将 AWS 账户连接到 Flightcontrol;其次,连接 Git 仓库;然后,定义服务(服务器、API、数据库等);最后,Flightcontrol 将自动完成基础设施的配置、CI/CD 和部署。 该平台提供了一个专为开发者设计的直观仪表板,可以清晰地查看整个基础设施,并轻松管理部署、服务和扩展。与传统的 AWS 控制台相比,Flightcontrol 更加易于使用,降低了学习曲线。此外,Flightcontrol 还支持各种用例,例如 CloudFront CDN、S3、Lambda@Edge、ECS、Fargate 或 EC2、RDS 和 ElastiCache 等。 Flightcontrol 提供 24/7 紧急支持,并提供 DevOps 支持附加组件,以满足团队的额外基础设施需求。此外,它还支持临时预览环境,可以为每个 pull request 自动启动临时基础设施,并在合并后清理,从而加快发布速度并减少生产中的错误。通过资源优化和数据库 seeding,预览环境可以提供更真实的测试场景,并帮助团队在代码上线前发现问题。 Flightcontrol 旨在提供 Vercel 或 Heroku 等平台的简单性,同时结合 AWS 的强大功能、可靠性和灵活性。它通过简化 AWS 部署流程,使开发团队能够更快地交付产品,并专注于构建卓越的软件。 **评论观点分析:** 用户评论普遍对 Flightcontrol 的易用性、强大的支持团队和显著降低 DevOps 开销的能力表示赞赏。许多用户提到,Flightcontrol 使他们能够以较低的成本和更高的效率利用 AWS 的优势,并且无需专业的 DevOps 知识。一些用户还强调了 Flightcontrol 在构建时间和可靠性方面的优势,以及其对预览环境的支持。总的来说,评论表明 Flightcontrol 是一款有价值的工具,可以帮助各种规模的团队简化 AWS 部署并提高开发效率。 - 原文: [Flightcontrol: AWS PaaS](https://www.flightcontrol.dev/) - Hacker News: [https://news.ycombinator.com/item?id=45488441](https://news.ycombinator.com/item?id=45488441) - 作者: handfuloflight - 评分: 118 - 评论数: 53 - 发布时间: 2025-10-06 15:07:11 --- ## iRonCub:像钢铁侠一样飞行的喷气动力人形机器人 本文介绍了 iRonCub,一个旨在像钢铁侠一样飞行的喷气动力人形机器人。这个项目探索了人形机器人飞行的新方向,试图将科幻变为现实。 iRonCub 的设计灵感来源于钢铁侠,目标是实现自主飞行和空中操作。它采用了喷气动力系统,使其能够在空中进行各种姿态调整和移动。该机器人的研发团队正在努力解决控制、稳定性和能源效率等关键技术难题。 文章详细介绍了 iRonCub 的硬件结构,包括喷气发动机、控制系统和传感器。同时,也探讨了其软件算法,例如姿态控制、路径规划和环境感知。iRonCub 的应用前景广泛,包括搜救、巡检和高空作业等。 研究人员面临的挑战包括如何提高机器人的续航能力,以及如何确保其在复杂环境中的安全可靠运行。未来的研究方向可能包括开发更高效的能源系统、改进控制算法,以及提升机器人的自主决策能力。 总的来说,iRonCub 项目代表了机器人领域的一个大胆尝试,它不仅展示了科技的进步,也激发了人们对未来机器人应用的无限想象。虽然目前仍处于研发阶段,但 iRonCub 有望在未来成为一种重要的空中作业平台。 - 原文: [IRonCub: A Humanoid Robot Designed to Fly Like Iron Man](https://spectrum.ieee.org/ironcub-jet-powered-flying-robot) - Hacker News: [https://news.ycombinator.com/item?id=45453818](https://news.ycombinator.com/item?id=45453818) - 作者: rbanffy - 评分: 22 - 评论数: 29 - 发布时间: 2025-10-03 02:54:12 --- ## Magic Wormhole:安全便捷的文件传输工具 Magic Wormhole 是一款旨在安全地在两台计算机之间传输文件、目录以及其他数据流的工具。它通过密码验证密钥交换(PAKE)机制,使用户能够通过简短易记的验证码,实现高安全性的端到端加密传输。 Magic Wormhole 的核心优势在于其安全性和易用性。传统的文件传输方式往往复杂且安全性较低,而 Magic Wormhole 通过 PAKE 协议,保证了即使在不安全的网络环境中,也能安全地建立连接并传输数据。它支持多种连接方式,包括局域网直连、公网直连以及通过中继服务器转发,从而适应各种网络环境。初始消息通过“邮箱”服务器发送,用于建立共享密钥,后续的数据传输则通过端到端加密进行,确保数据安全。 该工具不仅可以传输文件,还可以传输 TCP 或其他网络流,应用场景广泛。例如,可以用于文件共享、远程协作、安全通信等。Magic Wormhole 提供了命令行工具 `wormhole`,用户只需在发送端和接收端分别运行相应的命令,并输入相同的验证码即可完成传输。验证码由程序自动生成,易于输入和验证,无需记忆。 Magic Wormhole 的安全性基于 SPAKE2 协议,即使攻击者截获了验证码,也只有一次猜测的机会。如果猜测失败,连接将会中断,并提示用户。此外,Magic Wormhole 还有多种客户端实现,包括 Gnome GUI 应用 Warp 和 Android 手机应用 Wormhole,方便不同平台的用户使用。 总而言之,Magic Wormhole 提供了一种安全、便捷的文件和数据传输方案,简化了传统文件传输的复杂性,并提高了安全性。无论是开发者还是普通用户,都可以通过 Magic Wormhole 轻松实现安全的数据传输。 - 原文: [Magic Wormhole: Get things from one computer to another, safely](https://magic-wormhole.readthedocs.io/en/latest/welcome.html) - Hacker News: [https://news.ycombinator.com/item?id=45448747](https://news.ycombinator.com/item?id=45448747) - 作者: xd1936 - 评分: 220 - 评论数: 67 - 发布时间: 2025-10-02 20:25:41 --- ## Sonic Robo Blast 2:持续开发 25 年的 DOOM 引擎同人游戏 《Sonic Robo Blast 2》(SRB2) 是一款基于 Doom Legacy 引擎修改的 3D 索尼克同人游戏,它深受世嘉 Genesis 平台上的初代索尼克游戏启发,并尝试在 3D 环境中重现其设计。虽然 SRB2 尚未完全完成,但它已经包含了大量的关卡、敌人和速度感,以及初代索尼克游戏提供的诸多乐趣。 SRB2 近期发布了 v2.2.15 补丁,主要修复了 v2.2.14 版本中出现的问题,例如修复了导致大规模 Mod 崩溃的常量列表错误,并暂时移除了专用盾牌按钮,因为该改动可能会破坏 Mod 兼容性。此外,Pipe Towers Zone 也恢复到了之前的版本,以解决发布后出现的一些资源署名问题。 在 v2.2.14 版本中,游戏对 Match 和 CTF 模式进行了重大改革,并新增了 Crystalline Heights Zone、Pristine Shores Zone 和 Summit Showdown Zone 等社区创作的地图。此外,解锁关卡也获得更新,例如 Skydusk 重新设计的 Pipe Towers Zone。角色精灵也由 MotorRoach 进行了重新绘制。此版本还增加了一个专用盾牌按钮,OpenGL 渲染器现在支持类似软件的调色板渲染,并为 Mod 开发者提供了纹理缩放、逐墙照明和扇区传送门等功能。 此外,OLDC 2023 Round 2 也已发布,其中包含 34 张地图,参与者可以在一个商场中创建小商店作为中心枢纽。 - 原文: [Sonic Robo Blast 2: 25 year old continuously developed DOOM engine-based fangame](https://www.srb2.org/) - Hacker News: [https://news.ycombinator.com/item?id=45447226](https://news.ycombinator.com/item?id=45447226) - 作者: __grob - 评分: 224 - 评论数: 32 - 发布时间: 2025-10-02 15:50:36 --- ## Internet Archive 庆祝里程碑:1 万亿网页存档! Internet Archive 将在今年 10 月庆祝一个非凡的里程碑:通过 Wayback Machine 保存并提供访问的 1 万亿个网页。自 1996 年以来,Internet Archive 一直与世界各地的图书馆和合作伙伴合作,构建一个共享的数字图书馆,记录人类的在线历史,从突发新闻到被遗忘的个人页面,大大小小的网站都被捕获,以便后代可以访问。 为了庆祝这一成就,Internet Archive 将在 10 月份举办一系列活动,重点介绍促成这一成就的记忆、创造者和运动,并展望网络保存的未来。活动包括:Del Sol Quartet 音乐会(10 月 7 日)、Sir Tim Berners-Lee 和 Brewster Kahle 的对话(10 月 9 日)、图书馆领导人论坛(10 月 16 日)、物理档案馆幕后之旅(10 月 21 日)、庆祝 1 万亿网页存档的全球活动(10 月 22 日)以及在乔治城大学举办的关于开放网络的讨论会(10 月 27 日)。 除了庆祝活动,Internet Archive 还强调了 Wayback Machine 对人们生活、研究和记忆的实际影响。从移民案件到个人历史,从学术研究到调查新闻,Wayback Machine 已经成为一个重要的公共资源,为所有人保存网络。Internet Archive 鼓励用户分享他们与 Wayback Machine 的故事,并呼吁大家支持 Internet Archive 的工作,共同构建网络的集体记忆。 - 原文: [1 Trillion Web Pages Archived](https://blog.archive.org/trillion/) - Hacker News: [https://news.ycombinator.com/item?id=45487476](https://news.ycombinator.com/item?id=45487476) - 作者: pabs3 - 评分: 429 - 评论数: 66 - 发布时间: 2025-10-06 11:48:34 --- ## 全新 Ruby Gems 镜像站 gem.coop 上线 gem.coop 是一个由 Ruby Gems 前维护者和运营者构建的全新 Ruby gems 镜像站,旨在为 Ruby 生态系统提供快速、简单的 gem 托管服务。它与 Bundler 兼容,并针对下一代技术进行了优化,所有发布到 RubyGems.org 的 gems 都会实时更新。 gem.coop 的亮点在于其社区所有、透明、可持续和安全的 gem 托管目标。用户可以通过简单地修改 Gemfile 中的 source 来开始使用它。该项目的治理模式效仿 Homebrew,并由 Mike McQuaid 提供设置帮助。 gem.coop 欢迎 Ruby 社区的每个人参与贡献。目前,gem.coop 支持所有公共 gems 的打包和安装,并计划持续改进。该项目由 Deivid Rodríguez、Duckinator、Indirect、Martin Emde、Segiddins 和 Simi 共同发起。 评论区对 gem.coop 的出现反应不一。一些用户对开源社区能够挺身而出表示赞赏,并对所有参与者表示感谢。另一些用户则认为这是对 Ruby Central 恶意收购 RubyGems GitHub 仓库(而非 rubygems.org 仓库)的回应。还有用户希望 gem.coop 能够解决 RubyGems 的主要问题,例如缺乏代码签名。此外,还有一些用户对该帖子被标记为“已标记”感到困惑,并认为这是一个值得讨论的话题。总的来说,评论区反映了社区对 gem.coop 的期望和担忧,以及对 RubyGems 未来发展的关注。 - 原文: [Gem.coop](https://gem.coop/) - Hacker News: [https://news.ycombinator.com/item?id=45487771](https://news.ycombinator.com/item?id=45487771) - 作者: mbStavola - 评分: 154 - 评论数: 63 - 发布时间: 2025-10-06 12:59:39 --- ## LLM 为何对海马表情符号感到困惑? 这篇文章探讨了大型语言模型(LLM)为何会错误地认为存在海马表情符号,以及这种错误认知如何导致奇怪的行为。文章通过实验和分析,揭示了 LLM 内部的运作机制,并探讨了这种现象背后的可能原因。 文章首先展示了多个 LLM,包括 GPT-5 和 Claude Sonnet 4.5,都坚信存在海马表情符号,即使实际上并没有。作者还提到,很多人类也持有同样的错误记忆,甚至在 Reddit 上有数百条评论讨论这个“消失的”表情符号。 文章提出,LLM 相信海马表情符号可能有两个原因:一是训练数据中存在大量人类的错误认知,二是由于 Unicode 中存在许多其他水生动物表情符号,LLM 和人类都可能合理地假设海马也应该存在。 为了深入了解 LLM 的行为,文章使用了 logit lens 技术,这是一种用于解释 LLM 内部状态的工具。通过分析 LLM 中间层的预测结果,作者发现模型在早期层中会提取与海马相关的概念,例如“sea horse horse”。这表明模型在内部确实存在对海马表情符号的表征,尽管最终的预测结果是错误的。 文章还解释了 tokenizer 的一些特性,例如某些奇怪的 token(如 'ĠðŁ')实际上是鱼表情符号的 UTF-8 字节编码。虽然这与海马表情符号的错误认知没有直接关系,但有助于理解 LLM 如何处理文本数据。 总而言之,这篇文章深入探讨了一个有趣的现象,即 LLM 如何受到训练数据和自身内部机制的影响,从而产生错误的认知。通过使用 logit lens 等工具,我们可以更好地理解 LLM 的内部运作,并揭示其行为背后的原因。 - 原文: [Why do LLMs freak out over the seahorse emoji?](https://vgel.me/posts/seahorse/) - Hacker News: [https://news.ycombinator.com/item?id=45487044](https://news.ycombinator.com/item?id=45487044) - 作者: nyxt - 评分: 544 - 评论数: 279 - 发布时间: 2025-10-06 10:20:05 --- ## GPT-oss 模型揭示 OpenAI 训练数据中的秘密 OpenAI 近期开源的 GPT-oss 模型,意外泄露了其训练数据的部分信息,揭示了 GPT-5 竟然使用了来自成人网站的短语进行训练。 文章通过分析 GPT-oss 模型的 token embeddings,发现了一些有趣的现象。首先,模型中存在一些 L2 范数非常低的 token,这些 token 很可能在训练过程中没有出现过,或者出现频率极低,从而被权重衰减所抑制。这些 token 包括一些特殊字符和罕见的 Unicode 字节序列。 其次,文章发现了一些 L2 范数非常高的 token。在英文 token 中,这些 token 通常是常见的词汇,或者与推理、代码相关的词汇。这可能意味着在训练的最后阶段,模型进行了代码相关的强化学习,或者模型对推理相关的 token 赋予了更高的权重。 更有趣的是,在非 ASCII token 中,文章发现了一些与垃圾信息、成人网站相关的中文词汇,例如“这里只有精品”、“天天好彩票”、“大香蕉网”等。这些词汇的出现表明,OpenAI 的训练数据中可能包含一些低质量的内容。更令人惊讶的是,一些与中国民族主义和军事相关的网站名称,如“铁血网”,也出现在了高范数 token 中。 文章还提到,在阿布哈兹语、亚美尼亚语、古吉拉特语、泰语等语言中,也存在一些高范数的 token,例如泰语中的“宣誓效忠”和“今日足球分析”等。 文章提出了一个问题:为什么这些 token 的范数会高于正常 token?如果它们没有被使用,权重衰减应该会将它们的范数降低到与其他未使用 token 相同的水平。 为了进一步了解这些 token 的含义,文章尝试让 GPT-oss 和 GPT-5 解释这些 token 的含义。例如,当被问及“毛片免费观看”的含义时,GPT-5 能够正确地解释其含义。 总而言之,通过分析 GPT-oss 模型的 token embeddings,文章揭示了 OpenAI 训练数据的一些有趣细节,包括低质量内容的出现和对特定类型 token 的偏好。这些发现对于理解语言模型的训练过程和潜在偏差具有重要意义。 - 原文: [What GPT-OSS leaks about OpenAI's training data](https://fi-le.net/oss/) - Hacker News: [https://news.ycombinator.com/item?id=45483924](https://news.ycombinator.com/item?id=45483924) - 作者: fi-le - 评分: 297 - 评论数: 70 - 发布时间: 2025-10-06 02:28:16 --- ## 使用 Wintun 在 Windows 上构建 VPN 隧道 本文介绍了如何使用 Wintun 在 Windows 上构建 VPN 隧道,Wintun 作为一个 Layer 3 虚拟适配器,允许用户空间应用程序直接处理 IP 数据包。 文章详细讲解了 Wintun 的作用,它类似于 TUN 接口,创建了一个虚拟网络适配器,可以通过简单的文件读写操作直接访问网络层(IP)数据包。与物理网卡不同的是,所有的数据包传输和处理都完全由用户自定义的程序在用户空间中管理。文章还介绍了如何下载 Wintun 动态库,以及如何使用 WireGuardGO 接口绑定来创建虚拟网卡。如果程序在执行过程中显示“Unable to load library”错误,需要确保 `wintun.dll` 与可执行文件位于同一目录中。文章还提供了设置网络卡 IP 和路由的方法,通过 Windows API 来完成配置,并给出了读取和写入 IP 数据包的示例代码,展示了如何读取 ICMP 数据包。最后,文章强调了部署应用程序时,确保将 `wintun.dll` 包含在可执行文件的同一目录中,这对于程序的正常运行至关重要。 评论区中,@accessonline 引用了文章中关于 Wintun 作为 Layer 3 虚拟适配器的描述,强调了其允许用户空间应用程序直接处理 IP 数据包的功能,以及它与物理网卡的区别在于数据包处理完全由用户空间程序管理。这进一步突出了 Wintun 在构建 VPN 隧道中的核心作用。 - 原文: [Build a VPN Tunnel with Wintun on Windows – Part 1](https://0xmm.in/posts/peer-to-peer-windows-part1/) - Hacker News: [https://news.ycombinator.com/item?id=45489581](https://news.ycombinator.com/item?id=45489581) - 作者: accessonline - 评分: 29 - 评论数: 1 - 发布时间: 2025-10-06 17:49:33 --- ## 探索 QNX 操作系统:早期发展与技术特点 本文深入探讨了 QNX 操作系统的早期发展历程,从其前身 Thoth 系统到 QUNIX 的诞生,再到更名 QNX 并最终发布 1.0 版本。文章详细介绍了 QNX 的设计理念、技术特点以及在早期 IBM PC 平台上的应用。 QNX 的故事始于 1979 年,Gordon Bell 和 Dan Dodge 在滑铁卢大学期间开发的 Thoth 系统。Thoth 以其实时性、同步消息传递和高可移植性而著称,这为 QNX 的诞生奠定了基础。1980 年,两人创立 Quantum Software Systems,致力于开发适用于 IBM PC 的实时操作系统。 最初的 QUNIX 操作系统是一个类 UNIX 的微内核实时系统,虽然在早期版本中与 UNIX 存在一些差异,例如目录结构和命令名称,但它已经具备了微内核架构和实时性。在 1982 年发布的 QUNIX 0.4.33 版本中,QNIX 成为首个支持 IBM PC 硬盘的操作系统。 由于 QUNIX 的名称与 UNIX 过分相似,在收到 AT&T 的停止侵权通知后,该系统于 1982 年底更名为 QNX。1983 年 3 月,QNX 1.0 正式发布。QNX 采用了微内核架构,核心仅包含约 1 万行 C 代码,负责任务调度、消息传递和任务优先级。其他功能,如驱动程序、文件系统和网络,都以服务的形式实现,并通过消息传递与微内核通信。QNX 的消息队列具有网络透明性,使得不同物理机器上的任务可以像本地任务一样进行通信。QNX 1.0 在 IBM PC 上运行时,速度达到了 DEC VAX 11/780 的 29% 到 47%。 - 原文: [The QNX Operating System](https://www.abortretry.fail/p/the-qnx-operating-system) - Hacker News: [https://news.ycombinator.com/item?id=45481892](https://news.ycombinator.com/item?id=45481892) - 作者: BirAdam - 评分: 277 - 评论数: 105 - 发布时间: 2025-10-05 22:47:13 --- ## 著名制琴师 Ken Parker 去世,他的创新精神永存 Ken Parker,以其创新性的拱面吉他设计而闻名的制琴大师,离开了我们。他留下的不仅是精美的乐器,更是一种对制琴艺术不断探索和突破的精神。Parker 在告别信中表达了对所有人的感谢,并表示他的工作将由 Sam Krimmel 继续传承下去,他们甚至计划通过某种“心灵媒介”继续合作,共同创造新的作品。 Parker 的设计理念大胆前卫,敢于挑战传统。他鼓励大家在他已有的基础上继续创新,将制琴工艺推向新的高度。他将自己的知识和经验分享给他人,希望他的精神能够继续激励后人。他与 Sam Krimmel 的合作,预示着 Parker 创新精神的延续,也让人们对未来 Parker 风格的吉他充满期待。 评论区充满了对 Ken Parker 的缅怀和敬意。许多人对 Parker Fly 吉他赞不绝口,认为它是电吉他发展史上的一次重大飞跃,拥有诸多创新设计,例如不锈钢品丝、压电+磁性拾音器、碳纤维加固以及无缝颈部连接。有人提到 Parker 吉他非常轻便,手感极佳。也有人分享了关于 Parker 的采访和维基百科页面,表达对这位创新者的敬佩。还有人指出,Parker 的去世也让人反思美国医疗保障体系的现状。总而言之,评论区充满了对 Ken Parker 的怀念,以及对他为吉他制造行业所做贡献的肯定。他的创新精神和对艺术的执着追求,将继续影响着一代又一代的制琴师和音乐爱好者。 - 原文: [Ken Parker, famed luthier, has died](https://kenparkerarchtops.com) - Hacker News: [https://news.ycombinator.com/item?id=45485736](https://news.ycombinator.com/item?id=45485736) - 作者: dagmx - 评分: 126 - 评论数: 39 - 发布时间: 2025-10-06 06:10:15 --- ## 使用 Triton 编写 Physarum 模拟:性能分析与优化 本文主要探讨了使用 Triton 这一 DSL (Domain Specific Language) 来加速 Physarum 菌落生长模拟的实践过程,重点在于性能分析和优化。Physarum 模拟涉及在一个二维网格上模拟大量agent的运动,agent根据信息素浓度移动并留下痕迹,同时信息素会扩散和衰减。 文章首先介绍了 Physarum 模型的原理,它包含agent层和信息素层,agent根据传感器感知的信息素浓度调整移动方向,并在移动过程中释放信息素。随后,作者展示了使用 PyTorch 实现的 Physarum 模拟代码,包括初始化agent位置、方向,以及信息素场,并定义了agent的感知、移动、沉积信息素,以及信息素扩散和衰减等步骤。 文章的重点在于使用 Triton 对关键的计算密集型函数进行加速。Triton 允许开发者编写自定义的 GPU kernel,从而实现更精细的性能控制。作者详细介绍了如何将 PyTorch 代码转换为 Triton kernel,并讨论了优化策略,例如调整 block size、使用 shared memory 等。通过使用 Triton,作者实现了显著的性能提升。 文章还分析了不同参数对性能的影响,例如agent数量、网格大小等。此外,作者还探讨了并行化的策略,例如使用多个 GPU 来加速模拟过程。通过实验,作者展示了 Triton 在 Physarum 模拟中的优势,并为其他开发者提供了宝贵的经验。 由于未提供评论内容,故略过评论分析。 - 原文: [The G in GPU is for Graphics damnit](https://ut21.github.io/blog/triton.html) - Hacker News: [https://news.ycombinator.com/item?id=45448416](https://news.ycombinator.com/item?id=45448416) - 作者: sebg - 评分: 183 - 评论数: 67 - 发布时间: 2025-10-02 19:46:27 --- ## 深入了解基于规则的专家系统:MYCIN 实验 这本书深入探讨了人工智能领域中一个重要的里程碑:MYCIN,一个基于规则的专家系统。它不仅回顾了 MYCIN 近十年的发展历程,还对其背后的设计思想、实验过程以及对人工智能领域的贡献进行了全面的分析。 本书由 Bruce G. Buchanan 和 Edward H. Shortliffe 编辑,汇集了大量科学家的研究成果,旨在为人工智能领域提供一个详细的回顾性视角,从而奠定该领域的科学基础。书中详细介绍了 MYCIN 的规则形式的演变、系统结构以及咨询系统的细节。此外,还深入探讨了知识库的构建、不确定性推理、MYCIN 的泛化以及推理的解释等方面。 本书还涵盖了使用其他表示方法、辅导、扩充规则、评估性能以及人为使用设计等主题。通过对 MYCIN 实验的全面分析,本书为读者提供了一个深入了解基于规则的专家系统以及人工智能领域发展的重要机会。书中各章节均可免费获取,方便读者查阅相关内容。 - 原文: [Rule-Based Expert Systems: The Mycin Experiments (1984)](https://www.shortliffe.net/Buchanan-Shortliffe-1984/MYCIN%20Book.htm) - Hacker News: [https://news.ycombinator.com/item?id=45486306](https://news.ycombinator.com/item?id=45486306) - 作者: mindcrime - 评分: 80 - 评论数: 19 - 发布时间: 2025-10-06 07:51:47 --- ## Toybox:一体化的 Linux 命令行工具箱 Toybox 是一个为 Linux 系统设计的精简版命令行工具集,目标是提供一个轻量级的、符合 POSIX 标准的替代方案,适用于嵌入式系统和 Android 等环境。它试图整合 busybox 和 otherbox 的优点,避免它们的缺点,提供更完整的工具集。 Toybox 的代码库相对较小,避免了 GPL 许可,使用了更宽松的 BSD 许可,这使得它在商业应用中更具吸引力。该项目由 Rob Landley 主导开发,致力于提供一个稳定、可靠且功能全面的命令行环境。最近的更新包括对 `xargs` 命令的增强,实现了 `-a` 选项,以及修复了一些构建和代码问题。此外,项目还在持续改进配置系统和库函数,以提高整体的稳定性和性能。 Toybox 的目标是提供一个完整的 Linux 命令行环境,包括常见的工具如 `ls`、`cp`、`mv`、`rm` 等,以及一些更高级的工具。它特别关注代码质量和安全性,努力避免常见的安全漏洞和错误。通过提供一个 BSD 许可的替代方案,Toybox 旨在成为嵌入式系统和 Android 开发者的首选工具集。 该项目的文件结构包括核心工具的源代码(位于 `toys` 目录),库函数(位于 `lib` 目录),以及构建脚本和配置文件。`mkroot` 目录包含用于创建根文件系统的脚本,`tests` 目录包含用于测试工具功能的测试用例。通过持续的开发和维护,Toybox 致力于成为一个可靠且功能强大的 Linux 命令行工具箱。 - 原文: [Toybox: All-in-one Linux command line](https://github.com/landley/toybox) - Hacker News: [https://news.ycombinator.com/item?id=45484284](https://news.ycombinator.com/item?id=45484284) - 作者: welovebunnies - 评分: 104 - 评论数: 36 - 发布时间: 2025-10-06 03:09:35 --- ## NFS 迎来 40 周年:Sun Microsystems 网络文件系统的回顾与讨论 本文介绍了 Sun Microsystems 的网络文件系统(NFS),该项目始于 1983 年,至今仍是分布式计算机系统的基础技术。该网站收集了与 NFS 相关的各种资料,包括设计文档、白皮书、工程规范、会议和期刊论文以及标准资料,还涵盖营销材料、贸易新闻、广告、书籍和个人纪念品。 该网站将资料组织为四个部分:源代码和规范、与 NFS 相关的文档、关于先前和竞争工作的文档以及照片。所有资料均可从该网站下载,除非另有说明。该网站还提供了一个与 NFS 相关的互联网 RFC 完整列表。此外,还有一个名为 nfsv4bat.org 的网站,其中包含 1995 年之后与 NFS 相关的各种资料,尤其是 Connectathon。 NFS 在开发者和系统管理员的日常工作中仍然扮演着重要的角色。许多用户依赖 NFS 进行文件共享、备份、代码开发以及数据存储等任务。尽管存在一些替代方案,但 NFS 的简单性和可靠性使其成为许多场景下的首选。 评论区里,大家分享了各自与 NFS 的故事和经验,展现了 NFS 在不同场景下的应用和价值。 * **NFS 的实用性:** 许多评论者表示,他们至今仍在使用 NFS,并且认为它“非常好用”。例如,有人在一个大型数据中心应用中使用 NFS,并表示其在专用 100Gb 网络上运行良好。还有人将 NFS 作为家庭网络服务器的骨干,用于文件共享、本地备份和代码开发。 * **NFS 与其他技术的比较:** 一些评论者将 NFS 与 SMB 等其他文件共享技术进行了比较。有人指出,在 macOS 上,NFS 在许多工作负载下仍然比 SMB 表现更好。 * **NFS 的历史和演变:** 还有一些评论者分享了他们早期使用 NFS 的经历,以及 NFS 在不同操作系统和环境中的发展。例如,有人回忆起在 90 年代使用 NFS 的经历,以及 NFS 缓存对性能的影响。 * **NFS 的局限性:** 也有评论者提到了 NFS 的一些局限性,例如服务器故障时可能导致工作停止。然而,他们也表示,通过合理的配置和管理,可以克服这些问题。 * **NFS 的未来:** 尽管 NFS 已经存在了 40 年,但许多评论者认为它仍然具有生命力,并且在未来仍将继续发挥作用。有人提到,PornHub 的源集群使用 NFS 来提供 PB 级的文件,这表明 NFS 仍然可以满足大规模应用的需求。 总的来说,评论区对 NFS 的评价是积极的,许多用户认为它是一种可靠、实用且易于使用的文件共享技术。尽管存在一些替代方案,但 NFS 仍然是许多场景下的首选,并且在未来仍将继续发挥作用。 - 原文: [NFS at 40 – Remembering the Sun Microsystems Network File System](https://nfs40.online/) - Hacker News: [https://news.ycombinator.com/item?id=45482467](https://news.ycombinator.com/item?id=45482467) - 作者: signa11 - 评分: 164 - 评论数: 125 - 发布时间: 2025-10-05 23:49:58 --- ## 创建动机明确的证明数据库 本文讨论了创建一个包含“结构化动机证明”数据库的必要性,旨在提升数学领域人工智能的能力,特别是解决当前AI在复杂证明中存在的“猜测与检查”问题。 文章指出,现有AI在数学领域的应用受到数据类型的限制,它们擅长模仿数学论文的呈现方式,但缺乏对证明背后思考过程的理解。在面对复杂问题时,AI倾向于使用“猜测与检查”方法,而忽略了数学家在证明过程中所经历的失败尝试和推理过程。作者认为,如果能构建一个包含详细证明发现过程的数据库,AI将能够学习到更有效的解题策略,从而突破当前能力的瓶颈。这个数据库将记录数学家在解决问题时的思考过程,包括最初的动机、尝试过的错误方法以及最终成功的关键步骤。通过训练AI学习这些“证明发现过程”,可以使其不再依赖于“猜测与检查”,而是能够像人类数学家一样进行深入的思考和推理。作者设想,这样的数据库将包含定理和证明,但更重要的是,它将揭示隐藏在非显而易见细节背后的思考过程。 - 原文: [Creating a database of motivated proofs](https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/) - Hacker News: [https://news.ycombinator.com/item?id=45455650](https://news.ycombinator.com/item?id=45455650) - 作者: furcyd - 评分: 11 - 评论数: 2 - 发布时间: 2025-10-03 05:14:43 --- ## 使用 Framework 笔记本和磁盘自建 10TB S3 存储 这篇文章介绍了作者如何使用一台二手 Framework 笔记本电脑和 JBOD (Just a Bunch Of Disks) 搭建了一个 10TB 的 S3 自托管存储方案。这个方案主要用于 AppGoblin 的 SDK 跟踪,需要大量的廉价存储空间。 作者选择了一台没有屏幕的旧款 Framework 笔记本,搭配 JBOD,运行 ZFS 文件系统和 Garage S3 服务。文章提到,作者已经几个月没有关注这台服务器了,最近登录后发现已经使用了 10TB 的空间,并且成功完成了 Garage S3 的版本升级。作者也提到了使用 USB 连接 JBOD 可能会导致 ZFS 的问题,通过将元数据移动到笔记本电脑上解决了这个问题。总的来说,作者对这个自托管方案的稳定性和易用性感到满意。 评论区里,mydeardiary 分享了自己类似的 USB 连接存储系统搭建经验,不过他的方案是使用一个 Amlogic s905x 2GB 盒子和 500GB 硬盘,虽然速度较慢,容量有限,但也能满足他的需求。这体现了自托管方案的多样性,可以根据自身需求和预算进行灵活配置。 - 原文: [Self hosting 10TB in S3 on a framework laptop and disks](https://jamesoclaire.com/2025/10/05/self-hosting-10tb-in-s3-on-a-framework-laptop-disks/) - Hacker News: [https://news.ycombinator.com/item?id=45480317](https://news.ycombinator.com/item?id=45480317) - 作者: ddxv - 评分: 252 - 评论数: 105 - 发布时间: 2025-10-05 17:51:26 ---

  

🫵 来啊,说点有用的废话!