1小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20251107
想知道Meta的AI大佬为何离职？想了解为啥青少年都觉得新闻“无聊又糟糕”？想学习如何用代码打造3D模型？这期日报统统满足你！
我们精选了AI、游戏、宇宙学、编程等多个领域的重磅文章，从PyTorch核心人物离职到开源Morrowind引擎的更新，再到宇宙膨胀速度可能减缓的惊人发现，内容绝对有料！
无论你是技术大牛还是小白，都能在这里找到感兴趣的内容。赶紧点开全文，一起探索科技世界的无限可能吧！
---
## Soumith Chintala 离开 Meta 和 PyTorch
Soumith Chintala 在博客中宣布离开 Meta 和 PyTorch，结束了他在 Meta 十一年的职业生涯，以及领导 PyTorch 近八年的历程。他表示，离开 Meta 是一个艰难的决定，但内心充满感激，并对 PyTorch 的发展感到自豪。
PyTorch 已经能够处理 exascale 级别的训练，为基础模型提供支持，并在各大 AI 公司投入生产。同时，PyTorch 也在 MIT 等高校以及印度乡村的课堂上被广泛教授，降低了 AI 领域的入门门槛。尽管 AI 技术仍在快速发展，PyTorch 仍需不断追赶，但 Soumith 对 PyTorch 团队的未来充满信心。他认为，PyTorch 已经足够强大，可以继续发展壮大，即使他离开，PyTorch 的核心价值观和产品质量也不会改变。
Soumith 提到在 Meta 的早期岁月，特别是 FAIR 部门，是他职业生涯中最快乐和最有成效的时光。他与许多杰出的人才一起工作，共同构建了最先进的 AI 技术。在 PyTorch 方面，他热爱构建 PyTorch 的每一个环节，包括设计、管理、产品、沟通、文档、发布、修复错误等等。他特别感谢 PyTorch 团队的每一位成员，以及所有为 PyTorch 做出贡献的人。Soumith 还分享了与 PyTorch 用户互动的难忘时刻，这些时刻让他意识到他们的工作对许多人来说意义重大。
Soumith 离开 Meta 后，计划从事一些小而新的、自己不完全理解的事情。他需要探索外部世界，尝试一些新的事物，不希望留下未尝试的遗憾。虽然放弃在 AI 行业的重要地位很困难，但他对未知事物的好奇心最终占据了上风。他表示会继续关注 PyTorch 的发展，并以各种方式参与其中。
- 原文: [Leaving Meta and PyTorch](https://soumith.ch/blog/2025-11-06-leaving-meta-and-pytorch.md.html)
- Hacker News: [https://news.ycombinator.com/item?id=45843948](https://news.ycombinator.com/item?id=45843948)
- 作者: saikatsg
- 评分: 459
- 评论数: 94
- 发布时间: 2025-11-07 14:14:50
---
## Farmers' Almanac 的告别文章
这篇文章是 Farmers' Almanac 发布的一篇告别文章，内容主要围绕其提供的各种服务和资源展开。Farmers' Almanac 涵盖了天气预报、天文现象、园艺知识等多个方面，旨在帮助人们更好地规划生活和了解自然。
文章内容包括快速访问链接，如最新文章、时事通讯注册和商店链接。它还提供了会员登录和注册的入口。此外，文章还详细列出了 Farmers' Almanac 提供的各种日历，包括最佳日期日历、满月日历、园艺日历、星座日历和钓鱼日历。
在天气方面，文章提供了美国和加拿大各地的长期天气预报，以及天气传说、天气历史和飓风准备指南等信息。天文部分涵盖了满月、新月、流星雨、月相、行星观测和日食等内容。园艺部分则提供了园艺日历、园艺技巧、蔬菜种植指南、伴生种植、容器园艺、花卉、霜冻日期、草药、收获和室内植物等信息。
总而言之，这篇文章像是一个索引页，方便用户快速找到他们感兴趣的内容。它全面展示了 Farmers' Almanac 的服务范围，并引导用户探索其网站上的各种资源。
- 原文: [A Fond Farewell](https://www.farmersalmanac.com/fond-farewell-from-farmers-almanac)
- Hacker News: [https://news.ycombinator.com/item?id=45843146](https://news.ycombinator.com/item?id=45843146)
- 作者: erhuve
- 评分: 359
- 评论数: 115
- 发布时间: 2025-11-07 11:01:32
---
## 通过损失曲率谱区分模型记忆与推理能力
这篇论文研究了Transformer模型中记忆的表征方式，并提出可以通过损失曲率来区分语言模型（LM）和视觉Transformer（ViT）中的记忆。
论文的核心思想是，基于损失 landscape 曲率的分解，可以将模型权重中记忆的部分分离出来。先前的研究表明，对于模型记住的训练数据点，其损失曲率通常比未记住的数据点更尖锐。因此，通过曲率高低对权重分量进行排序，无需显式标签即可区分记忆与非记忆部分。基于这个发现，作者提出了一种权重编辑方法，该方法能够更有效地抑制模型对未针对性记忆数据的复述，同时保持较低的困惑度。
作者还深入分析了这种编辑方法对语言模型下游任务的影响。他们发现，事实检索和算术运算受到了持续的负面影响，即使开放式事实检索和一般逻辑推理能力得以保留。作者认为，这些任务严重依赖于权重空间中专门的方向，而不是通用的机制，无论这些单独的数据点是否被模型记住。通过展示任务数据的激活强度与被编辑掉的低曲率分量之间的对应关系，以及编辑后任务性能的下降，作者进一步支持了这一观点。
总而言之，这项工作加深了我们对神经网络中记忆的理解，并为移除记忆提供了实用的方法。它还为解决数学和事实检索等任务涉及的特殊结构提供了证据。这项研究揭示了模型在解决特定任务时，可能依赖于某些“捷径”或者高度专业化的权重配置，而不是通用的推理能力。通过调整这些特定方向的权重，可以有效地移除模型中的记忆成分，而不会对模型的整体推理能力造成太大的影响。这对于开发更可靠、更可控的AI系统具有重要意义。
- 原文: [From Memorization to Reasoning in the Spectrum of Loss Curvature](https://arxiv.org/abs/2510.24256)
- Hacker News: [https://news.ycombinator.com/item?id=45845800](https://news.ycombinator.com/item?id=45845800)
- 作者: andy12_
- 评分: 21
- 评论数: 8
- 发布时间: 2025-11-07 20:43:49
---
## OpenMW 0.50.0 发布：开源 Morrowind 引擎的重大更新
OpenMW 0.50.0 版本正式发布，这次更新主要集中在游戏手柄体验优化、战斗系统底层代码解耦、Lua 脚本 API 扩展以及用户界面改进等方面。其中，最受期待的功能之一是快速物品转移功能的加入。
新版本在 AI 和寻路方面，修复了 NPC 在不可达路径点附近徘徊的问题，并改进了潜行机制，降低了潜行经验获取的难度。在配置和 VFS 方面，设置文件的保存方式改为退出设置窗口时保存，提升了用户体验。此外，新版本还修复了 ESM 文件读取和游戏存档方面的一些问题，保证了游戏的稳定性和兼容性。
在游戏性方面，OpenMW 0.50.0 修复了一些游戏机制上的不一致，例如监狱服刑对技能提升的计算方式、法术切换逻辑以及远程攻击在水下的命中判定等。这些修复旨在更忠实地还原 Morrowind 的游戏体验。同时，新版本还修复了许多视觉效果和声音效果上的问题，例如药剂和材料的拾取动画、法术效果的播放等，进一步提升了游戏的沉浸感。
在输入方面，OpenMW 0.50.0 对手柄操作进行了全面改进，包括支持更多手柄型号、优化按键映射以及改进操作流畅度。此外，新版本还修复了鼠标滚轮在某些情况下无法正常工作的问题，提升了鼠标操作的体验。
总而言之，OpenMW 0.50.0 是一次重要的更新，它在游戏性、稳定性和用户体验等方面都进行了改进，为玩家带来了更好的 Morrowind 游戏体验。值得一提的是，OpenMW 团队承诺不会修改存档格式，这意味着玩家可以在新版本中继续之前的游戏进度。
由于文章中没有评论内容，因此无法提供评论观点的分析。
- 原文: [OpenMW 0.50.0 Released – open-source Morrowind reimplementation](https://openmw.org/2025/openmw-0-50-0-released/)
- Hacker News: [https://news.ycombinator.com/item?id=45846090](https://news.ycombinator.com/item?id=45846090)
- 作者: agluszak
- 评分: 53
- 评论数: 17
- 发布时间: 2025-11-07 21:25:27
---
## PyTorch Helion：高性能且可移植的 ML Kernel 的高级 DSL
PyTorch 推出了 Helion，这是一种新的领域特定语言 (DSL)，旨在简化高性能机器学习 kernel 的开发，它通过将 Python 嵌入式 DSL 编译为自动调整的 Triton 代码，从而在 PyTorch 的易用性和底层语言的性能之间架起桥梁。
Helion 的出现是为了解决当前 kernel 开发中存在的痛点：为了追求极致性能，开发者通常需要使用底层、硬件特定的语言编写 kernel，这导致了代码难以维护和移植。Helion 允许开发者使用类似 PyTorch 的语法编写 kernel，并自动将其转换为优化的 Triton 代码，从而减轻了手动管理 tensor 索引、内存管理和硬件调优的负担。
Helion 的编程模型可以概括为“带有 Tiles 的 PyTorch”。开发者只需使用 `hl.tile` 划分迭代空间，Helion 的自动调优器会自动探索不同的 block 大小、循环顺序和内存布局优化等配置。同时，Helion 还支持使用标准的 PyTorch 操作，并利用 TorchInductor 将这些操作映射到相应的 Triton 实现。
Helion 的核心优势在于其自动调优引擎。与 Triton 相比，Helion 使用隐式搜索空间，自动构建一个包含各种实现选择的多维搜索空间。例如，一个 `hl.tile` 调用会指示自动调优器探索不同的 block 大小、循环顺序以及是否将迭代空间展平为单个维度。通过这种方式，Helion 能够创建更大、更丰富的搜索空间，从而找到更优的配置。
Helion 的自动调优工作流程如下：当首次运行 kernel 且未指定配置时，自动调优器会启动自动搜索。这个过程通常需要 10 分钟左右，它会使用差分进化或模式搜索等搜索策略评估数千个候选 Triton kernel 配置，以识别给定输入形状和硬件的优化参数集。完成后，自动调优器会输出它发现的最佳配置。
Helion 大大简化了 kernel 的实现：Attention kernel 在 Helion 中仅需 30 行代码，而在 Triton 中则需要 120 行代码，在 CUDA 中则需要数千行代码。这种高级、声明式的编程模型通过自动调优引擎得以实现高性能。
- 原文: [PyTorch Helion](https://pytorch.org/blog/helion/)
- Hacker News: [https://news.ycombinator.com/item?id=45788194](https://news.ycombinator.com/item?id=45788194)
- 作者: jarbus
- 评分: 49
- 评论数: 8
- 发布时间: 2025-11-02 14:21:37
---
## 寻求RPG游戏性能反馈：开发者求助社区
开发者JSLegendDev正在使用JavaScript和KAPLAY游戏库开发一款小型RPG游戏，但遇到了性能问题，尤其是在将游戏打包成桌面应用时。他希望社区成员能在Windows、Mac和Linux平台上测试游戏，并分享游戏体验视频，以便找出性能瓶颈。
开发者在配备16GB内存的Macbook Air M3上进行开发，在Firefox浏览器中运行流畅，但考虑到Steam平台的发布，桌面应用的性能至关重要。游戏的主要性能问题出现在战斗场景中。开发者已经提供了一个未完成版本的游戏供大家测试，并附带了一个游戏演示视频，以便大家了解游戏的基本玩法。玩家可以通过方向键移动，与地图上的星星重叠进入战斗。开发者特别希望获得关于战斗场景性能的反馈。
评论区里，用户们提供了各种各样的反馈和建议。有人直接指出开发者在寻求经济支持，也有用户表示在M4 Pro的Mac mini上运行流畅。更多的人则聚焦于性能问题本身，有用户在M2 Mac上测试发现，游戏开始时流畅，但随着战斗进行，帧率逐渐下降，即使CPU和内存使用率稳定。还有人建议开发者检查KAPLAY的优化指南，并使用Chrome的开发者工具进行性能分析，怀疑可能存在资源未清理的问题。也有人建议使用性能分析工具，收集性能报告，以定位性能瓶颈。此外，还有用户指出，在强大的M3 Macbook Air上出现性能问题，可能并非硬件原因。
总的来说，评论区提供了多角度的分析，既有对游戏本身性能的反馈，也有对开发工具和优化方向的建议，帮助开发者更好地定位和解决性能问题。
- 原文: [I'm Making a Small RPG and I Need Feeback Regarding Performance](https://jslegenddev.substack.com/p/im-making-a-small-rpg-and-i-need)
- Hacker News: [https://news.ycombinator.com/item?id=45846360](https://news.ycombinator.com/item?id=45846360)
- 作者: ibobev
- 评分: 19
- 评论数: 7
- 发布时间: 2025-11-07 21:52:39
---
## 编写 LLM Agent 的理由：简单易学且受益匪浅
本文作者认为，无论你对大型语言模型（LLM）和 Agent 持何种观点，都应该尝试编写一个 Agent。这不仅是因为 Agent 的概念非常重要，更是因为它出乎意料地简单，并且能让你在实践中学习到很多东西。文章通过简洁的代码示例，展示了如何使用 OpenAI 的 API 创建一个基本的 LLM Agent，并为其添加工具功能。
文章首先展示了一个最简单的 ChatGPT 实现，核心代码只有几行，突出了 LLM Agent 的基本原理：通过维护一个包含对话历史的上下文列表，与 LLM 进行多轮对话。然后，文章演示了如何为 Agent 添加工具功能，例如 ping 命令，并让 Agent 自主决定何时以及如何使用这些工具。令人惊讶的是，Agent 能够自动分析问题，并多次调用 ping 命令来获取更全面的信息，而无需人工干预。作者强调，Agent 的核心在于 LLM 调用 API，而工具的添加也并不复杂。通过赋予 LLM 使用工具的权限，它可以自主地完成各种任务。
文章还提到，只要稍加改进，就能创建一个可以编写代码的 Agent。总而言之，文章旨在鼓励读者亲自动手尝试编写 LLM Agent，以便更好地理解其工作原理和潜力。
)
- 原文: [You should write an agent](https://fly.io/blog/everyone-write-an-agent/)
- Hacker News: [https://news.ycombinator.com/item?id=45840088](https://news.ycombinator.com/item?id=45840088)
- 作者: tabletcorry
- 评分: 828
- 评论数: 334
- 发布时间: 2025-11-07 04:37:06
---
## Meta预计2024年10%的收入来自诈骗和违禁品
Meta的内部文件显示，该公司预计2024年总收入的10%将来自诈骗广告和违禁品的销售，金额高达160亿美元。这份报告揭示了Meta平台上欺诈行为的规模，以及该公司从中获得的巨额利润。
Meta内部讨论承认，由于未能阻止平台上的欺诈行为，公司可能会面临巨额罚款。因此，Meta优先在处罚最严厉的地区加强执法，权衡打击诈骗行为带来的收入损失与监管机构的罚款成本。
尽管Meta声称旨在大幅减少欺诈行为，但由于削减了审核团队，导致用户举报的大部分违规行为被忽视或驳回。Meta发言人表示，这些文件是对内部执法的“选择性看法”，并强调公司积极打击欺诈和诈骗行为。
路透社的报告指出，Meta在欺诈广告方面赚取了巨额利润。Google也计划向Anthropic投资更多资金，这笔新融资可能使这家AI初创公司的估值达到3500亿美元。
- 原文: [Meta projected 10% of 2024 revenue came from scams](https://sherwood.news/tech/meta-projected-10-of-2024-revenue-came-from-scams-and-banned-goods-reuters/)
- Hacker News: [https://news.ycombinator.com/item?id=45845772](https://news.ycombinator.com/item?id=45845772)
- 作者: donohoe
- 评分: 171
- 评论数: 116
- 发布时间: 2025-11-07 20:39:54
---
## 1973 年 DEC 发布的 Wordle 游戏实现
这篇文章介绍了 Wordle 游戏的一个早期版本，它早在 1973 年就由 Digital Equipment Corp (DEC) 发布，名为 WORD，并收录在《101 Computer Games》一书中。这个版本比很多人认为的 Lingo 游戏节目（1987 年）还要早。
文章指出，WORD 游戏与 1955 年的棋盘游戏 Jotto 不同，它更像 Wordle，通过文本界面提供关于猜测字母的信息，包括哪些字母在谜底词中，以及哪些字母位置正确。这个游戏由 Lexington High School 的 Charles Reid 编写，现在可以在浏览器上玩。与 Wordle 不同的是，WORD 不验证猜测是否为有效单词，因为它只知道 12 个不同的单词。
文章还提到了其他一些早期的猜谜游戏，如 GUESS、HI-LO、NUMBER、STARS、TRAP 和 BAGELS，它们都出现在《101 BASIC Computer Games》中。这些游戏展示了猜谜游戏在早期计算机编程中的重要性，因为它们的结构非常适合简单的程序：计算机隐藏信息，玩家必须猜测，计算机在每次猜测后提供线索。
文章还介绍了一些反向猜谜游戏，例如 ANIMAL、SALVO、DIGITS 和 NICOMA，在这些游戏中，计算机尝试猜测人类的想法。这些游戏更难实现，因为它们通常需要计算机具备广泛的知识。文章最后鼓励大家尝试这些经典 BASIC 猜谜游戏，并从中找到灵感，为智能手机时代开发新的游戏。
评论区里，有人提到 Mastermind 棋盘游戏比 WORD 更早，于 1970 年问世。也有人指出了文章标题中 "DEC" 的含义，指的是公司而非月份。还有人分享了在线玩 WORD 游戏的链接。有人评论说文章中（2022）的年份让人感到困惑。
- 原文: [1973 Implementation of Wordle Was Published by Dec (2022)](https://troypress.com/1973-implementation-of-wordle-was-published-by-dec/)
- Hacker News: [https://news.ycombinator.com/item?id=45778653](https://news.ycombinator.com/item?id=45778653)
- 作者: msephton
- 评分: 22
- 评论数: 6
- 发布时间: 2025-11-01 09:56:57
---
## 超大规模数据泄露：20 亿邮箱地址被 Have I Been Pwned 收录
本文主要讲述了 Have I Been Pwned (HIBP) 收录了近 20 亿泄露的邮箱地址和 13 亿密码，其中 6.25 亿是前所未见的。文章详细介绍了数据验证过程，以及如何利用 HIBP 检查自己的信息是否泄露。
文章指出，这次收录的数据是 HIBP 迄今为止处理过的最大规模的数据集。这些数据主要来自撞库攻击（credential stuffing）列表，通常源于其他数据泄露事件中暴露的邮箱地址和密码。网络犯罪分子会将这些数据打包、出售和重新分发，最终用于登录受害者的账户。由于人们经常重复使用密码，因此一次数据泄露的数据可能会被用于攻击完全无关的网站。
为了验证数据的真实性，作者联系了一些 HIBP 的订阅者，并要求他们验证数据。验证结果表明，这些数据中包含一些旧密码，但也包含一些仍在使用的密码。这意味着这些密码对用户构成实际风险。通过将这些数据添加到 HIBP 中，可以使这些泄露的凭据失效，从而保护用户的账户安全。
文章还介绍了如何使用 Pwned Passwords 服务来检查自己的密码是否泄露。Pwned Passwords 不会将密码与邮箱地址关联，以保护用户的隐私。
总而言之，这篇文章强调了数据泄露的严重性，以及使用强密码和避免在不同网站上重复使用密码的重要性。同时，也介绍了 HIBP 这样的工具如何帮助用户保护自己的在线安全。
- 原文: [Two billion email addresses were exposed](https://www.troyhunt.com/2-billion-email-addresses-were-exposed-and-we-indexed-them-all-in-have-i-been-pwned/)
- Hacker News: [https://news.ycombinator.com/item?id=45839901](https://news.ycombinator.com/item?id=45839901)
- 作者: esnard
- 评分: 529
- 评论数: 371
- 发布时间: 2025-11-07 04:20:23
---
## Kimi K2 Thinking：新一代开源推理模型
Kimi K2 Thinking 是 Moonshot AI 推出的新一代开源推理模型，它被设计为一个具有自主思考能力的智能体，能够通过逐步推理和使用工具来解决复杂问题。该模型在多个基准测试中取得了领先的性能，尤其在推理、自主搜索、代码编写和通用能力方面表现突出。
Kimi K2 Thinking 的一个关键特性是其能够执行多达 200-300 个连续的工具调用，而无需人工干预，从而实现对复杂问题的连贯推理和解决。这得益于其在测试时扩展方面的最新进展，包括扩展思考 tokens 和工具调用步骤。
该模型在 Humanity's Last Exam (HLE) 上取得了 44.9% 的成绩，在 BrowseComp 上取得了 60.2% 的成绩，在 SWE-Bench Verified 上取得了 71.3% 的成绩，这些成绩证明了其强大的泛化能力。K2 Thinking 通过主动使用各种工具进行推理，能够规划、推理、执行和调整数百个步骤，以解决一些最具挑战性的学术和分析问题。
例如，它成功地解决了一个博士级别的数学问题，通过 23 个交错的推理和工具调用，展示了其深度、结构化推理和长期问题解决能力。该模型首先解析问题，然后逐步分析采样过程，并尝试理解问题背后的数学原理，最终找到解决方案。
Kimi K2 Thinking 现已在 kimi.com 上线，提供聊天模式，其完整的 agentic 模式也将很快推出。此外，它还可以通过 Kimi K2 Thinking API 访问。该模型的推出标志着 Moonshot AI 在测试时扩展方面取得了重大进展，并为构建更强大的智能体开辟了新的可能性。
- 原文: [Kimi K2 Thinking, a SOTA open-source trillion-parameter reasoning model](https://moonshotai.github.io/Kimi-K2/thinking.html)
- Hacker News: [https://news.ycombinator.com/item?id=45836070](https://news.ycombinator.com/item?id=45836070)
- 作者: nekofneko
- 评分: 814
- 评论数: 351
- 发布时间: 2025-11-06 23:06:06
---
## Sweep (YC S23) 招聘 Founding Engineer/Intern，构建 JetBrains 自动补全功能
Sweep 正在寻找一位 Founding Engineer/Intern 来帮助他们构建 JetBrains IDE 的 AI 编码助手。这家公司是 Y Combinator (YC) S23 批次的成员，专注于为企业提供 AI 编码助手，强调数据不出 VPC，并已拥有大型生产客户。
该职位提供 15 万至 22.5 万美元的薪资以及 1.00% 至 4.97% 的股权，工作地点位于旧金山 Dogpatch，需要每周五天在办公室工作。Sweep 鼓励任何经验水平的工程师申请，包括应届毕业生，并且可以提供签证支持。理想的候选人应具备 Python、Kotlin 和机器学习技能。面试过程包括使用 JetBrains 插件模板构建类似 GitHub Copilot 的自动补全功能。Sweep 强调快速迭代和交付，致力于解决 AI 领域最困难和面向用户的问题。公司由 Kevin Lu 和 William Zeng 创立。
- 原文: [Sweep (YC S23) is hiring to build autocomplete for JetBrains](https://www.ycombinator.com/companies/sweep/jobs/8dUn406-founding-engineer-intern)
- Hacker News: [https://news.ycombinator.com/item?id=45845568](https://news.ycombinator.com/item?id=45845568)
- 作者: williamzeng0
- 评分: 1
- 评论数: 0
- 发布时间: 2025-11-07 20:00:40
---
## 使用 OCaml 构建 Stategraph 的原因
Stategraph 选择 OCaml 语言来构建其基础设施，主要因为 OCaml 的类型系统能够在编译时捕获大量潜在错误，从而避免数据损坏等严重问题。Stategraph 用于管理 Terraform 状态，因此正确性至关重要。
OCaml 的优势体现在多个方面。首先，它拥有强类型的数据结构，能够在编译时发现字段错误。其次，OCaml 支持类型安全的 SQL 查询，从而在部署前预防数据库模式漂移。此外，OCaml 默认的不可变性可以有效避免竞态条件。最后，PPX 能够自动生成正确的 JSON 序列化代码。
具体来说，Stategraph 利用 OCaml 的强类型记录来定义资源、输出和实例，确保数据结构的安全性。编译器会强制执行类型正确性，防止访问不存在的字段或混淆字段类型。在数据库操作方面，Stategraph 使用类型化的 SQL 查询，每个查询都声明了参数和返回值的显式类型。当数据库模式发生变化时，编译器会强制更新所有相关的调用点，从而避免因查询定义与使用不同步而导致的问题。
在处理 JSON 转换时，OCaml 的 PPX 能够根据类型定义自动生成序列化代码，避免了手动编写序列化代码可能引入的错误。此外，OCaml 默认的不可变性使得状态在默认情况下是不可变的，从而消除了潜在的竞态条件。结合 PostgreSQL 的行级锁定，可以确保并发操作的正确性。
最后，Stategraph 在错误处理方面也展现了严谨性。错误被编码为变体，并对每种情况进行详尽的匹配。通过避免使用 catch-all 的 "else" 子句，编译器能够提醒开发者处理所有可能的错误情况。
(由于没有评论内容，跳过评论相关的输出)
- 原文: [We chose OCaml to write Stategraph](https://stategraph.dev/blog/why-we-chose-ocaml)
- Hacker News: [https://news.ycombinator.com/item?id=45845958](https://news.ycombinator.com/item?id=45845958)
- 作者: lawnchair
- 评分: 54
- 评论数: 56
- 发布时间: 2025-11-07 21:10:49
---
## Rust 中的比较 Trait：理解相等性和排序
本文深入探讨了 Rust 中的比较 Trait，包括 `PartialEq`、`Eq`、`PartialOrd` 和 `Ord`，以及它们在内置类型和用户定义类型中如何工作。理解这些 Trait 对于集合、排序和算法至关重要。
Rust 通过这四个核心 Trait 显式地编码了相等性和排序的语义，平衡了数学严谨性和实际的人体工程学。`Ord` 意味着 `Eq`，并提供了一个 blanket `PartialOrd`（每个 `Ord` 也是一个 `PartialOrd`）。`Eq` 意味着 `PartialEq`。`PartialEq` / `PartialOrd` 允许“不可比较”的情况（例如，带有 NaN 的浮点数）。Rust 区分 total 和 partial 比较，以在类型系统中编码数学定律，而不牺牲实用性。整数允许全序和严格等价，而 IEEE-754 浮点数由于 NaN 语义而不允许。
文章还解释了为什么 `f64` 不能实现 `Eq` 或 `Ord`，因为 NaN 违反了自反性和完全性。同时，也说明了为什么 derive `PartialEq`、`Eq`、`PartialOrd` 和 `Ord` 如此有用：生成的实现遵循常见情况的规律。文章通过代码示例展示了如何在 Rust 中使用比较运算符（`==` / `!=` 和 `<`），显式比较方法（`cmp` / `partial_cmp`），以及 `Eq` / `Ord` 如何驱动集合、映射和排序 API。
文章还介绍了如何通过派生（Derive）来实现比较 Trait，以及如何使用 `sort_by_key()`、`std::cmp::Reverse` 和 `Ordering::then / Ordering::then_with` 等组合器来构建清晰、确定性的比较器。最后，文章用浮点数的例子说明了 Rust 为什么区分 partial 和 total 比较，以确保在处理浮点数时安全和可预测的行为。
- 原文: [Comparison Traits – Understanding Equality and Ordering in Rust](https://itsfoxstudio.substack.com/p/comparison-traits-understanding-equality)
- Hacker News: [https://news.ycombinator.com/item?id=45789143](https://news.ycombinator.com/item?id=45789143)
- 作者: rpunkfu
- 评分: 6
- 评论数: 0
- 发布时间: 2025-11-02 18:00:07
---
## 高压工作下的家庭失衡：一位工程师的自白
这篇文章探讨了作者作为一名在压力下工作效率更高的工程师，如何在工作和家庭之间寻求平衡，以及高压工作如何影响其家庭生活。
作者坦诚地描述了自己在高压工作状态下表现出色，但同时也会将这种压力带回家中，对家人失去耐心，尤其是在面对孩子和妻子时。他意识到工作上的高效率和解决问题的能力，与在家中对亲人的耐心和理解形成了鲜明对比。作者将这种现象比作一个跷跷板，工作越紧张，在家就越烦躁。
文章还提到了“高感觉寻求者”或“T型人格”的概念，这种人格类型的人需要高刺激，在压力下表现更好，但同时也更容易感到无聊，甚至会在没有压力的情况下制造压力。作者担心如果团队知道他更喜欢在高压下工作，可能会被利用。
为了应对这种情况，作者尝试冥想、瑜伽和天然维生素等方法来缓解压力，但效果并不明显。他也在努力寻找方法来区分工作和家庭，避免将工作压力带回家中。文章最后提出了一个问题：这种状态是天生的，还是后天形成的？作者希望找到一种能够兼顾工作回报和家庭和谐的平衡系统。
- 原文: [I Work Best Under Stress (and My Family Pays for It)](https://www.codecabin.dev/post/i-work-best-under-stress)
- Hacker News: [https://news.ycombinator.com/item?id=45846444](https://news.ycombinator.com/item?id=45846444)
- 作者: rebelchrisycom
- 评分: 5
- 评论数: 0
- 发布时间: 2025-11-07 22:00:15
---
## 文本大小写影响二维码尺寸
这篇文章探讨了文本大小写对二维码尺寸的影响，指出使用大写字母可以生成更小的二维码。
文章的核心观点是，二维码算法对混合大小写的句子按照二进制数据处理，而对全部大写的句子则按照字母数字数据处理。字母数字数据使用45个字符的字母表（0-9, A-Z, 空格$%*+-./:），两个字母数字字符可以用11位编码。这意味着，与每个字符使用8位的混合大小写相比，大写字母可以减少每个字符的位数，从而生成更小的二维码。作者用Python的`qrcode`库做了示例，展示了大写字母的二维码比混合大小写的二维码小。文章还提到了Bech32编码（用于比特币地址）使用单例字母，因此比Base58编码（大小写混合）需要更少的二维码像素。
评论区里，有用户指出了文章中字母数字字符集少了一个字符（斜杠/），并强调了斜杠在URL中的重要性。有人分享了LinkedIn二维码不支持全大写的案例，导致在小尺寸下二维码尺寸差异显著。还有人分享了早期创业时使用BASE32变体和大写域名生成更小二维码的经验。也有人指出，不需要将整个payload大写，只需要保证连续的部分使用字母数字字符即可。有人提问为什么二维码标准没有小写字母版本，因为大部分URL都是小写的。还有人分享了之前类似的文章以及在线二维码生成工具，并展示了在实际URL中使用全大写域名和标识符来生成更小二维码的例子。总的来说，评论区从不同角度补充了文章的内容，并分享了实际应用中的经验和技巧。
- 原文: [Text case changes the size of QR codes](https://www.johndcook.com/blog/2025/10/31/smaller-qr-codes/)
- Hacker News: [https://news.ycombinator.com/item?id=45786490](https://news.ycombinator.com/item?id=45786490)
- 作者: ibobev
- 评分: 96
- 评论数: 27
- 发布时间: 2025-11-02 07:34:51
---
## 基于 30 亿 Goodreads 评论训练的图书推荐模型
本文介绍了一个名为 "Recommend | book.sv" 的网站，该网站利用抓取的 30 亿 Goodreads 评论训练了一个图书推荐模型。用户可以通过输入已读过的书籍来获取个性化的阅读推荐。
该网站的核心功能是根据用户输入的书籍，从模型中生成推荐书单。为了保证推荐质量，只有达到一定流行度的书籍才会被纳入搜索结果和推荐范围。如果用户想探索不太流行的书籍，可以使用网站上的其他功能。为了获得最佳效果，建议用户提供 3 本以上的书籍。
用户界面简洁明了，用户可以在搜索框中输入书名进行搜索，并将已读过的书籍添加到“Selected Books”列表中。网站会根据用户选择的书籍，给出相应的推荐。
评论区对该项目展开了热烈的讨论，其中既有赞扬，也有质疑和建议：
* **数据来源的合规性与伦理问题：** 有用户指出，该项目可能违反了 Goodreads 的服务条款，并且未经用户许可使用了他们的评论数据训练 LLM，存在伦理问题。
* **推荐结果的质量与多样性：** 一些用户表示，推荐结果很准确，能够推荐出他们已经读过并喜欢的书籍。但也有用户指出，推荐结果过于集中于用户已读书籍的作者或系列，缺乏新颖性和多样性。建议增加负面反馈机制，并过滤掉输入书籍的作者，以避免推荐重复内容。
* **用户体验的改进建议：** 有用户建议，在用户点击“Add”按钮后，应将该书籍从搜索结果中移除，以避免混淆。此外，还可以考虑使用 VLM 技术，让用户通过上传书架照片来获取推荐。
* **推荐系统的优化方向：** 有开发者建议，可以尝试构建多个不同类型的推荐系统，例如基于内容的推荐、基于图的推荐等，并将它们聚合起来，以满足不同用户的需求。还可以针对不同的指标进行优化，例如惊喜度、新颖性等。
总的来说，这个项目展示了利用大数据和机器学习技术进行图书推荐的潜力，但也需要关注数据合规性、伦理道德以及推荐结果的多样性和用户体验等问题。
- 原文: [Show HN: I scraped 3B Goodreads reviews to train a better recommendation model](https://book.sv)
- Hacker News: [https://news.ycombinator.com/item?id=45825733](https://news.ycombinator.com/item?id=45825733)
- 作者: costco
- 评分: 479
- 评论数: 180
- 发布时间: 2025-11-06 01:50:45
---
## 游戏设计其实很简单
这篇文章探讨了游戏设计的核心要素，作者认为游戏设计的关键在于理解“乐趣”的本质，以及如何通过问题和不确定性来创造引人入胜的体验。
文章首先定义了“乐趣”，强调它与解决问题的能力密切相关。作者认为，游戏的核心是为玩家提供需要克服的难题，这些难题可以是各种各样的，从简单的操作到复杂的策略。 重要的是，游戏中的问题应该具有深度，能够随着玩家的深入而不断演变，并提供多种解决方案。 好的游戏应该能够尽可能长时间地保持结果的不确定性，让玩家在预测和尝试中获得乐趣。
文章还区分了“玩具”和“游戏”，玩具是一组具有约束和运动的系统，而游戏则是在此基础上添加了目标，用于测试玩家自身。 作者建议从设计玩具开始，再逐步添加目标，将其转化为游戏。 此外，文章还强调了不确定性在游戏中的重要性，指出好的游戏应该围绕不确定性构建，通过解决问题将不确定性转化为确定性。
总而言之，游戏设计的核心在于创造具有深度、不确定性和可重复性的问题，并为玩家提供解决这些问题的工具和目标。 游戏设计看似简单，实则需要对乐趣的本质、问题的类型以及不确定性的作用有深刻的理解。
- 原文: [Game design is simple](https://www.raphkoster.com/2025/11/03/game-design-is-simple-actually/)
- Hacker News: [https://news.ycombinator.com/item?id=45841262](https://news.ycombinator.com/item?id=45841262)
- 作者: vrnvu
- 评分: 388
- 评论数: 126
- 发布时间: 2025-11-07 06:24:23
---
## 青少年对新闻媒体的负面看法：偏见、无聊、混乱和糟糕
一项新的报告显示，大多数青少年对新闻媒体持有负面看法，认为其“有偏见”、“无聊”、“混乱”和“糟糕”。这项调查突显了青少年对新闻真实性和道德的担忧，以及他们获取新闻的渠道。
该报告由新闻素养项目发布，调查了全美756名13至18岁的青少年，结果显示，高达84%的青少年用负面词汇来描述新闻媒体，例如“虚假”、“疯狂”、“无聊”、“有偏见”和“悲伤”。更令人担忧的是，大约一半的受访青少年认为记者经常“编造细节，例如引言”和“付费购买消息来源”。
这项调查还发现，青少年认为新闻媒体最需要改进的地方是诚实和核实事实。超过三分之一的青少年认为，记者可以通过“说真话”、“事实核查”和“不撒谎”来改进。
这些发现表明，新闻媒体需要认真对待青少年对新闻真实性和道德的担忧。为了赢得青少年的信任，新闻媒体需要更加注重准确性、透明度和公正性。此外，新闻媒体还需要探索新的方式来吸引青少年，例如通过社交媒体和移动平台。
这项研究结果也引发了关于新闻素养教育重要性的讨论。在信息时代，年轻人需要具备批判性思维能力，以便区分可信的新闻来源和虚假信息。新闻素养教育可以帮助年轻人更好地理解新闻媒体的运作方式，并做出明智的判断。
- 原文: [Majority of teens hold negative views of news media, says report](https://www.niemanlab.org/2025/11/biased-boring-chaotic-and-bad-a-majority-of-teens-hold-negative-views-of-news-media-report-finds/)
- Hacker News: [https://news.ycombinator.com/item?id=45845147](https://news.ycombinator.com/item?id=45845147)
- 作者: giuliomagnifico
- 评分: 17
- 评论数: 19
- 发布时间: 2025-11-07 18:32:50
---
## 宇宙膨胀速度可能正在减缓：挑战暗能量理论
一篇新的研究表明，宇宙的膨胀速度可能已经开始减缓，而不是像之前认为的那样加速膨胀。这项研究对长期以来认为“暗能量”驱动宇宙加速膨胀的理论提出了质疑，如果得到证实，将可能彻底改变我们对暗能量的理解。
这项研究由韩国延世大学的李永旭教授领导，他们分析了Ia型超新星的数据，发现这些超新星的亮度受到其母星年龄的影响。年轻恒星产生的超新星会显得较暗，而年老恒星产生的超新星则会显得较亮。在修正了这种偏差后，超新星数据不再符合标准的ΛCDM宇宙学模型，而是更符合暗能量光谱仪器（DESI）项目提出的新模型，该模型基于重子声波振荡（BAO）和宇宙微波背景（CMB）数据。
研究人员将修正后的超新星数据与BAO和CMB数据结合分析，发现宇宙可能已经进入减速膨胀的阶段。这一发现与DESI项目之前的结论有所不同，DESI项目认为宇宙在未来会减速，但目前仍在加速。李教授强调，他们的分析表明，宇宙的减速阶段已经开始，这与BAO或BAO+CMB的独立预测结果一致。
为了进一步验证这一结果，研究团队正在进行一项“无演化测试”，仅使用来自年轻同龄星系的超新星数据。此外，Vera C. Rubin天文台将在未来五年内发现超过20,000个新的超新星宿主星系，这将有助于对超新星宇宙学进行更可靠和明确的测试。这项研究挑战了过去三十年来关于暗能量驱动宇宙加速膨胀的传统观点，并为探索暗能量的本质和宇宙的演化开辟了新的方向。
- 原文: [Analysis indicates that the universe’s expansion is not accelerating](https://ras.ac.uk/news-and-press/research-highlights/universes-expansion-now-slowing-not-speeding)
- Hacker News: [https://news.ycombinator.com/item?id=45840200](https://news.ycombinator.com/item?id=45840200)
- 作者: chrka
- 评分: 210
- 评论数: 168
- 发布时间: 2025-11-07 04:45:39
---
## 从 Web 开发者到数据库开发者：十年职业转型之路
本文讲述了作者在十年内从 Web 开发者转型成为数据库开发者的职业历程，重点分享了作者如何克服技术障碍，最终进入数据库领域的心路历程。
作者最初是一名 Web 开发者，主要使用 JavaScript、HTML、CSS 以及 Python、Go 或 PHP 等后端语言。虽然对编译器和解释器等底层技术感兴趣，但由于学历背景的限制，认为自己无法从事相关工作。直到 2020 年，由于项目性能问题，作者开始学习数据库索引相关的知识，并逐步深入了解数据库的底层原理。
在 2021 年到 2023 年期间，作者尝试创业，并参与了 TigerBeetle 数据库公司的市场和社区工作，积累了数据库领域的经验。尽管如此，在 2023 年离开 TigerBeetle 后，作者在求职过程中仍然面临着被 "类型化" 的问题，很多招聘经理倾向于安排他从事数据库周边的云平台开发工作，而不是直接参与数据库内核的开发。
为了打破这种局面，作者坚持继续学习和实践，并通过撰写博客、组织线上 Hackweek 和读书会等方式，不断提升自己在数据库方面的技能。最终，经过四个月的努力，作者获得了三份在 Postgres 数据库上进行 C 和 Rust 开发的工作机会，成功转型为数据库开发者，并在 EnterpriseDB 工作至今。作者强调，即使是开发 Postgres 扩展，也几乎相当于直接参与 Postgres 本身的开发。
评论区中，有开发者表示对作者的经历感同身受，认为招聘经理和 ATS 系统常常会根据关键词和工作经历对求职者进行 "类型化"，导致转型困难。也有人分享了自己想要进入数据库领域的想法，但苦于缺乏相关经验。
- 原文: [From web developer to database developer in 10 years](https://notes.eatonphil.com/2025-02-15-from-web-developer-to-database-developer-in-10-years.html)
- Hacker News: [https://news.ycombinator.com/item?id=45808863](https://news.ycombinator.com/item?id=45808863)
- 作者: pmbanugo
- 评分: 112
- 评论数: 37
- 发布时间: 2025-11-04 17:02:49
---
## OpenPCC：Apple 私有计算云的开源实现
OpenPCC 是一个开源框架，旨在实现可验证的私有 AI 推理，该项目在 GitHub 上开源，为开发者提供了一个探索和利用隐私保护技术进行 AI 应用开发的平台。它尝试复刻 Apple 的 Private Compute Cloud (PCC) 的功能，允许在保护用户数据隐私的前提下进行 AI 计算。
该项目使用 Apache 2.0 许可，意味着可以自由地使用、修改和分发该代码，这降低了开发者使用该技术的门槛。目前该项目已经获得了 646 个 star 和 16 个 fork，表明社区对这个项目有相当的关注和兴趣。通过 OpenPCC，开发者可以构建各种应用，例如在不泄露用户个人信息的前提下，进行健康数据分析、个性化推荐等。
OpenPCC 的目标是弥合 AI 发展和数据隐私之间的差距，让开发者能够在保护用户隐私的同时，充分利用 AI 技术的优势。 随着数据隐私变得越来越重要，OpenPCC 这样的项目将会在未来的 AI 领域扮演更重要的角色。
- 原文: [Open Source Implementation of Apple's Private Compute Cloud](https://github.com/openpcc/openpcc)
- Hacker News: [https://news.ycombinator.com/item?id=45824243](https://news.ycombinator.com/item?id=45824243)
- 作者: adam_gyroscope
- 评分: 409
- 评论数: 90
- 发布时间: 2025-11-05 23:52:27
---
## 软件开发是否是工程学科中的“UFO学”？
本文探讨了软件开发领域在证据标准方面与其他技术设计学科（如电子和机械工程）之间的差距，并以UAP（不明异常现象）的国会听证会为例，指出软件工程研究中也存在类似的问题，即缺乏可靠的、可验证的证据。
文章首先回顾了2023年关于UAP的国会听证会，其中一些证人提供了关于捕获的“非人类”飞行器和材料的耸人听闻的证词。然而，文章指出，即使是宣誓后的证词也仅仅是某人说了某些话的证据，并不能证明其真实性。作者强调，自听证会以来，没有任何确凿的证据进入公共或科学领域来支持这些说法。
文章还提到了军方提供的关于异常物体的视频，但作者认为这些视频本身并没有什么特别之处，只是伴随着一些关于“瞬间加速”和其他不可能的动作的描述，但这些描述并没有在视频中捕捉到。作者认为，UFO/UAP证据的普遍性质也是如此，当过滤掉传闻噪音后，几乎没有可信的、有意义的可测试证据来支持外星人或其他超自然假设。
作者还提到了他与著名UFO研究员斯坦顿·弗里德曼的通信，弗里德曼声称有“压倒性的证据”表明某些UFO是外星飞船。然而，作者认为弗里德曼的方法更像是一位调查记者，而不是一位科学家，他寻找的是支持其理论的_文档_，而不是物理证据。作者认为，即使这些文档是真实的，也只能证明有人写下了某些东西。
作者赞同官方政府的研究结论，即UFO值得认真的科学调查。他提到了电子工程师Scot Stride提出的“SETV”（搜寻外星人访问）计划，该计划旨在通过多模式仪器搜索天空来收集更多更好的数据。作者认为这是一个好主意，但斯坦顿·弗里德曼却对此泼冷水，认为UFO无法进行科学研究。
作者将这种现象与软件工程领域进行了类比，指出许多人声称软件工程是“科学的”，因为有数据，但当作者建议需要_更好_的数据时，他们却退缩了。作者认为，大多数关于软件工程的实证研究规模都很小，试图从统计上不显著的样本量中提取有意义的趋势，这使得它们容易受到统计噪音的影响。此外，许多研究都是基于_报告的_数据，而不是直接观察到的数据，这使得它们更像是轶事证据，而不是确凿的证据。
最后，作者提出，软件工程需要更好的数据和更严格的证据标准，才能真正成为一门科学。就像UFO研究一样，我们需要更多_信号_，更少_噪音_。
- 原文: [Is Software the UFOlogy of Engineering Disciplines?](https://codemanship.wordpress.com/2025/11/07/is-software-the-ufology-of-engineering-disciplines/)
- Hacker News: [https://news.ycombinator.com/item?id=45845948](https://news.ycombinator.com/item?id=45845948)
- 作者: flail
- 评分: 51
- 评论数: 82
- 发布时间: 2025-11-07 21:09:07
---
## 云端 GPU Notebook：Modal Notebooks 的技术内幕
本文深入探讨了 Modal Notebooks 如何在云端实现快速启动 GPU 和自定义镜像，并支持实时协作的技术细节，重点在于其背后的系统工程。
Modal Notebooks 旨在提供一种兼具本地速度和云端协作优势的 Jupyter Notebook 体验。文章详细介绍了 Modal 如何利用其 Sandboxes（安全隔离的进程，拥有自己的文件系统、资源和生命周期）运行内核，并通过 `modal-kernelshim` 守护进程将 Jupyter 协议消息转换为 HTTP 调用，从而实现远程访问内核。为了解决容器镜像解包带来的延迟问题，Modal 构建了一个延迟加载的容器文件系统，仅在需要时才按需获取文件内容，并通过多层缓存加速访问。此外，Modal 还利用其强大的调度和容量管理能力，以及 VolumeFS 全局存储系统，实现了高效的 Notebook 运行和数据持久化。
文章还提到了 Modal Sandboxes 的应用场景，例如 Lovable 使用它来运行 AI 开发环境，Marimo 则基于它构建了 Molab 云产品。这些案例表明，Modal Sandboxes 可以支持各种交互式计算场景。总而言之，Modal Notebooks 的核心在于其底层的分布式系统和基础设施，这些技术共同实现了快速启动、高效运行和数据持久化的云端 Notebook 体验。
- 原文: [We built a cloud GPU notebook that boots in seconds](https://modal.com/blog/notebooks-internals)
- Hacker News: [https://news.ycombinator.com/item?id=45794824](https://news.ycombinator.com/item?id=45794824)
- 作者: birdculture
- 评分: 60
- 评论数: 25
- 发布时间: 2025-11-03 08:50:41
---
## Captcha验证及其在安全领域的应用
本文讨论了网站上常见的Captcha验证机制，以及它在验证用户身份和防止恶意请求中的作用。文章简要介绍了Captcha的目的，即区分人类用户和自动机器人程序，以维护网站的安全性和可靠性。
Captcha验证是一种常见的安全措施，网站通过它来确认访问者是人类而非机器人。这种验证通常通过要求用户识别扭曲的文本、图像或解决简单的逻辑问题来实现。Captcha的主要目的是防止恶意软件或机器人自动执行某些操作，例如垃圾邮件发送、账户注册或恶意攻击。虽然Captcha在一定程度上可以提高安全性，但它也可能给用户带来不便，降低用户体验。因此，开发者需要权衡安全性和可用性，选择合适的Captcha方案。随着人工智能技术的发展，传统的Captcha越来越容易被破解，因此需要不断创新Captcha技术，例如使用更复杂的图像识别或行为分析等方法。
评论区对Fil-C的讨论集中在性能、适用性和未来发展方向上。有人认为，成熟的C程序很少崩溃，崩溃通常是安全问题而非稳定性问题。也有人指出，Fil-C可能不适用于对性能要求高的C库，并质疑其在新项目中的竞争力。此外，还有人对Fil-C的出现时机表示好奇，询问是否存在技术突破使其成为可能。一些评论者对Fil-C的内存安全特性表示赞赏，认为它能为C社区带来益处，但也对其性能下降和GC机制表示担忧。有人提出了不使用GC的Fil-C设想，并希望了解更多相关信息。总的来说，评论区对Fil-C持谨慎乐观态度，认为它在安全性和兼容性方面具有潜力，但需要在性能和易用性方面进一步改进。
- 原文: [A Note on Fil-C](https://graydon2.dreamwidth.org/320265.html)
- Hacker News: [https://news.ycombinator.com/item?id=45842494](https://news.ycombinator.com/item?id=45842494)
- 作者: signa11
- 评分: 210
- 评论数: 125
- 发布时间: 2025-11-07 08:59:58
---
## JermCAD：基于浏览器的 YAML 驱动 CAD 软件
JermCAD 是一款基于浏览器的 3D CAD 建模渲染器，它允许用户使用 YAML 语法来设计 3D 模型。这个工具的主要亮点在于其使用 YAML 语法进行 3D 建模，这对于那些觉得传统 CAD 软件学习曲线陡峭的用户来说，提供了一个更易于理解和使用的替代方案。
JermCAD 允许用户定义几何形状、应用布尔运算，并实时可视化他们的设计，同时还支持导出功能。它支持多种形状类型，包括长方体、圆柱体、圆锥体、球体、圆环体和拉伸形状，并提供并集、差集和交集等布尔运算。用户可以使用可重用的参数化形状模板来创建复杂的装配体，并通过属性引用来保持对齐和一致性。该工具还具备交互式 3D 查看器，具有相机控制功能，并支持导出为 STL 格式，方便 3D 打印。此外，JermCAD 支持坐标系设置（Z 轴向上或 Y 轴向上）、线框模式切换以及实时渲染，用户可以调整渲染质量以优化性能。
JermCAD 的核心优势在于其代码驱动的设计方式，用户可以直接在 YAML 文件中表达设计意图，而无需学习复杂的 UI 界面。通过使用参数，用户可以轻松地维护一致的尺寸，并在一个地方更新所有相关值，从而创建参数化模型。材料定义允许用户重复使用颜色和不透明度设置，从而保持设计的一致性。`final` 部分可以将所有可见网格合并为一个最终网格，并应用统一的外观，方便展示最终结果。
总而言之，JermCAD 提供了一个独特的、基于代码的 CAD 解决方案，特别适合那些熟悉编程和喜欢使用文本配置文件的用户。虽然项目还处于早期阶段，可能存在一些 bug，但其创新的方法和简洁的 YAML 语法为 3D 建模提供了一个新的可能性。
- 原文: [JermCAD: Browser-Based CAD Software](https://github.com/jeremyaboyd/jerm-cad)
- Hacker News: [https://news.ycombinator.com/item?id=45843603](https://news.ycombinator.com/item?id=45843603)
- 作者: azhenley
- 评分: 41
- 评论数: 25
- 发布时间: 2025-11-07 12:38:40
---
## LLVM 机器调度器：深入探索指令调度的盈利性检查阶段
本文深入探讨了 LLVM 机器调度器中指令调度的盈利性检查阶段，这是继合法性检查和可行性检查之后的关键步骤，旨在选择最佳候选指令，以降低寄存器压力并提高指令级并行性 (ILP)。
文章首先强调了在计算机科学中做出最优选择的挑战性，并指出 LLVM 机器调度器优先考虑速度和可维护性，而非找到绝对最优的指令。因此，`tryCandidate` 函数采用了一组固定的比较方法来评估候选指令。
其中，文章重点关注了两个启发式方法：降低寄存器压力和降低资源压力。寄存器压力被定义为程序中给定点上并发活动区间 (live interval) 的数量。LLVM 通过压力集 (pressure set) 来跟踪寄存器压力，将具有相似特征的寄存器分组到一起。
文章解释说，机器调度器更关心单个指令对寄存器压力造成的差异。调度器使用 `PressureDiff` 数据结构来存储每个指令对整体压力的影响的初步“猜测”。在比较指令时，会将 `PressureDiff` 应用于当前寄存器压力，以评估指令对压力的影响。
文章详细介绍了 `tryCandidate` 函数关心的三个关键指标：超额压力 (Excess pressure)、临界最大压力 (Critical Max pressure) 和当前最大压力 (Current Max pressure)。超额压力表示新压力与旧压力相比超出阈值的程度，用于过滤掉噪声。临界最大压力表示调度区域中已知的最大压力，而当前最大压力表示原始未调度程序中的最大压力。
最后，文章还提供了一个表格，总结了与寄存器压力相关的关键数据结构，例如 `PressureChange`，它表示特定压力集上寄存器压力的潜在变化量。
由于没有提供评论内容，因此无法进行评论观点的总结和分析。
- 原文: [Machine Scheduler in LLVM – Part II](https://myhsu.xyz/llvm-machine-scheduler-2/)
- Hacker News: [https://news.ycombinator.com/item?id=45788167](https://news.ycombinator.com/item?id=45788167)
- 作者: mshockwave
- 评分: 19
- 评论数: 0
- 发布时间: 2025-11-02 14:13:07
---
## 从盗版流媒体网站的成长中获得的创业经验
这篇文章讲述了作者运营盗版流媒体网站 HeheStreams 的经验，以及从中获得的关于客户服务、用户留存、产品设计等方面的创业经验。作者强调了与用户建立信任的重要性，以及如何通过真诚的沟通和优质的服务来提高用户满意度，即使是在一个非法的商业模式下。
作者分享了一些具体的经验，例如：使用个人化的邮箱地址而非 `noreply@`，主动帮助用户上手，发送有趣的邮件，坦诚地告知服务可用性，以及对用户流失保持开放态度。他还强调了专注的重要性，只专注于体育内容，并拒绝不适合的用户。作者还分享了一个通过 Reddit API 巧妙地进行推广的增长技巧，通过监控相关讨论并鼓励用户分享使用体验和推荐链接来吸引新用户。
作者认为，信任机制是自我反映，如果它们是虚假的，人们会看穿它们。即使在面临法律风险的情况下，这些经验仍然适用，并已成功应用于其他业务。
评论区对这篇文章的反应积极。有人惊讶于非法商业模式也能提供比合法业务更好的客户支持。有人提到类似的盗版 IPTV 服务在中东地区很受欢迎，并强调了运营此类业务的 OPSEC 重要性。另一些人赞赏作者的诚实和从中吸取的教训，并分享了作者其他页面的内容，例如关于康复和自我提升的思考。还有人强调了发送有趣邮件的重要性，并建议在发送长时间未发送的邮件时提醒用户注册的原因。总的来说，评论区对作者的经历和见解表示赞赏，并引发了关于客户服务、信任和商业道德的讨论。
- 原文: [Lessons from Growing a Piracy Streaming Site](https://prison.josh.mn/lessons)
- Hacker News: [https://news.ycombinator.com/item?id=45844197](https://news.ycombinator.com/item?id=45844197)
- 作者: zuhayeer
- 评分: 190
- 评论数: 114
- 发布时间: 2025-11-07 15:09:30
---
## Alfred Menezes 的密码学 101 课程资源汇总
Alfred Menezes 教授的密码学 101 课程提供了一系列关于密码学基础知识和应用的资源，包括 YouTube 课程和配套的教学材料。该课程涵盖了从基础的密码学原语到现实世界部署的案例研究，以及量子安全的密码学方案等主题。
该课程目前包含多个专题，例如：格基规约（LLL算法介绍，密码分析中的强大工具），Kyber 和 Dilithium（NIST 标准化的、基于格的量子安全密钥封装和签名方案），基于哈希的签名方案（LMS 和 SPHINCS+），格密码背后的数学原理，应用密码学基础，实际部署案例，以及纠错码的代数方法。这些课程旨在帮助学习者理解密码学的核心概念，并掌握在实际应用中部署密码学算法的技能。资源页面还提供了讲师可用的教学资源。
评论区主要有以下观点：
* 有评论提到 Alfred Menezes 还著有《应用密码学手册》，可以免费访问和下载，这是一个很好的补充资源。
* 有评论者希望有一个备忘单，能够根据需求推荐合适的加密方法或算法，例如身份验证、消息签名、密码存储等，并提供使用方法和注意事项。这反映了开发者在实际应用中选择和部署密码学算法时面临的困惑。
* 另一位评论者表示曾经上过 Menezes 教授的密码学课程，认为他是一位优秀的教授，并打算重新学习这些课程以复习知识。这表明 Menezes 教授的课程质量得到了认可。
- 原文: [Cryptography 101 with Alfred Menezes](https://cryptography101.ca)
- Hacker News: [https://news.ycombinator.com/item?id=45799109](https://news.ycombinator.com/item?id=45799109)
- 作者: nmadden
- 评分: 74
- 评论数: 10
- 发布时间: 2025-11-03 22:12:06
---
🫵 来啊，说点有用的废话!
▲
