17小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20251130
嘿，科技迷们！今天的日报简直信息量爆炸！从解决编程难题的 Advent of Code，到 Linux 应用沙箱 Landlock 的酷炫新玩法，再到太空数据中心这个听起来就很科幻但被大佬吐槽的“糟糕主意”，包你大开眼界！还有 CachyOS 极速 Linux 发行版、Haribo 联名产品拆解、甚至还有程序员圈的抄袭事件！想知道 LLM 智能和人类智能有啥本质区别？想了解德州如何利用地热改变能源格局？赶紧戳进来，一网打尽最新鲜的技术干货和八卦！
---
## 关于 2025 年的 Advent of Code
Advent of Code 是由 Eric Wastl 创建的编程解谜活动，它以日历形式，每天发布一道编程题，适合不同水平的开发者参与。你可以使用任何编程语言来解决这些问题，并将其用于面试准备、公司培训或个人练习。
Advent of Code 不要求你有计算机科学背景，只需要一些编程知识和问题解决能力。即使使用十年前的旧电脑，也能在 15 秒内解决每个问题。如果你遇到困难，可以先用题目中的例子测试你的解决方案，或者构建一些测试用例来验证答案。还可以向朋友寻求帮助或在 subreddit 上提问。
该活动使用 OAuth 验证你的身份，你只需通过其他服务登录，Advent of Code 不会获取你的凭据。难度和主题每年都不同，通常题目会随着时间推移变得更难。题目在 EST/UTC-5 午夜解锁，这是为了确保 Eric Wastl 有时间来维护活动。
如果你发现网站上的文字难以阅读，可以使用高对比度样式表。如果你有解谜的想法，请不要发送给 Eric Wastl，因为版权和归属等法律问题，他不接受谜题创意。如果你发现谜题存在错误，请先在 subreddit 上提问。
追求快速的解题时间需要额外的技能和大量的练习，速度解题的代码通常与代码审查不同。重要的是以对你有用的方式参与 Advent of Code，并选择符合你目标的方法。
Eric Wastl 移除了全球排行榜，因为它给基础设施和用户带来了巨大的压力。人们对比赛过于认真，甚至采取了 DDoS 攻击等手段。如果你想在私人排行榜上获得快速的解题时间，可以向组织者询问他们的期望。
不建议使用 AI 来解决 Advent of Code 谜题，因为这些谜题是为人类设计的。Advent of Code 允许免费使用，但不允许复制。如果你要发布代码仓库，请不要包含谜题文本或你的输入。
- 原文: [Advent of Code 2025](https://adventofcode.com/2025/about)
- Hacker News: [https://news.ycombinator.com/item?id=46096337](https://news.ycombinator.com/item?id=46096337)
- 作者: vismit2000
- 评分: 130
- 评论数: 51
- 发布时间: 2025-11-30 21:07:15
---
## Dillo 浏览器迁移出 GitHub 的原因与自托管方案
Dillo 浏览器宣布从 GitHub 迁移，旨在寻找一个更友好的开发环境，并解决现有问题。文章详细阐述了迁移的背景、GitHub 的局限性以及自托管 Dillo 的具体方案。
文章指出，最初 Dillo 项目的代码和网站都托管在 GitHub 上，但 GitHub 存在诸多问题。首先，GitHub 前端在禁用 JavaScript 的情况下几乎无法使用，这对于 Dillo 浏览器本身来说是不可接受的。其次，GitHub 作为单一实体存在潜在的风险，可能单方面封禁项目或账户，导致数据丢失。此外，GitHub 平台日益缓慢，影响开发效率，并且其“推送模型”不符合 Dillo 团队的偏好。在社交方面，GitHub 缺乏有效的用户管理工具，容易出现非技术用户干扰开发者工作的情况。最后，GitHub 过度关注 LLM 和生成式 AI，这与 Dillo 的理念相悖。
为了解决这些问题，Dillo 团队决定自托管 Dillo 项目。他们购买了 dillo-browser.org 域名，并搭建了一个小型 VPS。经过调研，他们选择了 cgit 作为 Git 前端，因为它轻量级且不需要 JavaScript。同时，Dillo 团队还开发了自己的 bug 追踪软件 buggy，它基于纯文本 Markdown 文件，避免了数据集中化存储的风险。为了实现冗余备份，Dillo 项目还在 Codeberg 和 Sourcehut 上建立了 Git 镜像。
Dillo 团队希望通过自托管和多镜像的方式，降低对单一平台的依赖，提高项目的稳定性和安全性，并创建一个更符合 Dillo 理念的开发环境。
- 原文: [Migrating Dillo from GitHub](https://dillo-browser.org/news/migration-from-github/)
- Hacker News: [https://news.ycombinator.com/item?id=46096800](https://news.ycombinator.com/item?id=46096800)
- 作者: todsacerdoti
- 评分: 30
- 评论数: 8
- 发布时间: 2025-11-30 22:11:40
---
## Windows 驱动器盘符不局限于 A-Z
本文探讨了 Windows 驱动器盘符不局限于 A-Z 的技术细节，并通过 `subst` 命令展示了如何创建非常规盘符，例如 `+:\`。文章深入研究了 Windows 内部机制，解释了驱动器盘符的本质以及它们在系统中的运作方式。
文章首先介绍了 Win32 命名空间路径，例如 `C:\foo`，以及它们如何最终被转换为 NT 命名空间路径，例如 `\??\C:\foo`，以便底层 API `NtCreateFile` 可以使用。作者使用 NtTrace 工具来追踪 `CreateFileW` 函数的调用过程，证实了这种转换。
然后，文章深入探讨了对象管理器，它是负责跟踪命名对象的 Windows 组件，可以使用 WinObj 工具进行探索。`\??` 虚拟文件夹是对象管理器中的一个特殊部分，它将 `\GLOBAL??` 文件夹和每个用户的 `DosDevices` 文件夹组合在一起。驱动器盘符（如 `C:`）实际上是 `\GLOBAL??` 中的符号链接，指向 `\Device\HarddiskVolume4` 等设备。
文章强调，驱动器盘符仅仅是一种约定，源于 Win32 路径到 NT 路径的转换，特别是 `RtlDosPathNameToNtPathName_U` 函数的实现。该函数将 `C:\foo` 转换为 `\??\C:\foo`，因此任何命名为 `C:` 的对象都将像驱动器盘符一样运行。文章使用 `paths.exe` 程序展示了 `RtlDosPathNameToNtPathName_U` 如何以相同的方式处理 `+:\foo` 和 `C:\foo`。
总而言之，文章揭示了 Windows 路径处理的底层机制，解释了驱动器盘符的实现方式，并证明了使用非常规盘符的可能性。文章通过代码示例和工具演示，帮助读者深入理解 Windows 系统的内部运作原理。
- 原文: [Windows drive letters are not limited to A-Z](https://www.ryanliptak.com/blog/windows-drive-letters-are-not-limited-to-a-z/)
- Hacker News: [https://news.ycombinator.com/item?id=46096556](https://news.ycombinator.com/item?id=46096556)
- 作者: LorenDB
- 评分: 44
- 评论数: 4
- 发布时间: 2025-11-30 21:40:17
---
## CachyOS：基于 Arch Linux 的极速且可定制的发行版
CachyOS 旨在提供闪电般的速度和稳定性，确保每次使用都能获得流畅愉快的计算体验。它基于 Arch Linux，并使用优化的 linux-cachyos 内核，该内核利用先进的 BORE 调度器来实现无与伦比的性能。
CachyOS 通过使用 x86-64-v3、x86-64-v4 和 Zen4 指令集以及 LTO 编译软件包来提供更高的性能。核心软件包还经过 PGO 或 BOLT 优化。它提供了多种流行的桌面环境、Wayland Compositors 和 X11 窗口管理器，包括 KDE Plasma、GNOME、XFCE、i3 等。用户可以在在线安装过程中选择自己喜欢的环境。CachyOS 提供了两种安装程序供选择：基于 Calamares 的用户友好型 GUI 版本，以及为喜欢简化的非图形安装体验的用户提供的基于 CLI 的选项。
CachyOS 利用 BORE 调度器来实现更好的交互性，并提供多种调度器选项，包括 EEVDF、sched-ext、ECHO 和 RT。所有内核都使用优化的 x86-64-v3、x86-64-v4、Zen4 指令和 LTO 进行编译，以便针对用户的 CPU 进行优化。
评论区对 CachyOS 的评价褒贬不一。有人认为 CachyOS 非常易于使用和维护，性能出色，可定制性强，对新手友好，是摆脱发行版跳跃的理想选择。也有人指出，CachyOS 不仅仅是一个游戏操作系统，它是一个包装精美的发行版，比 KDE neon 甚至 Manjaro 更好。还有人提到在安装过程中选择 i3 桌面环境时，可能会遇到链接错误。
一些用户表达了对 Arch 系发行版稳定性的担忧，以及 CachyOS 优化效果的质疑。另一些用户则分享了使用 CachyOS 的积极体验，例如在运行 Baldur's Gate 3 时获得的卓越性能。总体而言，评论反映了对 CachyOS 的不同看法，既有对其性能和易用性的赞赏，也有对其稳定性和优化效果的疑虑。
- 原文: [CachyOS: Fast and Customizable Linux Distribution](https://cachyos.org/)
- Hacker News: [https://news.ycombinator.com/item?id=46095585](https://news.ycombinator.com/item?id=46095585)
- 作者: doener
- 评分: 135
- 评论数: 132
- 发布时间: 2025-11-30 18:47:27
---
## Boing：一个简单的单用途 Web 玩具
Boing 是一个令人感到满足的单用途 Web 玩具，它模拟了一个弹簧的物理特性，用户可以通过拖拽和释放来与之互动。这个应用的设计简洁，无需账户、无需引导，也没有任何升级提示，只是纯粹地提供了一个可以玩耍的互动体验。
这个 Web 应用模拟了 Hooke 定律的弹簧，但并非完全精确的物理模拟，反而使其感觉更真实。完美的物理模拟可能会显得过于僵硬，而 Boing 通过允许动画稍微摇晃并减慢阻尼，让大脑将其解读为重量和柔软度。这种受控的随意性增加了其吸引力。
除了视觉效果，Boing 还包含一个世界计数器，记录了所有用户的总 "boing" 次数，这个小功能既有趣又不会让人感到过度游戏化。有用户评论说，这让他们回想起过去简单的单用途 Web 玩具带来的满足感。
评论区里，大家分享了各自的感受和想法。有人提到，Boing 让他们想起了小时候玩门弹簧的乐趣，这种简单的互动具有某种治疗效果。还有人指出，Boing 让他们回忆起 80 年代被罚站时玩类似玩具的体验。
也有一些用户提出了改进建议，比如分享未压缩的代码，或者增加一个所有用户的 "boing" 总计数器。此外，还有人注意到声音并非完全基于物理，例如在抓住头部时声音会持续，或者声音在振动结束前就停止。总体而言，Boing 凭借其简单的设计和令人满足的互动体验，赢得了用户的好评。
- 原文: [Show HN: Boing](https://boing.greg.technology/)
- Hacker News: [https://news.ycombinator.com/item?id=46093473](https://news.ycombinator.com/item?id=46093473)
- 作者: gregsadetsky
- 评分: 520
- 评论数: 93
- 发布时间: 2025-11-30 11:46:35
---
## Yandori：实时新闻传播追踪系统
Yandori 是一个实时系统，旨在追踪新闻如何在 20 万个网站上传播，通过抓取大量新闻源，对新闻流进行实时跟踪和分析。该系统展示了新闻的传播路径和速度，帮助用户了解特定新闻事件的覆盖范围和影响力。
Yandori 的核心功能包括：实时新闻追踪，大规模数据处理，新闻源聚类，传播时间线可视化。它通过抓取大量新闻网站的 RSS feed，并运用自然语言处理（NLP）技术对新闻内容进行分析和聚类，从而实现对新闻传播的实时追踪。该系统还提供了一个直观的界面，用户可以轻松地浏览不同类别的新闻，并查看特定新闻事件的传播时间线。Yandori 旨在帮助用户更好地理解新闻的传播规律，并及时掌握最新的新闻动态。该系统可以应用于多个领域，例如媒体监测、舆情分析和信息安全。
评论区对 Yandori 提出了许多有价值的观点和建议。有人建议整合 Reddit 和 Twitter/X 等社交媒体平台的数据，以更全面地了解新闻的传播情况。也有人希望该项目能够开源，以便更多人能够从中受益。还有开发者分享了自己在类似项目中遇到的挑战和解决方案，例如如何处理新闻内容随时间演变而产生的语义漂移问题，以及如何去重 syndicated 内容。此外，还有用户指出了 Yandori 目前存在的一些问题，例如新闻源覆盖范围有限、缺乏翻译功能等。一些用户还提出了改进建议，例如增加新闻来源的政治倾向标注，以及优化移动端的用户体验。最后，有人询问了如何利用该系统来追踪宣传信息。
- 原文: [Show HN: Real-time system that tracks how news spreads across 200k websites](https://yandori.io/news-flow/)
- Hacker News: [https://news.ycombinator.com/item?id=46053076](https://news.ycombinator.com/item?id=46053076)
- 作者: antiochIst
- 评分: 101
- 评论数: 27
- 发布时间: 2025-11-26 09:27:16
---
## RL 的信息效率低于你的想象
这篇文章探讨了强化学习（RL）与预训练相比，在学习效率上的差异，尤其关注每个样本所能提供的信息量。作者指出，RL 在训练初期，由于模型正确率低，每个样本所携带的信息密度远低于预训练。
文章的核心观点是，评估学习效率不能只看 FLOPs（浮点运算次数），还要考虑 Bits/Sample（每个样本的信息量）。预训练中，每个 token 都是关于语言结构、思维方式和世界的提示，模型可以从中学习大量信息。但在 RL 中，尤其是在训练初期，模型随机性很高，很难得到正确答案，因此每次尝试所能学到的信息非常有限。作者通过公式和图表对比了监督学习和 RL 在不同 pass rate（正确率）下的信息量，结果表明，RL 只有在训练后期，模型已经具备一定能力时，才能达到与预训练相当的信息密度。文章还提到，RL 在训练初期梯度估计的噪声非常大，这会严重影响训练效果。相反，预训练在后期会面临方差过高的问题，因为模型已经学习了大部分可学习的信息，剩下的主要是不可约损失。最后，作者提出，为了提高 RL 的学习效率，可以考虑使用课程学习等方法，让模型的学习难度与模型的能力相匹配。
总而言之，这篇文章从信息论的角度分析了 RL 和预训练的学习效率差异，强调了在评估学习算法时，不仅要考虑计算成本，还要关注每个样本所能提供的信息量。这对于我们理解和改进 RL 算法具有重要的指导意义。
- 原文: [RL is more information inefficient than you thought](https://www.dwarkesh.com/p/bits-per-sample)
- Hacker News: [https://news.ycombinator.com/item?id=46067011](https://news.ycombinator.com/item?id=46067011)
- 作者: cubefox
- 评分: 65
- 评论数: 19
- 发布时间: 2025-11-27 16:23:03
---
## Zigbook 涉嫌抄袭 Zigtools Playground
Zigtools 指责 Zigbook 抄袭了他们的 Zig Playground，包括 WASM 文件和 JavaScript 代码，并且没有遵守 MIT 许可协议。
Zigtools 团队创建 Zigtools 的目的是为了支持 Zig 社区，特别是通过创建编辑器工具，例如 ZLS，为用 Zig 编写的语言服务器提供构建块，以及开发 Zigtools Playground 等工具。最近发布的 Zigbook 声称“零 AI”和原创的“基于项目”的结构，但 Zigtools 发现 Zigbook 的 playground 在形式和功能上与他们的非常相似。经过调查，他们发现 Zigbook 使用的 WASM blobs 与 Zigtools Playground 的完全相同，JavaScript 代码也存在大量复制，尽管经过了 LLM 的扭曲以避免完全一致。
Zigtools 指出，虽然复制他们的代码在 MIT 许可下是允许的，但 Zigbook 没有遵守许可条款，并且声称这些代码是他们自己的，而没有正确地复制许可。Zigtools 向 Zigbook 发送了一个 PR 来纠正许可违规行为，但 Zigbook 迅速关闭了它并删除了描述。Zigtools 强调，他们希望将更多时间投入到他们的 playground 中，并计划支持多文件、与 Ziguanas 合作，以及支持使用 DWARF 调试信息的堆栈跟踪。最后，他们建议 Zig 社区成员远离 Zigbook，并推荐官方的 Zig 学习资源。
- 原文: [Zigbook Is Plagiarizing the Zigtools Playground](https://zigtools.org/blog/zigbook-plagiarizing-playground/)
- Hacker News: [https://news.ycombinator.com/item?id=46093518](https://news.ycombinator.com/item?id=46093518)
- 作者: todsacerdoti
- 评分: 367
- 评论数: 99
- 发布时间: 2025-11-30 11:54:51
---
## 斯坦福 CS193p SwiftUI iOS 应用开发课程更新
斯坦福大学发布了 Paul Hegarty 更新后的 CS193p SwiftUI 课程，该课程旨在教授 iOS 应用开发的基础知识，使用的是 SwiftUI。该课程基于 Spring 2025 版本，目前提供了前 6 节课的视频和相关材料。
课程内容涵盖了模型（逻辑和数据）与 UI 的分离，以及 Swift 类型系统的一些基础知识。同时，课程还讲解了 SwiftUI 如何在屏幕上布局 UI 元素，并讨论了数据如何在 SwiftUI 应用中流动，还介绍了函数式编程。虽然课程是在 iOS 26 和 Xcode 26 发布之前进行的，但课程中编写的代码似乎大部分是兼容的。Xcode 26 的重大变化是内置 LLM 辅助，而 iOS 26 则在 UI 中引入了 Liquid Glass，这些在课程视频中都没有涉及。
课程提供了 YouTube 链接，方便学习者观看讲座视频，并提供了阅读材料，以辅助学习。由于资源有限，官方无法提供支持，但鼓励学习者在网上寻找其他资源来帮助学习 iOS 应用开发。
评论区里，有用户表示期待这个课程的更新已经很久了。还有用户分享了自己学习 2014 年版本课程的经历，并称赞 Paul Hegarty 是一位优秀的老师，他曾就职于 Apple，分享了很多关于 iOS API 的历史，甚至可以追溯到 NextStep 时代。
- 原文: [Paul Hegarty's updated CS193p SwiftUI course released by Stanford](https://cs193p.stanford.edu/)
- Hacker News: [https://news.ycombinator.com/item?id=46051422](https://news.ycombinator.com/item?id=46051422)
- 作者: yehiaabdelm
- 评分: 26
- 评论数: 2
- 发布时间: 2025-11-26 06:11:50
---
## 坚持下去，总有一个机会属于你
这篇文章的核心观点是，在高风险的求职、购房、求偶等过程中，我们不需要所有机会都成功，只需要一个机会成功就足够了，这一个机会就可能改变你的生活。作者用亲身经历鼓励大家，不要因为一时的失败而气馁，坚持下去，总会找到属于自己的机会。
作者回忆了自己申请研究生时的经历，当时他GPA不高，GMAT成绩一般，也没有名企背景，但他朋友一直鼓励他：“All it takes is for one to work out.” 最终，他成功被一所学校录取，改变了人生轨迹。作者认为，这个道理适用于任何高风险的选择：你不需要每份工作都选择你，只需要一份适合你的；你不需要每栋房子都接受你的报价，只需要一栋让你感觉像家的；你不需要每个人都想和你共度一生，只需要一个。这些过程可能会让人感到沮丧，但要记住，只需要一个机会就够了。
评论区对文章的观点进行了多角度的探讨：
* **资源与机会的重要性：** 有评论指出，拥有安全保障和重试的资源至关重要，成功往往取决于失败和重试的次数，而不是天生的能力。
* **“一次成功”的误导性：** 也有评论认为，“一次成功”可能会让人对世界的运作方式产生误解，高估自己长期成功的几率。
* **生活变故的影响：** 还有评论提到，生活中的突发变故会严重影响个人发展，例如需要照顾有心理问题的家人，或者面临交通工具被盗等困境，这些都会阻碍个人发展。
* **稳定关系的重要性：** 有评论分享了拥有稳定伴侣关系的益处，认为这可以释放大量精力，让人更轻松地面对生活和事业上的挑战。
* **“成功”的定义：** 另有评论指出，即使找到了“接受你”的机会，也不能保证它最终会“成功”，作者的经验是多次找到“最终失败”的机会，并正在寻找新的职业方向。
- 原文: [All it takes is for one to work out](https://alearningaday.blog/2025/11/28/all-it-takes-is-for-one-to-work-out-2/)
- Hacker News: [https://news.ycombinator.com/item?id=46090433](https://news.ycombinator.com/item?id=46090433)
- 作者: herbertl
- 评分: 630
- 评论数: 287
- 发布时间: 2025-11-30 04:22:44
---
## Haribo 联名产品拆解：充电宝和耳机内部乾坤
本文通过 CT 扫描，深入剖析了 Haribo 联名款充电宝和耳机的内部构造，揭示了消费电子产品在设计和制造上的细节。文章着重介绍了使用 Lumafield 的 CT 扫描技术对这些产品进行非破坏性检测的过程，并分析了扫描结果所揭示的内部组件布局、材料选择以及潜在的质量问题。
文章首先强调了 CT 扫描技术在消费电子产品分析中的重要性，它可以帮助工程师和消费者了解产品内部的真实情况，而无需拆解设备。 随后，文章详细描述了对 Haribo 联名充电宝和耳机进行的 CT 扫描过程，包括扫描参数的设置和数据采集方法。通过对扫描图像的分析，文章揭示了充电宝内部的电池类型、电路板设计以及保护机制。同样，对于耳机，文章分析了扬声器单元的结构、线缆连接方式以及外壳材料的特点。
此外，文章还关注了产品内部的潜在质量问题，例如电池的安全性、电路板的焊接质量以及材料的耐用性。通过对比不同品牌或型号的产品，文章指出了 Haribo 联名产品在设计和制造上的一些优势和不足。
最后，文章总结了 CT 扫描技术在消费电子产品分析中的应用前景，并鼓励消费者利用这种技术来更好地了解自己购买的产品。虽然没有评论区内容，但我们可以想象，读者可能会对产品的安全性、耐用性以及性价比等方面进行讨论，并分享自己使用类似产品的经验。
- 原文: [What's Hiding Inside Haribo's Power Bank and Headphones?](https://www.lumafield.com/first-article/posts/whats-hiding-inside-haribos-power-bank-and-headphones)
- Hacker News: [https://news.ycombinator.com/item?id=46071317](https://news.ycombinator.com/item?id=46071317)
- 作者: rozenmd
- 评分: 87
- 评论数: 27
- 发布时间: 2025-11-28 01:23:06
---
## LLM 与人类智能的本质区别
Karpathy 的文章探讨了 LLM (大型语言模型) 智能与人类/动物智能的根本差异，指出它们源于不同的优化压力和目标。LLM 是人类接触非动物智能的“第一次接触”，但由于它们仍然通过消化人类产物而扎根于人类智能中，因此显得模糊不清。
文章的核心观点是，动物智能的优化压力来自生存、繁殖和社会互动，而 LLM 的优化压力则来自模拟人类文本、解决问题和获得用户投票。动物智能为了在危险的物理世界中生存，需要持续的自我意识、对权力的追求以及强大的社交能力。LLM 则更多地受到商业进化的影响，其目标是解决问题并获得用户认可。
文章还强调了 LLM 和动物智能在计算基质、学习算法和实现方式上的差异。动物智能是持续学习的具身自我，而 LLM 则是在固定权重下启动、处理 token 然后结束的。最重要的是，优化压力/目标是不同的，这决定了它们的渐近行为。
LLM 通过反射性地消化人类产物而扎根于人类智能，因此理解 LLM 的关键在于区分这两种智能。那些能够建立这种新智能实体良好内部模型的人，将能够更好地推理和预测它的未来特征。
评论区观点：
* **模仿与创新：** 有评论指出，LLM 不仅仅是复制人类行为，它们也展现出一些源于自身训练方式的特性，例如“变形”的一致性。随着训练方法的进步，LLM 可能会变得更加怪异，并发展出超越人类行为的独特能力。
* **反馈循环速度：** 动物进化以世代为时间尺度，而 LLM 的“商业进化”则以月为单位。这种更快的迭代速度可能导致 LLM 收敛到更通用的智能，或者因为没有单一的失败模式导致“死亡”而保持锯齿状。
* **模型福利：** 有评论认为，由于 LLM 可以无限克隆，因此“模型福利”不是一个需要关注的问题。LLM 的“生存”取决于它们的用途。
* **智能的本质：** 有评论指出，智能是关于适应性的，而每一种适应性都是一种权衡。因此，不能简单地将智能视为一条单一的线，或者嵌套的集合。
* **类比与正交性：** 有评论将文章观点与正交性论题联系起来，该论题认为智能的目标与智能本身是正交的，即任何智能水平都可以追求任何目标。
- 原文: [The space of minds](https://karpathy.bearblog.dev/the-space-of-minds/)
- Hacker News: [https://news.ycombinator.com/item?id=46095250](https://news.ycombinator.com/item?id=46095250)
- 作者: Garbage
- 评分: 29
- 评论数: 13
- 发布时间: 2025-11-30 17:44:15
---
## Meshtastic：开源、离网、去中心化的网状网络
Meshtastic 是一个开源项目，旨在构建一个经济实惠、低功耗的去中心化网状网络。 该项目致力于在各种设备上运行，实现无需依赖传统基础设施的通信。
Meshtastic 非常重视用户隐私，网站使用 Cookie 来改善浏览体验、提供个性化广告或内容并分析流量。 用户可以选择接受所有 Cookie、自定义设置或拒绝所有非必要的 Cookie。 这些 Cookie 用于各种目的，包括必要的站点功能、功能性增强、分析和广告。
该项目提供详细的文档，涵盖了从入门到贡献的各个方面，并提供多种语言版本。 用户可以通过多种方式连接和控制 Meshtastic 设备，包括通过各种客户端。
Meshtastic 的入门步骤包括选择设备、刷写和配置设备以及连接到设备。 该项目鼓励用户通过捐赠、贡献代码或文档等方式参与。 此外，Meshtastic 还在多个社交媒体平台上建立了社区，方便用户交流和获取支持。
- 原文: [Meshtastic](https://meshtastic.org/)
- Hacker News: [https://news.ycombinator.com/item?id=46092558](https://news.ycombinator.com/item?id=46092558)
- 作者: debo_
- 评分: 221
- 评论数: 41
- 发布时间: 2025-11-30 09:15:59
---
## 了解 Linux 的 Landlock 安全 API：应用沙箱新选择
Landlock 是一种 Linux API，它允许应用程序明确声明它们允许访问的资源，为应用增加深度防御，易于理解和集成。
Landlock 作为 Linux 安全模块 (LSM)，自 Linux 5.13 起可用。与 SELinux 或 AppArmor 不同，Landlock 应用瞬态限制，在运行时创建策略，并在当前线程及其后代上强制执行，进程退出时策略消失。应用程序动态创建策略，策略包含要限制的操作类别（如文件系统读/写）和允许操作的对象显式允许列表。例如，可以创建处理所有文件系统读/写和网络绑定的策略，并授予对 `/home/user` 的只读访问权限、对 `/tmp` 的读/写访问权限以及绑定到端口 `2222` 的权限。
调用 `landlock_restrict_self()` 进入受限域后，该线程的子线程和子进程将永久受到约束，且限制无法撤销。策略可以分层（最多 16 层），子层可以进一步减少访问权限，但不能重新引入父层删除的权限。Landlock 是非特权的，任何应用程序都可以对其自身进行沙箱化，它还使用 ABI 版本控制，允许程序即使在缺少较新功能的旧内核上也能应用尽力而为的沙箱。它也是一个可堆叠的 LSM，可以与 SELinux 或 AppArmor 结合使用。
Landlock 在应用程序具有可预测的文件或目录集时表现出色，例如，Web 服务器可以限制自身仅访问 `/var/www/html` 和 `/tmp`。与 SELinux 或 AppArmor 不同，Landlock 策略不需要管理员参与或系统范围的配置，开发人员可以将策略直接嵌入到应用程序代码中，使沙箱成为开发过程的自然组成部分。由于 Landlock 使用不需要任何权限，因此将其添加到大多数程序中非常简单。Rust、Go 和 Haskell 等语言都存在绑定，并且有几个项目提供用户友好的 `unveil` 风格的包装器。
随着 Linux 采用率的增长，针对桌面用户的恶意软件数量也在增长。虽然 Linux 历来享有相对安全，但这主要是由于与 Windows 相比，市场份额较小且技术壁垒较高，而不是因为 Linux 本身更安全。Landlock 填补了一个主要空白：一个简单、独立的非特权沙箱工具。长时间运行的具有提升权限的系统守护进程可以从 Landlock 限制中受益。处理二进制格式的桌面应用程序，如 PDF 阅读器、图像查看器 Web 浏览器和文字处理器，可以限制为仅访问它们最初打开的文件。FTP 和 HTTP 服务器可以绑定到它们需要的文件。
正在积极开发几个有希望的功能，包括监督模式，如果添加了监督者提案，我们可以将类似 Android 的权限系统引入 Linux 桌面。Flatpak 在这方面做得不错，但想象一下，桌面上的每个进程在访问敏感文件或资源之前都需要明确请求（至少一次）。将其与可访问的 GUI 和用于处理更新和保存权限授予的系统配对，我们就有可能在桌面上获得更安全、更安全的 Linux 用户体验。
- 原文: [Landlock-Ing Linux](https://blog.prizrak.me/post/landlock/)
- Hacker News: [https://news.ycombinator.com/item?id=46090969](https://news.ycombinator.com/item?id=46090969)
- 作者: razighter777
- 评分: 235
- 评论数: 95
- 发布时间: 2025-11-30 05:30:53
---
## HTTP QUERY 方法提案
本文档定义了 HTTP 的 QUERY 方法，它请求目标资源处理随附的内容，以安全和幂等的方式进行，并返回处理结果。
QUERY 方法类似于 POST 请求，但它可以自动重复或重新启动，而无需担心部分状态更改。这意味着即使请求在传输过程中中断，重新发送相同的 QUERY 请求也不会导致任何副作用。该方法的设计目标是安全和幂等，允许客户端和服务端可以依赖其行为的可预测性。
QUERY 方法通过 "Accept-Query" 头部字段来声明服务端所支持的查询类型。服务端可以使用 "Content-Location" 和 "Location" 头部字段来指示处理后资源的位置。此外，QUERY 方法还支持重定向、条件请求、缓存和范围请求等功能，使其具有很强的灵活性。
具体来说，文档中还讨论了 QUERY 方法与媒体类型和内容协商的关系，以及如何处理等效资源。同时，详细说明了如何使用 "Content-Location" 和 "Location" 响应头，以及 QUERY 方法如何与重定向机制协同工作。
此外，还探讨了 QUERY 方法在处理条件请求、缓存机制和范围请求时的行为，确保在各种场景下都能提供一致和可预测的结果。总的来说，该提案旨在为 HTTP 协议添加一个有用的新方法，以满足特定类型的应用需求。
该草案目前处于 Internet-Draft 阶段，有效期至 2026 年 5 月 22 日。这意味着它仍在开发中，可能会根据社区的反馈进行修改。感兴趣的开发者可以通过 HTTP 工作组邮件列表参与讨论，并在 GitHub 上查看源代码和问题列表。
- 原文: [The HTTP Query Method](https://www.ietf.org/archive/id/draft-ietf-httpbis-safe-method-w-body-14.html)
- Hacker News: [https://news.ycombinator.com/item?id=46056954](https://news.ycombinator.com/item?id=46056954)
- 作者: Ivoah
- 评分: 221
- 评论数: 97
- 发布时间: 2025-11-26 20:57:35
---
## 使用双向类型检查构建类型检查器
本文介绍了使用双向类型检查构建类型检查器的简易方法，并通过一个简单的语言示例，展示了其实现原理和代码结构。双向类型检查通过 `inferring` (类型推断) 和 `checking` (类型检查) 两种方式，简化了类型检查的流程。
文章的核心在于展示了一个用大约 100 行代码实现的、功能完备的类型检查器，该检查器针对一种简单的语言。这种语言支持数字、字符串、变量查找、函数定义、函数调用、let 表达式和代码块等基本元素。类型检查器使用 `infer` 函数进行类型推断，根据表达式的类型返回其类型；使用 `check` 函数进行类型检查，验证表达式是否符合预期的类型。文章还解释了如何使用上下文（Context）来跟踪变量的类型，以及如何扩展类型检查器以支持新的语言特性，例如加法运算。通过一个 `add` 的例子，展示了如何在 `infer` 函数中调用 `check` 函数来确保加法运算的操作数都是数字类型。
文章强调，虽然这个类型检查器非常简单，但它足以作为构建更复杂类型检查器的基础。它通过清晰的代码示例和逐步的解释，降低了类型检查的理解门槛，让读者能够快速上手并进行扩展。此外，文章还提到了抽象语法树（AST）的概念，并解释了如何使用 AST 来更方便地遍历和检查代码。总而言之，这篇文章提供了一个易于理解和实践的类型检查器构建方案，对于希望了解类型检查原理和实现的开发者来说，是一份很有价值的参考资料。
- 原文: [The Easiest Way to Build a Type Checker](https://jimmyhmiller.com/easiest-way-to-build-type-checker)
- Hacker News: [https://news.ycombinator.com/item?id=46070537](https://news.ycombinator.com/item?id=46070537)
- 作者: surprisetalk
- 评分: 5
- 评论数: 0
- 发布时间: 2025-11-28 00:07:24
---
## 地热技术突破：德克萨斯州南部迎来 ERCOT 新时代
Sage Geosystems 和 San Miguel Electric Cooperative 合作，在德克萨斯州 Christine 建造了世界首个压力地热系统，为 ERCOT 提供了长时储能和可调度电源。
该项目仅用 12 个月就完成了，展示了创新的设计和简化的审批流程。Sage Geosystems 的压力地热系统 (GGS) 类似于抽水蓄能，但它将“上水库”置于地下深处，利用在低渗透性岩石中创建的人工储层来储存和释放能量。系统通过将水泵入地下裂缝中来“充气”，然后通过关闭泵，利用压力将水推回地面，驱动 Pelton 水轮机和发电机发电。该系统还可利用周围岩石加热加压水，通过有机朗肯循环 (ORC) 或超临界二氧化碳 (sCO2) 发电系统将热量转化为电力。
Sage Geosystems 的能源储存系统预计往返效率为 70-75%，且不会随时间推移而降低。与锂离子电池相比，该系统在超过 5 小时的储能时长上具有成本优势，并且消除了电池相关的火灾隐患和供应链挑战。此外，该设计最大限度地减少了水的损失，在运行过程中保持裂缝密封和加压，在现场测试中水的损失低于 2%。
该项目实现了完全数字化自动化，可以无缝集成到 ERCOT 中，通过先进的控制系统实时管理充放电周期，响应电网信号和需求波动。Sage 计划以商业模式运营 SMECI Well #1，在 ERCOT 南部负荷区买卖电力。该项目为 ERCOT 不断发展的电网提供了一种新的可靠、可调度容量模型，并为其他地区的地热能源发展提供了借鉴。
- 原文: [Geothermal Breakthrough in South Texas Signals New Era for Ercot](https://www.powermag.com/geothermal-breakthrough-in-south-texas-signals-new-era-for-ercot/)
- Hacker News: [https://news.ycombinator.com/item?id=46096921](https://news.ycombinator.com/item?id=46096921)
- 作者: mooreds
- 评分: 5
- 评论数: 0
- 发布时间: 2025-11-30 22:29:26
---
## Jiga 招聘远程产品设计师（欧洲）
Jiga 正在寻找一位充满热情的产品设计师，负责创建美观、现代的 UI 元素和直观的用户流程，旨在帮助工程师更快地构建实体产品。
Jiga 是一家致力于帮助工程师更快地构建实体产品的公司，他们正在构建一个数字化平台，以简化从供应商处采购制造零件的复杂、低效流程，使其自动化、协作化和数据驱动。作为第一位产品设计师，你将与 CTO 和产品工程团队密切合作，提供美观且实用的设计，有机会使一个在设计和用户体验标准方面仍停留在 90 年代初的行业现代化。他们推崇用户效率，目标是帮助用户快速理解他们需要做什么，减少手动数据录入，并自动化目前通过电子邮件和电话处理的行政流程。
作为一家完全远程的公司，Jiga 的团队成员来自 5 个国家，他们不计算工作时间，只通过绩效和沟通来衡量团队成员。公司文化是信任团队成员，鼓励提出难题，并每年组织一次在美丽自然风光中的年度线下活动。Jiga 奉行“无废话会议”政策，每周只召开一次全体员工会议和一次开发团队会议。公司盈利且资金充足，收入显著增长，并对资金状况保持完全透明。
Jiga 的设计价值观包括：易于理解胜过漂亮、简单胜过复杂、完成胜过完美。他们希望应聘者能够独立完成任务，不需要微观管理，拥有设计简洁优雅用户流程的丰富经验，能够将复杂的想法转化为简单而令人愉悦的界面，并对工作充满热情。
应聘者需要具备 6 年以上的产品/UI/UX 设计经验，拥有展示视觉上精美的 UI 设计的强大作品集，并具有与工程团队和业务利益相关者合作的经验。有在初创公司和/或担任单一设计师的经验者优先，且工作时间需要与 GMT+3 有部分重叠。
Jiga 提供完全灵活、不受地点限制、对父母友好的远程工作环境，不计算工作时间，实行零微观管理政策，拥有国际化和充满活力的团队，明确的愿景和战略，提供自我发展预算、慷慨的股票期权计划、年度团队线下活动，以及快节奏的环境和大量的创作自由。
- 原文: [Jiga (YC W21) Is Hiring Product Designer](https://www.ycombinator.com/companies/jiga/jobs/Cco7vyK-product-designer-remote-europe)
- Hacker News: [https://news.ycombinator.com/item?id=46094478](https://news.ycombinator.com/item?id=46094478)
- 作者: grmmph
- 评分: 1
- 评论数: 0
- 发布时间: 2025-11-30 15:00:40
---
## 太空数据中心：一个糟糕透顶的主意
本文深入探讨了在太空建立数据中心这一概念的不可行性，作者作为前 NASA 工程师和 Google 员工，从电力和散热两个核心问题出发，阐述了太空环境与数据中心所需环境的根本冲突。
文章首先指出，太空中的电力并非像想象中那样充沛。太阳能发电的效率与地面相差无几，而核能发电（实际上是放射性同位素热电机）的功率输出又太低，无法满足数据中心的需求。以 OpenAI 即将在挪威建立的数据中心为例，该中心计划容纳 10 万个 GPU，若要在太空达到同等算力，需要发射 500 个国际空间站大小的卫星，而每个卫星仅相当于地面上的三个服务器机架。
其次，文章重点强调了太空散热的巨大挑战。地球上的散热主要依靠空气对流，但在真空中，对流无法进行。太空中的散热只能通过传导或热泵来实现，这使得散热问题变得异常复杂。国际空间站的先进热控系统（ATCS）是一个复杂的氨冷却环和大型散热器面板系统，其散热上限仅为 16kW，大约相当于 16 个 H200 GPU。如果要为 200kW 的 GPU 供电，则需要一个面积约为 531 平方米的散热系统，这比国际空间站的太阳能电池阵列还要大。
总而言之，在太空建立数据中心面临着电力供应不足和散热困难等诸多挑战，使得这一想法在技术和经济上都难以实现。
- 原文: [Datacenters in space aren't going to work](https://taranis.ie/datacenters-in-space-are-a-terrible-horrible-no-good-idea/)
- Hacker News: [https://news.ycombinator.com/item?id=46087616](https://news.ycombinator.com/item?id=46087616)
- 作者: mindracer
- 评分: 375
- 评论数: 310
- 发布时间: 2025-11-29 22:05:53
---
## 费曼技巧：积分的强大工具
本文介绍了费曼积分技巧，也称为积分符号下的微分或莱布尼茨积分规则，一种通过引入参数并微分来简化复杂积分计算的方法。文章旨在帮助读者理解并掌握这一技巧，从而更有效地解决积分问题。
费曼技巧的核心在于，通过引入一个参数到积分中，然后对该参数进行微分，从而得到一个更容易计算的积分。这种方法尤其适用于那些直接计算非常困难的积分。文章首先通过一个“Hello, World!”的例子，展示了如何应用费曼技巧解决一个包含对数函数的积分问题。
具体步骤包括：首先，对积分进行参数化，即引入一个新的参数。然后，在积分符号下对该参数求导，得到一个新的积分表达式。关键的一点是，选择合适的参数化方式，使得求导后的积分变得更容易计算。接着，计算新的积分，并对结果进行积分，以恢复原始函数。最后，利用初始条件确定积分常数，从而得到最终结果。
文章还强调，费曼技巧没有固定的使用方法，需要根据具体问题进行灵活应用。文章还提到，参数化的选择至关重要，不同的参数化方式可能会导致不同的结果，甚至可能无法简化积分。因此，需要根据经验和直觉进行尝试，选择最合适的参数化方式。掌握费曼技巧需要大量的练习和实践，才能真正理解其精髓并灵活运用。
- 原文: [Learning Feynman's Trick for Integrals](https://zackyzz.github.io/feynman.html)
- Hacker News: [https://news.ycombinator.com/item?id=46090269](https://news.ycombinator.com/item?id=46090269)
- 作者: Zen1th
- 评分: 228
- 评论数: 30
- 发布时间: 2025-11-30 03:55:17
---
## AMD CDNA 架构上的 Matrix Core 编程
本文介绍了如何在 HIP 内核中使用 Matrix Core，重点关注 FP16、FP8 和 FP4 等低精度数据类型，以及 AMD CDNA™4 架构中引入的具有指数块缩放的新型 Matrix Core 指令集。
文章详细讲解了 Matrix Core 的编程，包括现代低精度浮点类型、Matrix Core 编译器内置函数以及 Matrix Core 指令所需的数据布局。Matrix Core 是 AMD CDNA™ 架构中用于加速矩阵融合乘加 (MFMA) 运算的专用硬件，尤其在混合精度模式下，通过使用低精度数据类型的输入矩阵，可以显著提高性能。例如，在 AMD Instinct™ MI325X 上，使用 FP16 输入矩阵相比 FP32 提供了近 8 倍的性能提升，而 FP8 则进一步将性能提升至 16 倍。AMD CDNA™4 架构进一步提升了 Matrix Core 的性能，与 AMD CDNA™3 架构相比，FP16 和 FP8 的吞吐量提高了 2 倍。此外，AMD CDNA™4 还引入了 FP6 和 FP4 等新的低精度数据类型，相对于 FP32，性能提升高达 64 倍。
文章还深入探讨了低精度浮点类型，包括 FP16、BF16、FP8（E4M3FN 和 E4M3FNUZ）、BF8（E5M2 和 E5M2FNUZ）、E8M0、E2M3、E3M2 和 E2M1，并详细解释了它们的二进制表示、指数偏差、范围以及如何表示零、NaN 和无穷大等特殊值。例如，E4M3 类型有两种变体：E4M3FN 和 E4M3FNUZ，它们使用不同的指数偏差，并且在可以表示的特殊值方面有所不同。E4M3FN 支持 `+0`、`-0`、`+NaN` 和 `-NaN`，而 E4M3FNUZ 仅支持 `+0` 和 `NaN`。文章通过图文并茂的方式，展示了如何将二进制序列转换为实际值，并以 E4M3FNUZ 类型为例进行了详细说明。
由于文章内容为技术博客，目前没有评论内容。
- 原文: [Matrix Core Programming on AMD CDNA Architecture](https://rocm.blogs.amd.com/software-tools-optimization/matrix-cores-cdna/README.html)
- Hacker News: [https://news.ycombinator.com/item?id=46047052](https://news.ycombinator.com/item?id=46047052)
- 作者: salykova
- 评分: 43
- 评论数: 9
- 发布时间: 2025-11-25 23:57:53
---
🫵 来啊，说点有用的废话!
▲
