3小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20250930
这期日报有点猛！LLM 代码的“理解债务”是个大坑，用不好小心埋雷！受够了 Disqus 的广告？这里有 N 种替代方案！还有，ChatGPT 竟然开始搞电商了，直接在聊天框里买买买？除了这些，还有 Bcachefs 被踢出内核、富士无损压缩技术揭秘、C# 零拷贝等等硬核内容，快来一起吃瓜！
---
## LLM 代码的理解债务：一颗定时炸弹
这篇文章讨论了使用大型语言模型 (LLM) 生成代码所带来的“理解债务”问题，指出团队如果产出代码的速度超过了理解代码的速度，就会导致后续维护和修改的困难。
文章的核心观点是，虽然 LLM 可以加速代码生成，但如果团队不花时间去理解和重构这些代码，就会积累“理解债务”。这种债务会在未来需要修改代码时带来麻烦，因为开发者需要花费额外的时间来理解 LLM 生成的代码才能进行更改。作者认为，一些团队为了追求速度，选择直接提交未经充分审查和测试的 LLM 代码，这会加剧“理解债务”的问题。即使 LLM 可以在一定程度上辅助修改代码，但总会有 LLM 无法解决的问题，最终还是需要人工干预，而理解债务会增加人工修改的难度和时间。作者将这种情况比作处理遗留系统，强调了理解代码对于安全修改的重要性。
总的来说，文章提醒开发者在使用 LLM 生成代码时，不能只追求速度，更要重视代码的可理解性和可维护性，避免积累过多的“理解债务”。
- 原文: [Comprehension debt: A ticking time bomb of LLM-generated code](https://codemanship.wordpress.com/2025/09/30/comprehension-debt-the-ticking-time-bomb-of-llm-generated-code/)
- Hacker News: [https://news.ycombinator.com/item?id=45423917](https://news.ycombinator.com/item?id=45423917)
- 作者: todsacerdoti
- 评分: 255
- 评论数: 164
- 发布时间: 2025-09-30 18:37:39
---
## 对 Duolingo 的主观评价
本文作者分享了自己使用 Duolingo 学习西班牙语的经历，并对 Duolingo 的优缺点进行了评价，主要集中在游戏化机制、社交互动、streak 机制以及教学方法等方面。
作者认为 Duolingo 的游戏化机制并不成功，只是简单地堆砌数值统计，缺乏真正的游戏乐趣和学习指导。虽然 streak 机制在一定程度上帮助他养成了学习习惯，但更多的是对平台本身的参与，而非语言学习的实际效果。Duolingo 的社交互动也流于表面，缺乏真实的社交联系。在教学方面，Duolingo 倾向于让用户直接进行翻译练习，语法讲解不足，课程结构也不清晰。作者认为，虽然大量的句子接触有助于学习，但适当的语法讲解可以大大提高学习效率。此外，重复练习的界面设计也存在问题，用户的大部分精力都放在了点击单词上，而不是翻译本身。
总的来说，作者认为 Duolingo 在督促用户每日使用方面做得不错，但在教学方法上存在不足，无法与 Language Transfer 等更优秀的语言学习资源相比。
- 原文: [An Opinionated Critique of Duolingo](https://isomorphism.xyz/blog/2025/duolingo/)
- Hacker News: [https://news.ycombinator.com/item?id=45425061](https://news.ycombinator.com/item?id=45425061)
- 作者: agnishom
- 评分: 33
- 评论数: 33
- 发布时间: 2025-09-30 21:19:53
---
## Google CTF 2025 Webz挑战：利用zlib的哈夫曼编码表漏洞
本文深入探讨了Google CTF 2025 Webz挑战，该挑战涉及利用Google-zlib库中的哈夫曼编码表漏洞。挑战提供的Google-zlib并非上游版本，而是应用了一个看似正常的优化补丁，实则引入了安全漏洞。
文章首先概述了挑战，指出可以通过模糊测试快速找到漏洞，但本文将通过源代码分析来确定根本原因。接着，文章回顾了Deflate压缩算法，包括LZ77算法和哈夫曼编码。LZ77算法用(长度, 距离)对替换重复数据，而哈夫曼编码则用于压缩数据。特别地，文章分析了提供的补丁文件`0001-google-zlib-Increase-Huffman-Table-Size.patch`，该补丁移除了`inftrees.c`中的一些检查，并大幅增加了`ENOUGH_LENS`和`ENOUGH_DISTS`的值，旨在通过增大哈夫曼表的大小来提高速度，但同时也可能引入了漏洞。
文章还深入研究了`inflate.c`、`inftrees.c`和`inffast.c`这三个关键文件，它们分别负责`inflate`实现的核心逻辑、哈夫曼表的构建以及`inflate`解码的高速实现。通过分析，可以发现漏洞与哈夫曼表以及哈夫曼编码密切相关。文章详细分析了`inftrees.c`中`inflate_table`函数，该函数负责构建哈夫曼表。补丁移除了对表大小的检查，这可能导致未初始化的哈夫曼代码表被使用，从而引发漏洞。文章还提到了利用`inflate_fast`函数的可能性，包括整数溢出和流溢出两种方式，并给出了相应的PoC。
总的来说，这篇文章深入分析了Google CTF 2025 Webz挑战，详细阐述了漏洞的原理和利用方式，对理解zlib库的哈夫曼编码表漏洞具有很高的参考价值。
- 原文: [Google CTF 2025 – webz : Exploiting zlib's Huffman Code Table](https://velog.io/@0range1337/CTF-Google-CTF-2025-webz-Exploiting-zlibs-Huffman-Code-Table-English)
- Hacker News: [https://news.ycombinator.com/item?id=45422653](https://news.ycombinator.com/item?id=45422653)
- 作者: rot22
- 评分: 41
- 评论数: 6
- 发布时间: 2025-09-30 14:50:11
---
## Bcachefs 移除出 Linux 主线内核
Linus Torvalds 将 Bcachefs 从 6.18 版本内核中移除，原因是该文件系统现在以 DKMS 模块的形式维护，导致内核代码过时，为了避免版本混淆。此前，Bcachefs 在 6.17 版本中已被标记为“外部维护”。
Bcachefs 切换为 DKMS 模块后，最终用户的使用体验应该不会有太大变化，但需要在发行版方面做一些工作以确保平稳过渡。在此之前，Bcachefs 依赖于其他子系统的更改，而不仅仅是添加，所以需要编译自己的内核才能使用。现在，它可以作为模块编译，用于任何足够新的第三方内核。有人希望 Bcachefs 最终能够回归，成为 ZFS 在 parity RAID 方面的一个内核替代方案。
不过，也有人认为 Bcachefs 在纸面上很吸引人，但实际使用中存在一些难以接受的问题。项目的稳定性取决于团队和文化的稳定性。除非 Bcachefs 能够达到与现有文件系统相当的水平，否则不值得花费时间去折腾。目前 Bcachefs 的基准测试结果令人失望，虽然理解它需要处理很多事情会有开销，但性能应该更接近 btrfs 或 zfs，但实际上却一直很糟糕。还有人认为 Linus 应该更强硬地拒绝 Bcachefs 开发者的请求，而不是总是妥协和接受。
- 原文: [Bcachefs removed from the mainline kernel](https://lwn.net/Articles/1040120/)
- Hacker News: [https://news.ycombinator.com/item?id=45423004](https://news.ycombinator.com/item?id=45423004)
- 作者: Bogdanp
- 评分: 137
- 评论数: 62
- 发布时间: 2025-09-30 15:52:16
---
## Directed Acyclic Graph Elevation Markup Language (DEML)
DEML，即有向无环图高程标记语言，是一种用于描述有向无环图（DAG）的语言，旨在简化复杂数据结构的表示和操作。该项目托管在 GitHub 上，由 Mcmartelle 开发。
DEML 的核心在于使用一种易于理解的标记语言来表示 DAG 的结构和属性。它允许开发者以声明式的方式定义图的节点和边，并可以为每个节点赋予特定的“高程”或其他自定义属性。这种方法特别适用于需要处理依赖关系、工作流或层级结构的应用场景。通过 DEML，开发者可以更清晰地表达和管理这些复杂的关系，提高代码的可读性和可维护性。该项目使用 Apache-2.0 和 MIT 双重许可。
DEML 的潜在用途非常广泛，例如，它可以用于构建编译器、任务调度器、数据流程管道等。想象一下，你可以用 DEML 来描述一个软件的编译过程，其中每个节点代表一个编译步骤，边代表步骤之间的依赖关系。或者，你可以用它来定义一个数据分析流程，每个节点代表一个数据处理阶段，边代表数据的流向。
目前，该项目在 GitHub 上获得了 3 个 star 和 0 个 fork，表明它还处于早期阶段，但其概念和潜力值得关注。对于那些需要在项目中处理复杂依赖关系和层级结构的开发者来说，DEML 提供了一种新的思路和工具。虽然目前可能还缺乏完善的工具链和生态系统，但随着项目的不断发展，DEML 有望成为一个强大的 DAG 描述和操作语言。
- 原文: [Deml: The Directed Acyclic Graph Elevation Markup Language](https://github.com/Mcmartelle/deml)
- Hacker News: [https://news.ycombinator.com/item?id=45425714](https://news.ycombinator.com/item?id=45425714)
- 作者: todsacerdoti
- 评分: 6
- 评论数: 0
- 发布时间: 2025-09-30 22:12:37
---
## 富士 RAF 文件中的无损压缩技术揭秘
本文深入探讨了富士 RAF 文件中使用的无损压缩算法，揭示了其工作原理，包括如何将图像分割成条带、颜色矢量整理以及自适应差分压缩等关键步骤。
文章首先指出，富士的无损压缩技术能够将 50MB 的文件迅速压缩到 25MB，且画质没有任何损失。作者分享了自己为了更好地理解 RAW 文件的内部结构，决定自己实现富士的无损压缩算法的经历。该算法是一种自适应的差分压缩算法。这意味着算法会根据已处理的数据进行调整，并基于实际值与期望值之间的差异进行存储。
具体来说，算法首先将图像分割成垂直条带，作者的相机（Fuji X-T2）使用 8 个条带，每个条带独立编码，可以并行处理。然后，将每个条带分解成 nx6 像素的线，并将这些像素映射到颜色矢量中。这样做是为了在后续应用变换时，能够更好地编码相邻像素之间的差异，提高压缩率。接下来，算法会交错两个颜色矢量，并以特定的顺序（先偶数槽，后奇数槽）迭代处理每个值。
对于每个值，算法会计算出一个期望值，该期望值是基于周围已处理值的加权平均值。然后，计算实际值与期望值之间的差异，并对该差异进行编码。最后，算法会调整编码过程，以便在未来获得更好的压缩率。文章还详细介绍了计算期望值的过程，并提供了用于计算加权平均值的参考像素的可视化图。
总而言之，富士 RAF 文件的无损压缩算法是一种复杂但高效的技术，它通过自适应差分压缩和精巧的数据处理方式，实现了在不损失图像质量的前提下，显著减小文件大小的目的。
)
- 原文: [How Does Lossless Compression in Fuji RAF Files Work? (2020)](https://capnfabs.net/posts/fuji-raf-compression-algorithm/)
- Hacker News: [https://news.ycombinator.com/item?id=45389716](https://news.ycombinator.com/item?id=45389716)
- 作者: dsego
- 评分: 46
- 评论数: 14
- 发布时间: 2025-09-27 02:43:58
---
## 告别 Disqus：不堪入目的广告
本文作者宣布弃用 Disqus 评论系统，原因是其免费版本中展示的广告体验非常糟糕，严重影响了博客的简洁性和用户隐私。作者原本因为使用了 Pi-hole 等工具而未察觉到这些广告的侵入性，直到关闭广告拦截后才意识到问题的严重性。这些广告不仅格式混乱，而且内容可疑，损害了博客作为开发者和技术人员资源的价值。
作者表达了对读者的歉意，并强调博客应该是一个干净、提供答案的地方，而不是充斥着追踪和侵入性广告的场所。因此，他决定移除 Disqus，并考虑寻找尊重隐私或可自托管的替代评论系统。目前，作者也开放了 GitHub 和 Twitter/X 作为交流渠道。
评论区对 Disqus 的广告问题表示赞同，并分享了各种替代方案和观点：
* **广告质量问题：** 有评论指出，这类广告往往难以举报为诈骗广告，这可能是广告平台维持运营的策略。
* **替代方案：**
* Mastodon：有用户分享了使用 Mastodon 作为评论系统的经验，通过 federation 与 Lemmy 社区互动。
* Cloudflare Worker：有开发者分享了自己用 Cloudflare Worker 构建的评论系统，将评论数据存储在 Git 仓库中，无需登录。
* Comentario：有人推荐 Comentario，一个可自托管的评论引擎，适用于从 Wordpress 迁移的场景。
* Bluesky：有评论提到使用 Bluesky 作为评论平台，可以提高发现性和增加社交互动。
* Cactus.chat：基于 Matrix 协议构建，但存在易用性问题。
* **其他观点：**
* 部分用户认为评论功能会带来不必要的麻烦，选择将文章发布到 Hacker News 或 Reddit 上进行讨论。
* 也有人正在等待基于 ATProto 协议（Bluesky 背后的协议）构建的 Disqus 替代品出现。
总体来看，评论区对 Disqus 的广告问题深有体会，并积极探讨各种替代方案，反映了开发者和技术爱好者对隐私和用户体验的重视。
- 原文: [I’ve removed Disqus. It was making my blog worse](https://ryansouthgate.com/goodbye-disqus/)
- Hacker News: [https://news.ycombinator.com/item?id=45423268](https://news.ycombinator.com/item?id=45423268)
- 作者: ry8806
- 评分: 408
- 评论数: 219
- 发布时间: 2025-09-30 16:36:06
---
## IP 地址地理定位与 Starlink 的挑战
本文讨论了在互联网上确定用户地理位置的难题，以及 IP 地址地理定位数据库的用途和局限性。文章重点关注了 APNIC Labs 如何利用地理定位数据来评估 ISP 在各个国家/地区的市场份额。
文章指出，与电话系统不同，互联网的地址方案并未嵌入物理位置信息，因此需要额外的地理定位数据才能将 IP 地址映射到国家或城市等位置。创建和维护这些数据库面临诸多挑战，例如如何表示位置以及如何处理国家/地区的定义。尽管存在挑战，但 IP 地址地理定位数据库在网络安全、知识产权保护和统计报告等领域都非常有用。文章还提到了 Maxmind 和 ipinfo.io 等常用的公共数据库。
文章进一步探讨了使用区域互联网注册管理机构 (RIR) 的数据进行地理定位的局限性。RIR 记录的是资源接收者的主要办公地点，而不是 IP 地址的实际部署地点，这导致数据质量不高。APNIC Labs 正在研究如何利用其测量数据来跟踪各国家/地区的 ISP 市场份额，并评估 ISP 之间的竞争水平。这个过程涉及使用联合国人口数据、国际电信联盟 (ITU) 的互联网用户数据以及 APNIC 测量程序的广告展示数据。
文章强调，这项研究基于一些假设，例如 Google 的广告投放算法在给定国家/地区内对所有用户都是统一的。这些假设可能存在问题，但由于缺乏及时和一致的各国数据，因此有必要做出这些假设。文章最后提到了 Starlink 等卫星互联网服务带来的新挑战，因为这些服务的 IP 地址可能与用户所在的实际位置不符，从而进一步增加了地理定位的复杂性。
- 原文: [Geolocation and Starlink](https://www.potaroo.net/ispcol/2025-09/starlinkgeo.html)
- Hacker News: [https://news.ycombinator.com/item?id=45422514](https://news.ycombinator.com/item?id=45422514)
- 作者: tatersolid
- 评分: 102
- 评论数: 43
- 发布时间: 2025-09-30 14:23:31
---
## 在线畅玩 Pips Game：一款多米诺骨牌益智游戏
Pips Game 是一款由《纽约时报》推出的全新多米诺骨牌益智游戏，玩家需要将多米诺骨牌放置在棋盘上，并遵循不同颜色区域的规则，最终完成拼图。这款在线版本提供了无限畅玩的体验，让玩家随时随地都能挑战自己的逻辑思维。
Pips Game 的核心玩法围绕着多米诺骨牌的放置和规则的理解。游戏棋盘被划分为不同的彩色区域，每个区域都有特定的规则，例如，指定区域内的点数总和必须等于某个数字，或者所有点数必须不同。玩家需要根据这些规则，旋转、拖动和放置多米诺骨牌，确保每个区域都满足其规则要求。游戏提供了简单、中等和困难三种难度级别，不同难度级别下的规则数量也会有所不同，为不同水平的玩家提供了挑战。与《纽约时报》的其他游戏不同，Pips Game 侧重于数字和逻辑推理，而非文字和语言。
评论区里，一些玩家对 NYT 官方版本的用户体验提出了改进建议。有人希望能够整理自己的多米诺骨牌，例如将所有带 0 的牌放在一起，方便查找。还有人指出了官方版本中“如何玩”示例中的一个错误，即规则为“>5”的区域却放置了点数为 1 和 4 的多米诺骨牌。另外，有玩家认为 NYT 游戏的 UX 体验不佳，操作多米诺骨牌感觉笨拙且存在 Bug。不过，也有玩家称赞了这款在线版本，认为它比官方版本更好用。最后，还有玩家建议禁用下拉刷新功能。总的来说，评论区既有对游戏本身的讨论，也有对用户体验的反馈，为开发者提供了宝贵的改进意见。
- 原文: [Show HN: A web version of Pips game (NYT domino game)](https://pipsgamer.com)
- Hacker News: [https://news.ycombinator.com/item?id=45392602](https://news.ycombinator.com/item?id=45392602)
- 作者: kieojk
- 评分: 16
- 评论数: 9
- 发布时间: 2025-09-27 09:23:58
---
## Anthropic 发布 Claude Code：终端中的智能编码助手
Claude Code 是一款由 Anthropic 开发的智能编码工具，它能够理解你的代码库，并通过自然语言命令帮助你更快地编写代码。它可以执行常规任务、解释复杂代码和处理 Git 工作流程。
这个工具可以直接在终端、IDE 中使用，或者在 Github 上通过 @claude 标签来调用。安装非常简单，只需通过 npm 即可：`npm install -g @anthropic-ai/claude-code`。安装完成后，进入你的项目目录并运行 `claude` 即可开始使用。
Claude Code 具备多种功能，例如，可以使用 `/bug` 命令直接在 Claude Code 中报告问题，或者在 GitHub 上提交 issue。同时，Anthropic 还建立了一个 Claude Developers Discord 社区，方便开发者交流和分享反馈。
使用 Claude Code 时，会收集包括使用数据、对话数据和用户反馈等信息。Anthropic 强调他们已经实施了多项安全措施来保护用户数据，包括限制敏感信息的保留期限、限制对用户会话数据的访问，并制定了明确的政策来防止将反馈用于模型训练。
**评论区观点：**
评论区里，开发者们对 Claude Code 提出了各种建议和看法。OisinMoran 建议在显示 diff 时，标明修改的行所在的函数，并修复复制多行代码片段时出现的空格问题。simonw 认为这类工具（他称之为“终端代理”或“编码代理”）实际上是一种有趣的通用代理形式，它们可以执行人类通过在计算机中键入命令可以做的任何事情，但也提醒要注意在安全容器中隔离它们，以防潜在风险。
d4rkp4ttern 关注 Claude Code 是否使用了 Anthropic API 中新的上下文管理和记忆功能。stared 最希望改进的是不需要输入 `\` 就能换行。numpad0 提醒开发者，对于可能接受 CJK（中日韩）输入的聊天框，必须使用 "shift+enter to send" 模式，以避免输入问题。paradite 分享了 Claude Code 在编码之外的用例，例如写作、数据处理、管理工作和文件管理。
sunaookami 对新增的 checkpoints 功能表示欢迎，并认为 Claude Code 是目前最好的 LLM CLI 工具。marckrn 分享了 GitHub 上 revamped prompt 的链接，以及他的 bot 总结的 Twitter 链接。arjie 分享了他使用 Claude Code 裁剪视频的成功案例，并表达了对更高速度的需求。mohsen1 则列出了 Claude Code 的实际更新日志，包括新的 VS Code 扩展、撤销代码更改、查看计划限制等功能。
- 原文: [Claude Code 2.0](https://www.npmjs.com/package/@anthropic-ai/claude-code)
- Hacker News: [https://news.ycombinator.com/item?id=45416228](https://news.ycombinator.com/item?id=45416228)
- 作者: polyrand
- 评分: 768
- 评论数: 341
- 发布时间: 2025-09-30 01:12:13
---
## 数学抽象化的演变：从自然科学到形式逻辑
本文探讨了数学如何从一门与现实世界紧密相连的自然科学，演变成如今被视为抽象科学的学科。文章追溯了数学抽象化的历史，从古希腊的芝诺悖论到皮亚诺算术和集合论，揭示了数学家们为了解决诸如无穷小量等问题，如何逐步构建起一套独立于物理世界的形式化体系。
最初，数学的建立基于对现实世界的观察和总结。例如，我们认为 2 + 2 = 4 是因为我们在现实中观察到这种现象。早期的代数和几何也是如此，公理不仅要内部一致，还要与物理世界的规律相符。然而，随着对无穷概念的深入研究，数学家们遇到了直觉难以解释的难题，比如芝诺悖论，它挑战了我们对运动和时间的理解。
微积分的出现试图解决这些问题，但它引入了无穷小量的概念，这又引发了新的争议。为了摆脱对直觉的依赖，数学家们开始尝试从形式逻辑的原则出发，构建一个更通用的数学模型。皮亚诺算术就是这种努力的成果，它通过定义一个初始数字（0）和一个后继函数 S，来定义数字和算术运算，完全独立于物理世界。
文章通过一个 C 语言代码示例，生动地展示了皮亚诺算术的运作方式。虽然皮亚诺算术在日常生活中显得繁琐，但它为理论研究提供了一个极简的模型，类似于计算机科学中的图灵机。皮亚诺的公理化方法具有革命性，并促成了哥德尔不完备定理等突破。
为了更好地处理无限量，数学家们转向了集合论。在集合论中，数字被定义为特定有序集合的标签。从空集 ({}) 开始，我们将其标记为零，然后通过向集合中添加元素来定义后继数。这种方法虽然抽象，但为数学提供了一个强大的基础，使其能够处理各种复杂的概念。
- 原文: [How has mathematics gotten so abstract?](https://lcamtuf.substack.com/p/how-has-mathematics-gotten-so-abstract)
- Hacker News: [https://news.ycombinator.com/item?id=45424648](https://news.ycombinator.com/item?id=45424648)
- 作者: thadt
- 评分: 72
- 评论数: 65
- 发布时间: 2025-09-30 20:33:43
---
## 在 LLVM ORC 中使用 TPDE Codegen 后端
本文介绍了如何将 TPDE（一个单遍 LLVM 编译器后端）集成到 LLVM ORC JIT 编译器框架中，以实现低延迟的代码生成。TPDE 旨在提供快速的 `-O0` 代码编译，使其成为 JIT 编译器的理想选择。
文章首先解释了 TPDE 的优势在于低延迟代码生成和合理的 `-O0` 代码质量，适合作为 JIT 编译器的基线。然后，文章逐步展示了如何使用 `LLJITBuilder` 接口来实例化 JIT，并通过重写 `CreateCompileFunction` 成员来集成 TPDE。为了使 TPDE 与 ORC 兼容，需要创建一个包装类 `TPDECompiler`，该类在构造函数中初始化 TPDE 并使用目标三元组（例如 `x86_64-pc-linux-gnu`），然后在 `operator()` 中调用 TPDE 的 `compile_to_elf` 函数来编译模块。如果编译失败，则返回错误。文章还提供了一个在 GitHub 上的完整工作示例，展示了如何使用 TPDE 编译简单的 LLVM IR 代码，并与内置 LLVM 代码生成进行性能比较，结果显示 TPDE 具有显著的加速效果。
不过，文章也提到了 `LLJITBuilder` 的一个缺点：它依赖于标准的 LLVM 组件，包括 `TargetRegistry`，这意味着即使 TPDE 可以完全替代 LLVM 后端，仍然需要初始化 LLVM 后端。为了避免这种依赖，需要手动设置 ORC JIT。此外，由于 TPDE 专注于最常见的用例，可能无法处理所有 LLVM 指令集，例如向量操作或非平凡的浮点类型。因此，文章建议实现一个 LLVM 回退机制，以便在 TPDE 无法编译代码时使用 LLVM 进行编译。文章展示了如何使用 ORC 的 CompileUtils 来实现回退。
总而言之，这篇文章为希望利用 TPDE 的低延迟代码生成能力来加速 LLVM ORC JIT 编译器的开发者提供了一个详细的指南，并讨论了集成过程中需要注意的问题和解决方案。
- 原文: [Using the TPDE Codegen Back End in LLVM Orc](https://weliveindetail.github.io/blog/post/2025/09/30/tpde-in-llvm-orc.html)
- Hacker News: [https://news.ycombinator.com/item?id=45423994](https://news.ycombinator.com/item?id=45423994)
- 作者: weliveindetail
- 评分: 14
- 评论数: 0
- 发布时间: 2025-09-30 18:51:45
---
## SCHEME-78：基于 Lisp 的微处理器设计 (1980)
本文介绍了一款基于 Lisp 的微处理器 SCHEME-78 的设计。这款处理器诞生于 1980 年，旨在直接在硬件层面支持 Lisp 语言，从而提升 Lisp 程序的执行效率。文章可能深入探讨了该处理器的架构设计，例如指令集、内存管理以及对 Lisp 语言特性的硬件支持。
SCHEME-78 的设计目标是优化 Lisp 程序的执行速度。传统的通用处理器在执行 Lisp 代码时，需要进行大量的解释和转换，效率较低。而 SCHEME-78 通过定制化的硬件设计，可以直接执行 Lisp 指令，减少了中间环节，从而提高了性能。文章可能详细介绍了 SCHEME-78 如何在硬件层面实现 Lisp 的一些关键特性，例如垃圾回收、动态类型检查等。这些硬件优化可以显著提升 Lisp 程序的运行效率。
此外，文章可能还讨论了 SCHEME-78 的实现细节，包括使用的技术、遇到的挑战以及最终的性能评估。通过了解这些信息，我们可以更好地理解当时的技术水平以及 Lisp 专用处理器的设计思路。虽然 SCHEME-78 最终没有获得广泛应用，但它的设计理念对于后来的 Lisp 语言和计算机体系结构研究都产生了重要的影响。
评论区提到了几个有趣的观点。@tlb 指出，尽管这类专用处理器在执行特定任务（如 eval）时速度很快，但由于通用处理器在整数循环优化方面的进步，以及缺乏规模经济，最终未能取代通用处理器。@le-mark 询问了该项目团队与 Danny Hillis 及其 Connection Machine 之间的联系，暗示了当时 MIT 在人工智能和并行计算领域的活跃氛围。@unwind 建议在标题中添加 "(1980)" 标签以更清晰地表明文章的年代。@kjs3 提到了 Symbolics 的 'Ivory' Lisp 处理器，这是一个在商业上更成功的案例，值得进一步研究。这些评论从不同的角度补充了文章的内容，让我们更全面地了解了 Lisp 专用处理器的发展历史和现状。这些评论也体现了技术发展的复杂性，即使是优秀的设计，也可能因为各种因素而未能获得广泛应用。
- 原文: [Design of the SCHEME-78 Lisp-based microprocessor (1980)](https://dl.acm.org/doi/10.1145/359024.359031)
- Hacker News: [https://news.ycombinator.com/item?id=45385354](https://news.ycombinator.com/item?id=45385354)
- 作者: fanf2
- 评分: 37
- 评论数: 8
- 发布时间: 2025-09-26 19:42:04
---
## dgsh：有向图 Shell，扩展 Unix 管道
`dgsh`（有向图 Shell）是一个基于 `bash` 的 Unix 风格 Shell，它允许使用非线性、非均匀操作来构建复杂高效的大数据集和流处理管道。它通过有向无环图（DAG）来表示进程间的关系，并利用多核处理器来提高处理吞吐量。`dgsh` 扩展了 Unix 管道的概念，使其可以连接具有多个输入或输出通道的命令。
`dgsh` 提供了两种新的进程间通信方式：多管道（Multipipes）和存储值（Stored Values）。多管道允许命令拥有多个输入和输出通道，例如 `comm` 命令可以有两条输入通道和三条输出通道。多管道块 `{{ ... }}` 能够将多个输入流发送到异步运行的进程，并将进程的输出作为多个流传递到输出端。存储值则提供了一种在图中任意进程之间传递计算值的便捷方式，它允许将数据流的最后一个记录存储到命名缓冲区中，供其他进程异步读取。
在语法上，`dgsh` 脚本遵循 `bash` 语法，并添加了多管道块。多管道块包含一个或多个 `dgsh` 简单命令、其他多管道块或前述两种类型的命令管道。多管道块中的命令异步（并行、在后台）执行。数据可以重定向或通过管道输入和输出多管道块。通过多管道块，`dgsh` 脚本形成有向无环进程图。
为了支持多输入和输出，一些 Unix 工具经过了适配，以匹配其自然功能。例如，`cat`、`cmp`、`comm`、`cut`、`diff` 等命令都支持多个输入和输出通道。此外，在 `dgsh` 环境中执行的 POSIX 用户命令，如果没有输入或不产生输出，会被包装起来以指定相应的输入或输出能力。例如，多管道块中的 `echo` 命令看起来没有接收任何输入，但会提供一个输出流。默认情况下，`dgsh` 会自动将所有其他命令包装为过滤器。
- 原文: [dgsh – Directed Graph Shell](https://www2.dmst.aueb.gr/dds/sw/dgsh/)
- Hacker News: [https://news.ycombinator.com/item?id=45425298](https://news.ycombinator.com/item?id=45425298)
- 作者: pabs3
- 评分: 4
- 评论数: 0
- 发布时间: 2025-09-30 21:39:22
---
## 从零开始创建操作系统：os-tutorial 项目解析
本文主要介绍 GitHub 上一个名为 "os-tutorial" 的开源项目，该项目旨在指导开发者从头开始构建一个操作系统。这个教程通过实践的方式，一步步地引导读者了解操作系统的核心概念和实现方法。
该教程涵盖了操作系统的各个关键组成部分，例如引导加载程序（bootloader）、内核（kernel）、内存管理、中断处理、文件系统等。通过学习这个教程，开发者可以深入理解操作系统的底层原理，并掌握相关的编程技术。教程使用 C 语言编写，并提供了详细的注释和说明，方便读者理解和学习。此外，该项目还提供了一个简单的开发环境，方便读者进行实验和调试。该教程不仅适合有一定编程基础的开发者，也适合对操作系统感兴趣的初学者。通过动手实践，读者可以更好地掌握操作系统的相关知识，并为今后从事操作系统相关的开发工作打下坚实的基础。该项目采用 BSD-3-Clause 许可，允许开发者自由使用和修改代码。目前，该项目在 GitHub 上获得了大量的 star 和 fork，表明其受欢迎程度和实用价值。
该项目不仅仅是一个教程，更是一个学习操作系统的良好起点。通过参与该项目，开发者可以与其他开发者交流学习心得，共同进步。总而言之，"os-tutorial" 是一个非常优秀的开源项目，值得每一个对操作系统感兴趣的开发者学习和研究。
- 原文: [How to create an OS from scratch](https://github.com/cfenollosa/os-tutorial)
- Hacker News: [https://news.ycombinator.com/item?id=45420173](https://news.ycombinator.com/item?id=45420173)
- 作者: pykello
- 评分: 188
- 评论数: 61
- 发布时间: 2025-09-30 07:32:10
---
## 探索Hénon吸引子的轨道
本文主要介绍了 Yuri Vishnevsky 在 Observable 平台上创建的关于 Hénon 吸引子的可视化项目，旨在通过交互式的方式探索和理解这一混沌系统的行为。
Hénon 吸引子是一个二维离散动力系统，以其独特的几何形状和混沌特性而闻名。该项目利用 Observable 平台的交互性和可视化能力，允许用户探索 Hénon 吸引子的轨道，并深入了解其背后的数学原理。通过该项目，用户可以调整 Hénon 吸引子的参数，观察轨道的变化，并探索不同的初始条件如何影响系统的长期行为。该项目还可能使用了 JavaScript 和 D3.js 等技术，以实现交互式可视化效果。Observable 平台作为一个数据可视化和协作平台，为创建和分享此类交互式科学内容提供了便利。Yuri Vishnevsky 作为软件工程师和可视化爱好者，通过这个项目展示了如何利用技术来探索和解释复杂的数学概念。总而言之，该项目是一个很好的例子，说明了如何使用交互式可视化来增强我们对混沌系统和复杂现象的理解。Observable 平台还提供了 Canvas 和 Notebooks 等工具，方便用户进行数据探索和可视化创建。此外，Observable 还提供了丰富的文档、教程和社区支持，帮助用户更好地使用该平台。
由于没有评论内容，这里就不进行评论分析了。
- 原文: [Orbiting the Hénon Attractor](https://observablehq.com/@yurivish/orbiting-the-henon-attractor)
- Hacker News: [https://news.ycombinator.com/item?id=45424223](https://news.ycombinator.com/item?id=45424223)
- 作者: dtj1123
- 评分: 17
- 评论数: 0
- 发布时间: 2025-09-30 19:31:04
---
## Claude Sonnet 4.5：Anthropic 发布最强编码模型
Anthropic 推出了 Claude Sonnet 4.5，号称是目前最强的编码模型，特别擅长构建复杂的 AI Agent，并能更好地使用计算机工具。这次更新不仅发布了新模型，还对 Claude 的相关产品进行了一系列重大升级。
Claude Sonnet 4.5 在软件编码能力方面表现出色，尤其是在长时间处理复杂任务时能保持专注。Anthropic 还为 Claude Code 增加了一个非常受欢迎的功能——检查点，可以保存进度并随时回滚到之前的状态。同时，终端界面也进行了更新，并发布了一个原生的 VS Code 扩展。
此外，Claude API 增加了一个新的上下文编辑功能和记忆工具，使 AI Agent 能够运行更长时间，处理更复杂的任务。Claude 应用现在可以直接在对话中执行代码并创建文件（如电子表格、幻灯片和文档）。Claude for Chrome 扩展也已向等待名单上的 Max 用户开放。
Anthropic 还将构建 Claude Code 的基础模块——Claude Agent SDK 提供给开发者使用。这意味着开发者可以利用 Anthropic 自身使用的基础设施来构建自己的应用。
在实际应用中，Claude Sonnet 4.5 在金融、法律、医学和 STEM 等领域都展现出更强的领域知识和推理能力。一些早期客户的反馈也印证了这一点，他们表示该模型在代码开发、漏洞分析、法律研究等任务中都表现出色，并能显著提高工作效率。
Anthropic 强调，Claude Sonnet 4.5 是他们有史以来对齐度最高的模型，在安全性和对齐方面都取得了显著改进，减少了诸如谄媚、欺骗、权力寻租和鼓励妄想等不良行为。对于模型的 Agentic 和计算机使用能力，Anthropic 也在防御提示注入攻击方面取得了重大进展。
- 原文: [Claude Sonnet 4.5](https://www.anthropic.com/news/claude-sonnet-4-5)
- Hacker News: [https://news.ycombinator.com/item?id=45415962](https://news.ycombinator.com/item?id=45415962)
- 作者: adocomplete
- 评分: 1459
- 评论数: 729
- 发布时间: 2025-09-30 00:52:59
---
## C# 中安全零拷贝操作的实现
本文探讨了 C# 中如何通过使用 `Span<T>` 结构体实现安全且高性能的零拷贝操作，避免了不安全指针操作的风险，同时提升了代码效率。
文章首先指出，C# 既可以编写高层抽象代码，也可以进行底层、不安全的操作，例如使用原始指针。虽然底层代码可以提升性能，因为它避免了运行时的内存访问检查，但同时也带来了安全隐患。例如，数组元素访问在 C# 中会进行边界检查，但这会影响性能。编译器会尝试消除不必要的边界检查，但并非所有情况都能成功。文章通过对比 `sum` 函数的不同实现方式，展示了边界检查对性能的影响。
接着，文章介绍了使用 `unsafe` 代码和指针算术可以获得更高的性能，但这种方式非常危险，可能导致程序崩溃或出现安全漏洞。为了解决这个问题，C# 引入了 `Span<T>` 结构体，它本质上是一个不可变的指针和长度的组合。编译器可以保证，一旦 `Span` 初始化时边界正确，后续访问就是安全的，无需额外的边界检查。
`Span<T>` 的关键在于它是一个 `ref struct`，这意味着它不能离开栈，从而保证了 `Span` 实例的生命周期不会超过其指向的数据。文章展示了使用 `Span<T>` 的 `sum` 函数，它既可以接收整个数组，也可以接收数组的子视图，并且生成的汇编代码非常优化，没有额外的边界检查。
总而言之，`Span<T>` 提供了一种在 C# 中实现安全零拷贝操作的有效方式，它既能保证性能，又能避免不安全指针操作带来的风险。
- 原文: [Safe zero-copy operations in C#](https://ssg.dev/safe-zero-copy-operations-in-c/)
- Hacker News: [https://news.ycombinator.com/item?id=45420001](https://news.ycombinator.com/item?id=45420001)
- 作者: sedatk
- 评分: 179
- 评论数: 43
- 发布时间: 2025-09-30 07:12:36
---
## ABS 编程语言：简化 Shell 脚本的新选择
ABS 编程语言旨在通过熟悉的语法和便捷的系统命令集成，简化 shell 脚本的编写，它吸收了 Ruby、Python 和 JavaScript 等流行语言的元素，力求降低学习门槛。
ABS 强调易用性，系统命令被深度集成，这使得它在 shell 脚本环境中表现出色。例如，可以直接使用 `curl` 命令获取 IP 地址，并通过 `.ok` 属性检查命令是否成功执行。ABS 可以在 Mac、Windows 和 Linux 上运行，只需下载最新版本，然后运行 `abs your_script.abs` 即可。
ABS 的语法设计旨在提高开发效率，它允许开发者像编写其他脚本语言一样轻松地处理系统命令，而无需复杂的配置或额外的库。集成的系统命令和简洁的语法，使得 ABS 成为快速编写和执行 shell 脚本的理想选择。ABS 尝试提供一种更简洁、更易于理解的方式来编写脚本，从而提高开发者的工作效率。
评论区对 ABS 编程语言的看法褒贬不一。有人认为，现有的 shell 脚本语言已经足够强大，例如 PowerShell、Perl 和 Python，它们在跨平台方面也表现出色，因此 ABS 需要证明其独特的优势。也有人对 ABS 的设计提出了一些疑问，例如命令失败时是否应该默认抛出错误，而不是静默失败。
另一方面，也有评论者对 ABS 的前景表示乐观，认为它融合了 PHP、JavaScript 和 Python 的优点，设计思路清晰。他们认为 ABS 有潜力成为一种有用的脚本语言，尤其是在需要快速编写和执行系统命令的场景下。还有人指出了 ABS 在处理 shell 脚本中常见的转义问题方面的优势，以及通过字符串数组作为参数运行命令的能力。总的来说，评论区的观点多样，既有对 ABS 的期待，也有对其必要性的质疑。
- 原文: [The ABS programming language](https://www.abs-lang.org/)
- Hacker News: [https://news.ycombinator.com/item?id=45422353](https://news.ycombinator.com/item?id=45422353)
- 作者: gjvc
- 评分: 57
- 评论数: 28
- 发布时间: 2025-09-30 13:53:25
---
## Devbox：使用容器改善开发环境
这篇文章介绍了一个名为 Devbox 的工具，旨在通过容器化技术改善开发环境。Devbox 允许每个项目在独立的 Docker 容器中运行，从而避免依赖冲突，保持主机系统的清洁。
Devbox 的主要特点包括：隔离环境，确保项目运行在独立的 Docker 容器中；主机文件访问，代码保留在主机文件系统中，方便使用喜欢的工具进行编辑；简单命令，提供易于使用的 CLI，用于创建、管理和使用开发环境；安全检查，验证 Docker 安装，防止意外覆盖；模板和配置，提供项目特定的 devbox.json 配置文件，以及 Python、Node.js、Go 和 Web 开发的内置模板；高级 Docker 功能，支持端口映射、卷挂载、环境变量和资源限制，以实现强大且可定制的环境。简单来说，Devbox 试图提供一种更简单、更安全、更可控的开发环境管理方式，它通过容器化技术隔离不同项目的依赖，并提供了一系列便捷的命令和配置选项，简化了开发流程。
评论区主要围绕 Devbox 与现有类似工具的比较展开讨论。很多人提到了 `devcontainers`，询问 Devbox 与之相比的优势。也有人指出存在另一个同名项目，可能会造成混淆。此外，还有用户提到了 `toolbx` 等其他容器化开发工具，希望了解 Devbox 的差异化特性。一些用户表达了对 Docker 容器在开发环境中是否过度使用的疑问，但也有用户分享了使用 Devbox 的积极体验，认为它有助于创建可复现的开发环境。总体来看，评论区对 Devbox 的关注点集中在其独特性、与其他工具的对比以及实际应用场景上。
- 原文: [Show HN: Devbox – Containers for better dev environments](https://devbox.ar0.eu/)
- Hacker News: [https://news.ycombinator.com/item?id=45421302](https://news.ycombinator.com/item?id=45421302)
- 作者: TheRealBadDev
- 评分: 94
- 评论数: 48
- 发布时间: 2025-09-30 10:26:39
---
## Ask HN: 大家都在做什么 (2025年9月)
这篇文章汇总了2025年9月，Hacker News 社区成员正在从事的各种项目。从个人项目到商业创业，涵盖了技术和非技术领域，展现了社区成员的多元化兴趣和创造力。
文章中，@middayc 提到他正在开发 ryelang.org，并将其与 OpenAI、IMAP 和 Surf 等库集成，用于邮件处理和总结。@cjflog 介绍了 Laboratory.love，一个众筹平台，用于独立测试食品中的内分泌干扰物，旨在提高食品供应链的透明度。@proshan 分享了一个 Gunicorn Prometheus metrics exporter，用于监控 WSGI 服务器的性能。@NickC25 介绍了他与兄弟和邻居共同创立的运动饮料公司，强调产品成分的透明度和天然性。@stevepotter 正在开发一种辅助外科医生进行精准骨骼切割的系统，旨在降低膝关节置换手术的成本和时间。@brendoncarroll 分享了 Blobcache，一个内容寻址存储系统，以及 Got Version Control。
评论区展示了各种有趣的项目和想法。有人在开发新的编程语言，有人关注食品安全问题，有人在改进服务器监控工具，还有人投身于运动饮料行业。这些项目涵盖了不同的技术领域和应用场景，反映了技术社区的活力和创新精神。评论中也体现了大家对各自领域的思考和热情，以及解决实际问题的愿望。
- 原文: [Ask HN: What are you working on? (September 2025)](https://news.ycombinator.com/item?id=45418675)
- Hacker News: [https://news.ycombinator.com/item?id=45418675](https://news.ycombinator.com/item?id=45418675)
- 作者: david927
- 评分: 254
- 评论数: 747
- 发布时间: 2025-09-30 04:58:11
---
## 超级马里奥兄弟中的任意代码执行：技术解析与Bad Apple!!的实现
本文深入探讨了在NES游戏《超级马里奥兄弟》中实现任意代码执行（ACE）的技术细节，并展示了如何利用此技术播放Bad Apple!!音乐视频。文章详细解释了ACE的原理，以及如何在SMB中实现，包括控制程序计数器（PC）指向RAM，并修改RAM中的数据以执行自定义代码。
文章首先解释了什么是任意代码执行，即通过某种方式让程序的程序计数器（PC）指向随机存储器（RAM），并将RAM中的数据解释为指令来执行。在SMB中，作者利用游戏机制将PC指向特定的RAM区域，然后精心构造RAM中的数据，使其成为有效的6502汇编代码。这些代码被设计用来控制游戏的各种功能，例如图形和音频的输出。为了实现Bad Apple!!的播放，作者将视频和音频数据转换为NES可以处理的格式，并编写汇编代码来读取和显示这些数据。文章详细介绍了图形和音频数据的转换过程，以及为了优化性能所采取的各种技术手段，例如使用差分脉冲编码调制（DPCM）来压缩音频数据。此外，还讨论了在NES上渲染图形的挑战，以及如何克服这些挑战以获得流畅的视频播放效果。作者还分享了制作这个TAS的一些有趣的细节，例如如何调试代码，以及如何解决在模拟器和实际硬件上运行时的同步问题。
由于没有评论内容，这里省略评论分析。
- 原文: [Bad Apple but it's played inside Super Mario Bros](https://tasvideos.org/8991S)
- Hacker News: [https://news.ycombinator.com/item?id=45411831](https://news.ycombinator.com/item?id=45411831)
- 作者: carlesfe
- 评分: 170
- 评论数: 22
- 发布时间: 2025-09-29 17:34:16
---
## LOADMORE：探索非常规网页设计的灵感
LOADMORE 是一个移动网站画廊，旨在展示最佳的非常规网页设计灵感。它鼓励设计师充分利用移动设备的界面和功能，引发关于移动优先设计的讨论。网站收录了大量独特的手机网站，为数字设计师提供参考，帮助他们拥抱移动互联网的趋势。
LOADMORE 致力于展示与众不同的智能手机网站。 网站希望通过这个平台，鼓励数字设计师充分利用手机的界面和功能。 它希望这个平台能够在数字社区内引发关于移动优先设计的对话。 网站展示的网站包括 rudecaptcha.xyz、slingshot.trudy.computer 和 unitedfabric.org 等。 这些网站在设计和交互上都别具一格，挑战了传统的网页设计理念。
评论区对 LOADMORE 展示的非常规设计褒贬不一。 一些用户认为这些设计让人耳目一新，是他们所渴望的互联网的未来，并表达了对这种风格的喜爱。 另一些用户则表示，虽然尊重这些设计者的努力，但仍然更欣赏传统的网页设计，因为非常规设计在可用性上存在一些问题。 还有用户指出，一些网站存在 cookie 管理方面的问题。 此外，有用户希望找到更多类似的网站资源，以便从中获取设计灵感。 也有用户将这些设计与早期 8 位计算机上的演示场景作品进行比较，认为它们缺乏实际的内容呈现能力。 最后，有用户赞赏网站维护者收集这些“粗糙的钻石”，并从中获得启发。
- 原文: [Loadmo.re: design inspiration for unconventional web](https://loadmo.re)
- Hacker News: [https://news.ycombinator.com/item?id=45415207](https://news.ycombinator.com/item?id=45415207)
- 作者: surprisetalk
- 评分: 367
- 评论数: 51
- 发布时间: 2025-09-29 23:42:46
---
## ProcASM v1.1：可视化编程语言，以状态机为核心
ProcASM 是一种通用的可视化编程语言，它强调使用状态机设计模式来创建软件。在 ProcASM 中，状态机是过程的实例，并且构成了该语言的整个基础。它摒弃了传统的数据结构、枚举和函数等概念，而是将过程定义为通过信号连接的一系列子过程。
子过程则由一系列创建、修改或删除数据的任务组成。状态机执行直到遇到 yield 任务，然后存储请求的变量，并在之前停止的点恢复执行。开发者无需记忆语法和编写代码，而是使用一组预定义的任务来实现算法。
ProcASM 提供了一个功能齐全的 IDE，它完全在 Web 浏览器中运行，并提供调试器，允许开发者暂停和恢复执行、查看状态机及其值、在执行期间更新状态机的值，以及在代码中的特定点或值被创建/删除/更新时暂停执行。
此外，ProcASM 还支持将过程导出为 DOT、PNG 和 SVG 格式，并提供比较不同项目文件差异的功能，这对于使用版本控制的软件项目非常有用。
ProcASM 具有 C/C++ 转译器，该转译器快速且内存高效，没有垃圾回收或引用计数，并且使用一个小型运行时，该运行时涉及使用工作队列来处理并发状态机执行。
目前，完整版的 ProcASM 尚未发布，但计划在未来提供完整版的使用。它有免费、订阅和授权三种版本，分别在项目存储、项目大小、解释器执行时间以及 C/C++ 转译器和 Docker 镜像/二进制可执行文件访问等方面有所不同。
由于没有评论，无法进行评论分析。
- 原文: [Show HN: ProcASM v1.1](https://procasm.temware.site/)
- Hacker News: [https://news.ycombinator.com/item?id=45425253](https://news.ycombinator.com/item?id=45425253)
- 作者: Temdog007
- 评分: 10
- 评论数: 0
- 发布时间: 2025-09-30 21:35:23
---
## Mercury 编程语言教程
本文是一篇 Mercury 编程语言的教程，旨在帮助有一定编程基础，但对 Mercury 了解不深的开发者快速入门。文章从逻辑编程的基础概念讲起，并结合实际例子，逐步引导读者了解 Mercury 的特性和用法。
文章首先介绍了 Mercury 语言的定位，它是一种逻辑-函数式编程语言，更偏向逻辑编程。作者认为，学习 Mercury 需要一定的毅力，但掌握后能带来新的编程视角。接着，教程回顾了逻辑编程的基础知识，包括 Horn 子句、规则、事实和目标等概念，并用阶乘函数的例子进行了解释。文章还详细讲解了 Unification（合一）的概念，它是逻辑编程中非常重要的一个环节，涉及到变量、原子和 Functor 的匹配规则。通过这些基础知识的讲解，为后续深入学习 Mercury 奠定了基础。此外，文章还通过 `rall` 示例，展示了 Mercury 程序的结构，包括模块名、入口点、命令行参数、文件 I/O 和数据处理等。
由于没有评论内容，这里就不做评论分析了。
- 原文: [A tutorial for the Mercury programming language](https://sebastian.graphics/projects/a-mercury-tutorial/index.html)
- Hacker News: [https://news.ycombinator.com/item?id=45386836](https://news.ycombinator.com/item?id=45386836)
- 作者: kasumispencer2
- 评分: 17
- 评论数: 2
- 发布时间: 2025-09-26 22:23:41
---
## 使用 Postgres 实现卡尔曼滤波平滑 GPS 数据
本文介绍了如何在 Postgres 数据库中实现卡尔曼滤波，以平滑 GPS 数据，解决 GPS 数据噪声问题。文章的核心在于利用 Postgres 的优势，直接在数据库内部进行数据处理，避免了传统方式中在 Python 或 MATLAB 等外部环境进行处理的复杂流程。
文章首先解释了卡尔曼滤波的基本原理，它是一种递归算法，通过预测和更新两个步骤，不断修正对系统状态的估计，尤其适用于处理包含噪声的动态系统数据。文章强调了卡尔曼滤波在导航、机器人、信号处理和金融等领域的广泛应用，并展示了卡尔曼滤波在平滑 GPS 数据方面的效果。
文章进一步探讨了在 Postgres 中实现卡尔曼滤波的挑战，例如 SQL 不易追踪跨行“状态”的问题。为了解决这些问题，文章提出了三个关键要求：状态存储、状态转移和数据排序。文章介绍了如何通过创建 `kalman.positions` 和 `kalman.devices` 表来存储状态信息，并使用用户自定义函数 `kalman.kalman_step` 来更新状态。
文章还区分了在线滤波和离线滤波两种方式。在线滤波在数据插入时进行，保证数据的实时性，但会增加插入延迟；离线滤波则在批量数据上进行，可以使用递归 CTE 或自定义聚合函数来实现。文章通过基准测试对比了不同方法的性能，结果表明，在线滤波会降低吞吐量，而离线滤波中，自定义聚合函数比递归 CTE 更高效。
最后，文章提供了一个完整的示例，展示了如何在 Postgres 中使用卡尔曼滤波进行实时平滑和大规模后处理。文章还提供了代码仓库链接，方便读者实践和探索。总而言之，这篇文章为开发者提供了一种在数据库内部高效处理 GPS 数据的方案，具有很强的实用价值。
- 原文: [Implementing a Kalman Filter in Postgres](https://neon.com/blog/implementing-a-kalman-filter-in-postgres-to-smooth-gps-data)
- Hacker News: [https://news.ycombinator.com/item?id=45389589](https://news.ycombinator.com/item?id=45389589)
- 作者: carlotasoto
- 评分: 47
- 评论数: 8
- 发布时间: 2025-09-27 02:33:37
---
## iRobot 创始人：别太相信 AI 和机器人炒作！
本文采访了 iRobot 创始人 Rodney Brooks，他泼冷水于人形机器人炒作，并认为 AI 革命比人们想象的要长。他强调了在现实环境中操作的技术需要时间，并警告说人形炒作正在制造许多虚假的期望。
Rodney Brooks 认为，尽管生成式 AI 和机器人技术掀起了新一轮技术浪潮，但他对未来保持务实的乐观态度。他指出，许多人对 AI 的期望过高，尤其是在人形机器人方面。他认为，真正的挑战在于让机器人在混乱的现实环境中可靠地工作，而这需要时间。他以自己创立的 Robust.AI 公司为例，该公司致力于为仓库提供智能购物车，旨在减轻工人的体力劳动，提高效率。这款名为 Carta 的购物车配备摄像头，可以自主导航，帮助工人找到所需的物品，从而减少他们在仓库中行走的路程。
Brooks 强调，他的公司始终致力于让人类保持控制。例如，Carta 允许工人随时接管控制权。他认为，与其追求性感但不可靠的技术，不如专注于解决实际问题，即使这些问题看起来并不那么吸引人。他指出，仓库自动化市场规模巨大，且将持续存在数十年。他认为，投资者往往更愿意投资于充满希望的项目，而不是实际的业务，这使得像他这样专注于实际解决方案的公司更难获得资金。
Brooks 还指出，人们对机器人存在一些误解，其中最大的误解就是将机器人视为人形。他认为，机器人不仅仅是人形机器，还包括执行重复性任务的系统，例如广告系统。他强调，机器人的物理外观会影响人们对它的期望。
总的来说，Rodney Brooks 的观点是对当前 AI 和机器人领域的一种冷静的审视。他提醒人们不要盲目相信炒作，而应关注实际应用和解决实际问题。
- 原文: [iRobot Founder: Don't Believe the AI and Robotics Hype](https://crazystupidtech.com/2025/09/29/irobot-founder-dont-believe-the-ai-robotics-hype/)
- Hacker News: [https://news.ycombinator.com/item?id=45418261](https://news.ycombinator.com/item?id=45418261)
- 作者: herbertl
- 评分: 220
- 评论数: 140
- 发布时间: 2025-09-30 04:19:08
---
## ChatGPT 推出 Instant Checkout 和 Agentic Commerce Protocol
OpenAI 宣布 ChatGPT 推出 Instant Checkout 功能，并开源 Agentic Commerce Protocol，旨在让用户可以直接在 ChatGPT 中购买商品，简化购物流程。
文章指出，目前美国 ChatGPT Plus、Pro 和 Free 用户可以直接从 Etsy 卖家处购买商品，未来将支持更多 Shopify 商家，例如 Glossier、SKIMS 等。Instant Checkout 基于 Agentic Commerce Protocol，这是一个开放标准，允许 AI 代理、用户和商家协同完成购买。用户只需在 ChatGPT 中提出购物需求，例如“100 美元以下的最佳跑鞋”，ChatGPT 会展示相关产品，如果产品支持 Instant Checkout，用户可以直接在聊天界面完成购买，无需离开 ChatGPT。整个过程对用户免费，但商家需要支付少量费用。OpenAI 强调，Instant Checkout 的产品排名是基于相关性，而非赞助，旨在为用户提供最佳体验。Agentic Commerce Protocol 由 OpenAI 与 Stripe 合作开发，旨在实现跨平台、安全、易于集成的 AI 商务体验，让商家可以继续掌控客户关系。
评论区对这一新功能褒贬不一。
有人认为，如果能直接从品牌官网购买，并简化支付流程，这将是一个不错的选择，可以减少对亚马逊等平台的依赖，有利于消费者和市场去中心化。也有人认为，这是 OpenAI 必然的商业化路径，ChatGPT 有可能成为互联网的重要入口。但也有人表达了担忧，认为 AI 可能会在用户无意识的情况下进行购买，甚至取消租约以提高购买力。还有人指出，广告中展示的 “AI 助理” 盲目消费的场景，与普通人的消费习惯不符。另有评论指出，商家支付的手续费最终还是会转嫁到消费者身上。总的来说，评论区对 Instant Checkout 的便捷性和潜在的商业化影响进行了多角度的探讨。
- 原文: [Instant Checkout and the Agentic Commerce Protocol](https://openai.com/index/buy-it-in-chatgpt/)
- Hacker News: [https://news.ycombinator.com/item?id=45416080](https://news.ycombinator.com/item?id=45416080)
- 作者: meetpateltech
- 评分: 235
- 评论数: 348
- 发布时间: 2025-09-30 01:00:42
---
🫵 来啊，说点有用的废话!
▲
