13天前
|
|
|
111
## 今天 Hacker News 社区聊了啥？ NO.20250721
哈喽，科技爱好者们！今天的新鲜资讯有点猛：英国顶不住美国压力，放弃苹果加密后门？OpenBSD 突然搞了个大新闻，`FILE` 类型直接变“黑箱”！想知道如何用 AI 模型炼出更强 Agent 吗？还有城市建造游戏鼻祖的故事、用 SVG 模拟手绘动画的骚操作... 保证让你脑洞大开，快来一探究竟吧！
---
## 二次型超越算术
本文探讨了过去四十年中二次型代数理论的进展，重点关注特征不为 2 的域。文章避开了代数整数环等交换环上的二次型理论，着重介绍了基于代数几何的二次型研究方法。
文章首先回顾了基本定义，然后介绍了基于代数几何的二次型研究方法，特别是与二次型相关的二次超曲面以及基于二次曲面积的闭子簇（代数循环）的研究工具。文章阐述了关于 Milnor 猜想证明的两个定理，这些定理通过 Milnor 的域 K 理论比较了分级 Witt 环和分级 mod 2 Galois 上同调。
此外，文章还讨论了由二次型定义的域的一些离散不变量（Hasse 不变量和毕达哥拉斯数）。尽管这些不变量的定义由来已久，但新开发的技术使得我们能够获得这方面最新的成果。文章还提及了与这些不变量相关的重大开放性问题，例如确定全虚数域上曲线函数域的 Hasse 不变量，以及确定实数域上理性函数域的毕达哥拉斯数。
文章还讨论了另一个离散不变量，即二次型的维数。确定给定维数的二次型的所有可能分裂模式的古老问题仍然没有解决。最后，文章介绍了 Chow motives 技术，二次曲面的 motives 的不可分解的直接被加数可以在本节定义的图中可视化。
- 原文: [Quadratic forms beyond arithmetic](https://www.ams.org/journals/notices/202507/noti3192/noti3192.html)
- Hacker News: [https://news.ycombinator.com/item?id=44600070](https://news.ycombinator.com/item?id=44600070)
- 作者: bikenaga
- 评分: 33
- 评论数: 4
- 发布时间: 2025-07-18 08:59:21
---
## 英国在美国压力下放弃苹果加密后门
本文讨论了英国政府可能放弃要求苹果提供加密后门的计划，原因是来自美国政府的压力，担心这会影响与美国的科技贸易协议。
英国政府官员透露，内政部可能不得不让步，因为包括副总统 JD Vance 在内的美国高级官员对此事非常不满。英国技术部门的一位官员表示，内政部基本上将不得不让步。此前，英国政府曾要求苹果公司允许其访问安全的客户数据，这与特朗普政府产生了冲突。英国官员担心，坚持要求访问加密数据可能会危及与美国的科技贸易协议，他们正在寻找解决与美国特朗普政府冲突的办法。美国政府一直对英国的这一要求持批评态度，认为这可能会削弱加密技术，并为其他国家树立不良先例。
<!--stackedit_data:
eyJoaXN0b3J5IjpbMTYwMzYxNjQ5NCwtMTI2NzYwNDY1XX0=
-->
- 原文: [UK backing down on Apple encryption backdoor after pressure from US](https://arstechnica.com/tech-policy/2025/07/uk-backing-down-on-apple-encryption-backdoor-after-pressure-from-us/)
- Hacker News: [https://news.ycombinator.com/item?id=44635745](https://news.ycombinator.com/item?id=44635745)
- 作者: azalemeth
- 评分: 16
- 评论数: 5
- 发布时间: 2025-07-21 22:46:40
---
## 动态规划：理解“编程”的真正含义
这篇文章解释了动态规划中的“programming”并非指“计算机编程”，而是指“规划”。作者通过类比土木工程的施工规划和斐波那契数列的计算，阐述了动态规划的本质是规划解决问题的子步骤顺序。
文章指出，动态规划的核心在于将复杂问题分解为相互依赖的子问题，并按照最优顺序解决这些子问题。就像盖房子需要先打地基一样，动态规划也需要先解决依赖关系中的前期步骤。作者强调，避免重复计算是动态规划的关键，就像盖房子不会重复打地基一样，计算过的结果应该被存储起来，以便后续步骤直接使用。文章还提到了动态规划可以自顶向下或自底向上进行规划，但最终的计划都是一样的。文章最后引用了动态规划术语发明者 Richard Bellman 的话，解释了当年命名为“动态规划”的原因，是为了避免在对“研究”一词反感的国防部面前暴露其数学本质。
评论区里，一位参加过国际信息学奥林匹克竞赛的选手分享了自己学习动态规划的经历，强调了动态规划是“递归 + 存储结果”的思想。另有评论指出，“线性规划”中的“规划”与动态规划中的“规划”类似。还有人分享了自己关于动态规划的 YouTube 教程。最后，有评论提到了动态规划在实际系统中的应用，例如 DuckDB 的连接顺序优化器。这些评论从不同角度补充了对动态规划的理解，既有实战经验，也有理论联系实际的例子。
- 原文: [“Dynamic programming” is not referring to “computer programming”](https://www.vidarholen.net/contents/blog/?p=1172)
- Hacker News: [https://news.ycombinator.com/item?id=44603349](https://news.ycombinator.com/item?id=44603349)
- 作者: r4um
- 评分: 320
- 评论数: 157
- 发布时间: 2025-07-18 19:09:07
---
## Gentoo Perl 版本方案：解决 Perl 版本排序难题
Gentoo Wiki 上的这篇文章深入探讨了 Gentoo 如何处理 Perl 模块的版本问题，因为 Perl 的版本方案与 Gentoo 的包管理系统不兼容。Perl 既有浮点数版本，也有类似整数序列的版本，这导致了版本排序的混乱。
文章解释了 Perl 版本的特殊性。例如，在 Perl 中，`1.1` 和 `1.10` 被认为是相同的版本，因为它们被视为浮点数。为了解决这个问题，Gentoo 采用了一种转换方案，将 Perl 的版本转换为一种与 Gentoo 兼容的格式，同时保持了原始的排序顺序。Gentoo 使用 `Gentoo::PerlMod::Version` 模块来实现这种转换。该方案主要处理两种版本：带 `v` 前缀的版本和浮点版本。带 `v` 前缀的版本可以直接作为整数序列处理，而浮点版本则需要经过一系列转换，将其转换为类似 `v` 版本的形式。转换过程包括将尾部填充到 3 的倍数，然后分割成 3 位数的组。
文章还提到了其他版本规范化方案，但它们在与 Perl 的版本比较函数一起使用时，无法保持其比较位置，因此不太理想。Gentoo 的方案旨在避免与上游版本冲突的风险，确保版本排序的一致性和可预测性。
评论区里，一些用户分享了他们对 Perl 版本管理的看法。有人指出，Perl 区分浮点版本和整数序列版本，而 Gentoo 的例子似乎混淆了这两者。也有人希望所有的项目都能采用 SEVMER 这样的标准版本方案。另一些人则对 Perl 的版本处理方式表示无奈。还有人担心 Perl 的浮点版本如果超过 6 位小数，可能会导致规范化失败。
- 原文: [The Gentoo Perl versioning scheme](https://wiki.gentoo.org/wiki/Project:Perl/Version-Scheme)
- Hacker News: [https://news.ycombinator.com/item?id=44619709](https://news.ycombinator.com/item?id=44619709)
- 作者: RGBCube
- 评分: 59
- 评论数: 39
- 发布时间: 2025-07-20 05:44:30
---
## 基于时间的日志记录 vs. 基于数量的日志记录：软件工程中的日志策略
这篇文章探讨了软件工程中日志记录的一个重要方面：是应该基于处理的事件数量还是时间间隔来记录日志。作者认为，在处理大量事件时，基于时间间隔的日志记录方法更为有效。
文章首先通过伪代码展示了两种日志记录方式的差异。基于数量的日志记录在处理固定数量的事件后记录一次，而基于时间的日志记录则每隔一段时间记录一次。作者强调，基于时间的日志记录可以保证日志产生的速率更加稳定。文章还讨论了日志记录过多或过少可能带来的问题，例如，日志记录过多会降低系统性能、增加存储成本，并降低可观察性；而日志记录过少则可能导致无法及时发现应用程序的运行状态。作者认为，基于数量的日志记录难以确定合适的事件数量阈值，因为应用程序在不同环境下的事件处理速率可能差异很大。相比之下，基于时间的日志记录可以确保在不同环境下以恒定的速率生成日志。
评论区对这篇文章提出了各种不同的观点。一些评论者认为，日志记录应该关注“有趣”的事情，即那些超出正常执行路径之外的上下文信息，而指标（metrics）应该用于收集系统级别的统计数据，例如调用次数和处理时间等。还有人认为，日志应该用于诊断系统问题，而不是用于监控系统是否正常运行。另一些评论者则建议在日志中包含请求ID，以便在跨多个机器的云基础设施中对日志进行分组，并建议允许动态控制日志级别，以便在调试问题时能够灵活地调整日志输出。此外，还有评论指出，如果日志主要在日志聚合器（如 Splunk 或 Grafana）中读取，则应将日志记录为 JSON 对象，以便更容易地进行搜索。最后，有评论者认为，基于时间的日志记录可以更有效地在多线程环境中实现，因为它避免了对全局计数器的竞争。总的来说，评论区对日志记录的目的、内容和方法提出了多样化的见解，强调了在不同场景下选择合适的日志记录策略的重要性。
- 原文: [Log by time, not by count](https://johnscolaro.xyz/blog/log-by-time-not-by-count)
- Hacker News: [https://news.ycombinator.com/item?id=44630927](https://news.ycombinator.com/item?id=44630927)
- 作者: JohnScolaro
- 评分: 189
- 评论数: 65
- 发布时间: 2025-07-21 09:15:55
---
## Extend 招聘信息：纽约职位一览
Extend 正在招聘包括客户成功、工程和市场营销等多个职位，地点均在纽约市。其中工程团队需求较大，涵盖应用 AI、DevOps、机器学习等多个方向。
Extend 提供的工程职位薪资范围广泛，从17.5万美元到40万美元不等，并且多数职位提供股权激励。 具体来看，应用 AI 工程师和机器学习工程师的薪资较高，集中在20万至40万美元区间。DevOps 工程师、Forward Deployed 工程师和 Sales Engineer 的薪资范围则在 17.5万 至 25万美元之间。Staff Software Engineer 的薪资也相当可观，为 25万 至 40万美元。
除了工程职位，Extend 也在招聘客户成功主管、市场营销主管和客户经理等职位。市场营销主管职位要求 On-site，即需要到办公室工作。
总的来说，Extend 正在积极扩张团队，为不同背景和经验的人才提供了丰富的机会。如果你对文档处理、AI 或相关技术领域感兴趣，并且希望在纽约市发展，不妨关注一下 Extend 的招聘信息。
目前评论区还没有评论，所以无法分析评论观点。
- 原文: [Extend (YC W23) is hiring engineers to build SOTA document processing](https://jobs.ashbyhq.com/extend)
- Hacker News: [https://news.ycombinator.com/item?id=44634166](https://news.ycombinator.com/item?id=44634166)
- 作者: kbyatnal
- 评分: 1
- 评论数: 0
- 发布时间: 2025-07-21 20:00:06
---
## 《苏美尔游戏》：现代城市建造游戏的鼻祖
本文介绍了1964年的游戏《苏美尔游戏》，这款游戏被认为是现代城市建造类游戏的鼻祖。文章通过采访历史学家 Andrea Contato，深入探讨了这款早期策略游戏的意义和历史。
《苏美尔游戏》让玩家扮演古苏美尔城邦拉伽什的统治者，需要在灾难频发的情况下，管理粮食、人口，并决定如何分配资源用于种植、人民口粮和未来储备。游戏虽然简单，但其核心机制在于玩家的每一个选择都会对后续发展产生重大影响，这与现代策略游戏的核心理念相符。尽管《苏美尔游戏》的实验时间不长，参与的学生也不多，但它对游戏媒介的演变产生了重要影响，直接启发了另一款在早期计算机社区非常流行的游戏《汉谟拉比》。《汉谟拉比》被认为是策略游戏类型的奠基石，也是当今城市建造和帝国管理游戏的先驱。
《苏美尔游戏》在问世后很长一段时间内几乎不为人知，直到大约十年前才重新被发现。原版游戏和源代码已经遗失，但历史学家 Andrea Contato 致力于研究这款游戏，并重制了多个版本，这些版本现在可以在Steam上免费游玩。 Contato 认为，《苏美尔游戏》具有重要的历史意义，它是最早的一批具有影响力的游戏之一，为无数后来的游戏铺平了道路。游戏最初的诞生源于一位名叫 Noble Gividen 的学区主管的想法，他希望利用计算机来改善纽约乡村学校的教育。他与 IBM 的哲学家 Bruse Moncreiff 合作，最终促成了《苏美尔游戏》的诞生。这款游戏由 Mabel Addis 参与制作，她是一位历史老师，已经开发了自己的基于游戏、角色扮演和参与性活动的互动教学方法。游戏让学生扮演国王，管理粮食供应，以维持人口生存并帮助城市发展。
- 原文: [The Sumerian Game: The ancestor of modern city builders](https://spillhistorie.no/2025/07/10/the-sumerian-game-the-ancestor-of-modern-city-builders/)
- Hacker News: [https://news.ycombinator.com/item?id=44614372](https://news.ycombinator.com/item?id=44614372)
- 作者: christkv
- 评分: 51
- 评论数: 9
- 发布时间: 2025-07-19 18:52:43
---
## ESP32-Faikin：用 ESP32 控制你的大金空调
这款名为 ESP32-Faikin 的项目，旨在替代大金官方不太好用的云端 Wi-Fi 控制模块，提供本地控制方案。它允许你通过 Web 界面、MQTT 协议以及 Home Assistant 集成来控制你的大金空调，摆脱对云服务的依赖。
作者提到，大金空调的机械性能毋庸置疑，但官方的 Wi-Fi 模块，尤其是最新型号，全部基于云端，不仅需要互联网连接才能工作，而且速度很慢，配置起来也很麻烦。因此，作者花费大量时间进行逆向工程，并创建了这个新模块，以提供本地控制功能。
ESP32-Faikin 提供了多种控制方式，包括本地 Web 界面，无需 App 即可通过手机或电脑直接控制。它还支持 MQTT 协议，可以方便地集成到 Home Assistant 等智能家居平台。此外，项目还包含 PCB 设计文件和 3D 打印外壳 STL 文件，方便用户自行制作。如果你不想自己动手，也可以在 Tindie、eBay 和 Amazon UK 上购买已经组装好的模块。
该项目还包括详细的文档，涵盖了接线、设置、控制和高级配置等方面。此外，还有一个支持的空调型号列表，方便用户确认自己的空调是否兼容。作者也提供了原理图和物料清单，方便有动手能力的用户自己制作。
总而言之，ESP32-Faikin 为那些对大金官方云端控制方案不满意的用户提供了一个强大的替代方案，让他们可以完全掌控自己的空调。
- 原文: [ESP32-Faikin: ESP32 based module to control Daikin aircon units](https://github.com/revk/ESP32-Faikin)
- Hacker News: [https://news.ycombinator.com/item?id=44631594](https://news.ycombinator.com/item?id=44631594)
- 作者: todsacerdoti
- 评分: 104
- 评论数: 40
- 发布时间: 2025-07-21 11:41:23
---
## ParadeDB 如何加速 Postgres 写入并解决复制问题
ParadeDB 团队在构建 `pg_search` 扩展时，为了实现高写入吞吐量，选择了 Log-Structured Merge (LSM) 树这种为写入优化的数据结构，但却意外地破坏了 Postgres 的物理复制。
LSM 树通过将随机写入转化为顺序写入来优化写入性能，它首先将写入存储在内存中的 memtable 中，当 memtable 填满时，会被刷新到磁盘成为排序的 segment 文件 (SSTable)。这些 segment 文件按大小分层组织，新数据写入顶层，然后通过 compaction 过程逐渐下推到较低层，在此过程中，较小 segment 中的数据被合并、去重并重写为较大的 segment。
Postgres 依赖 Write-Ahead Log (WAL) 来保证物理复制的实现，即在对主服务器上的存储块进行任何二进制级别的更改之前，先将这些更改记录到 WAL 中，然后将 WAL 文件流式传输到备用服务器并按接收顺序应用。
物理一致性意味着副本包含结构上有效的数据，但并不总是逻辑上一致的状态，因为在复制进行中的事务时拍摄的物理一致副本可能不是逻辑一致的。为了保证物理一致性，Postgres 使用 per-buffer 锁来增量地重放编辑，但在修改跨越多个 Postgres 缓冲区的数据结构时，如果没有原子性保证，可能会导致结构损坏。
`pg_search` 使用 Postgres 缓冲区的 unrolled linked list，其中每个节点都保存 LSM 树中一批段的读取有效性。为了确保主服务器永远不会观察到损坏的链表，使用了 hand-over-hand locking 来保证列表在主服务器上保持物理一致。对于多节点操作，`pg_search` 使用 Copy-on-Write (CoW) 克隆列表，并原子地换入 head。
即使 WAL 操作和数据结构在原子级别上兼容，VACUUM 也会干扰跨多个 WAL 条目的并发事务的执行，从而损害逻辑一致性。Postgres 使用多版本并发控制 (MVCC) 来允许多个并发写入安全地进行，它会创建已修改行的多个版本而不是就地更新元组。当元组被更新或删除时，先前的元组会被标记为 dead，VACUUM 进程会定期清理这些 dead 元组，但是 VACUUM 可能会删除备用服务器仍在使用的元组，从而导致查询失败。
为了解决这个问题，ParadeDB 团队利用了一个名为 `hot_standby_feedback` 的 Postgres 设置，它允许备用服务器向主服务器报告其正在访问的元组，从而防止 VACUUM 清理这些元组。
- 原文: [We made Postgres writes faster, but it broke replication](https://www.paradedb.com/blog/lsm_trees_in_postgres)
- Hacker News: [https://news.ycombinator.com/item?id=44633933](https://news.ycombinator.com/item?id=44633933)
- 作者: philippemnoel
- 评分: 31
- 评论数: 1
- 发布时间: 2025-07-21 19:26:04
---
## 产品发布策略：数量 vs. 质量
这篇文章探讨了产品发布策略，作者分享了五年内发布 37 个产品的经验，并反思了数量与质量之间的平衡。
作者认为，虽然广撒网式的发布策略能增加成功的几率，但病毒式传播非常罕见且难以预测。 许多“失败”的产品实际上只是增长缓慢，坚持改进一个项目，即使增长缓慢，也能带来更稳定的结果。作者的项目 Refgrow 花了六个月才获得第一个付费客户，但现在正稳步增长，几乎没有营销预算。 因此，作者建议独立开发者们应该更注重产品的质量和持续改进，而不是盲目追求快速发布新产品。文章还向读者提问，询问他们的成功经验是来自于专注一个项目还是大量尝试，以及“慢增长”是否带来回报。
评论区观点：
* **@nzach:** 分享了个人经历，认为社区建议过于关注市场契合度，而忽略了实际尝试和执行的重要性。他认为应该鼓励人们构建有趣的东西，即使盈利模式不明确。
* **@karel-3d:** 对作者发布的产品之一表示反感，暗示产品质量可能存在问题。
* **@TimPC:** 质疑作者为何以如此低的价格出售一个收入 6000 美元的产品，认为这不合常理。
* **@forgotmypw17:** 倾向于同时进行多个项目，但主要精力集中在一个项目上，并进行交叉推广。
这些评论反映了开发者们对产品发布策略的不同看法，有人注重市场，有人注重产品本身，也有人尝试并行策略。 这也提醒我们，没有一种策略是万能的，需要根据自身情况进行调整。
- 原文: [I've launched 37 products in 5 years and not doing that again](https://www.indiehackers.com/post/ive-launched-37-products-in-5-years-and-not-doing-that-again-0b66e6e8b3)
- Hacker News: [https://news.ycombinator.com/item?id=44634340](https://news.ycombinator.com/item?id=44634340)
- 作者: AlexandrBel
- 评分: 42
- 评论数: 16
- 发布时间: 2025-07-21 20:27:24
---
## 使用 XMLUI 构建现代 Web 应用：VB 模式的回归
XMLUI 旨在将 Visual Basic 的易用性带回现代 Web 开发，通过 XML 标记组合 React 组件，简化 Web 应用的构建过程。它封装了 React 和 CSS，提供了一系列组件，允许开发者使用 XML 标记进行组合，无需深入了解 React 或 CSS 即可构建功能丰富的应用程序。
文章通过一个伦敦地铁线路状态检查应用示例，展示了 XMLUI 的强大功能。仅需十几行 XML 代码，就能定义一个 Select 组件，并通过 API 调用填充其 Items；定义一个 DataSource 组件从另一个 API 调用获取数据；使用 Select 的值动态形成 DataSource 的 URL；使用 resultSelector 深入挖掘第二个 API 调用的结果；并将结果绑定到 Table 组件，最终将结果字段绑定到 Column。
XMLUI 提供了一个包含各种交互式组件的[组件目录](https://docs.xmlui.com/components/_overview)，以及 DataSource、APICall 和 Queue 等幕后组件。开发者可以轻松定义自己的组件，这些组件可以与原生组件以及彼此互操作。文章还展示了如何使用 XMLUI 创建用户自定义组件，并通过一个 TubeStops 组件的例子，说明了组件的定义和使用方法。
XMLUI 的核心概念之一是[反应性](https://docs.xmlui.com/reactive-intro)，它允许组件自动响应数据的变化。通过数据绑定，当 Select 组件的值发生变化时，DataSource 会自动获取新的数据，而 Table 组件也会自动显示新的数据。这种模式类似于电子表格，当一个单元格的值发生变化时，其他引用该单元格的单元格也会自动更新。
总之，XMLUI 旨在降低 Web 开发的门槛，使更多的人能够参与到 Web 应用的构建中来。它通过 XML 标记和组件化的方式，简化了 Web 开发的复杂性，并提供了强大的反应性数据绑定功能。
- 原文: [XMLUI](https://blog.jonudell.net/2025/07/18/introducing-xmlui/)
- Hacker News: [https://news.ycombinator.com/item?id=44625292](https://news.ycombinator.com/item?id=44625292)
- 作者: mpweiher
- 评分: 567
- 评论数: 298
- 发布时间: 2025-07-20 22:03:39
---
## 房价下跌会发生什么？
本文探讨了房价下跌对房地产市场的影响，以及与“建造更多房屋就能降低房价”这一理论相悖的现实情况。文章指出，当房价下跌时，房地产市场往往会陷入恐慌，而不是庆祝，因为现有的金融体系无法承受房价下跌带来的冲击。
文章的核心观点是，当前房地产市场存在两种相互冲突的逻辑：一是将住房视为人类的基本需求，二是将住房视为金融投资产品。当房价下跌时，金融机构会感到紧张，从而导致贷款收紧、项目取消，最终减少房屋供应，而非增加。文章还提到，政府通常会采取各种措施来避免房价下跌，例如降低利率、放宽贷款标准等，但这实际上是陷入了“住房陷阱”，即通过维持高房价来维持金融系统的稳定，而非真正解决住房可负担性问题。文章引用了 KB Home 取消大量土地购买选择权的例子，说明了开发商在房价下跌时的谨慎态度。此外，文章还提到了抵押贷款拖欠率上升、房屋销售取消率上升以及房屋开工率下降等现象，进一步佐证了房价下跌对房地产市场的负面影响。文章最后指出，解决住房可负担性问题的关键在于改变现有的金融模式，而不是简单地增加房屋供应。
文章还提及了美国联邦住房金融局（FHFA）采取的一些措施，例如要求美联储降息、允许使用加密货币作为抵押品以及采用新的信用评分模型等，这些措施的目的都是为了维持高房价，而非真正解决住房可负担性问题。总而言之，文章对“建造更多房屋就能解决住房可负担性问题”这一理论提出了质疑，并深入分析了房价下跌对房地产市场和金融体系的复杂影响。
- 原文: [What happens when housing prices go down?](https://clmarohn.substack.com/p/what-happens-when-housing-prices)
- Hacker News: [https://news.ycombinator.com/item?id=44634266](https://news.ycombinator.com/item?id=44634266)
- 作者: chmaynard
- 评分: 77
- 评论数: 157
- 发布时间: 2025-07-21 20:16:42
---
## “人道孵化”鸡蛋：新技术终结蛋鸡产业的“杀婴”行为
文章介绍了 NestFresh 和 Kipster 公司在美国推出“人道孵化”鸡蛋，通过卵内性别鉴定技术，避免孵化和宰杀雄性小鸡。这项技术在欧洲已普及，现在终于进入美国市场。
传统蛋鸡产业会宰杀雄性小鸡，因为它们既不能下蛋，也不适合作为肉鸡饲养。而卵内性别鉴定技术可以在鸡蛋孵化前识别性别，只孵化母鸡，从而避免了不必要的杀戮。NestFresh 使用 Cheggy 公司的技术，通过高光谱成像检测羽毛颜色差异来区分性别。Kipster 则采用 Respeggt 公司的 PCR 分析技术，检测性别染色体。
虽然这项技术目前成本较高，但随着规模扩大和技术改进，有望降低成本，并带来其他益处，例如节省孵化空间和促进卵内疫苗接种。NestFresh 和 Kipster 作为先行者，承担了一定的商业风险，但他们的努力有助于推动蛋鸡产业向更人道的方向发展。消费者可以通过购买这些品牌的鸡蛋来支持这项技术。
- 原文: [You can now buy eggs from in-ovo sexed hens](https://optimistsbarn.substack.com/p/you-can-now-buy-eggs-from-in-ovo)
- Hacker News: [https://news.ycombinator.com/item?id=44635363](https://news.ycombinator.com/item?id=44635363)
- 作者: toomuchtodo
- 评分: 58
- 评论数: 58
- 发布时间: 2025-07-21 22:15:08
---
## X11 桌面小工具：connmap 实时显示网络对等方位置
connmap 是一款基于 X11 的桌面小工具，它可以在世界地图上实时显示你的网络对等方的位置。这个工具使用 MIT 许可证，目前在 GitHub 上已经获得了 478 个 star 和 16 个 fork。
这个工具的主要功能是在桌面上创建一个小部件，这个小部件会显示一个世界地图，并在地图上用点标记出你当前网络连接的对等方的位置。通过这种方式，你可以直观地了解你的网络流量都流向了哪里，连接到了哪些国家和地区。
connmap 适用于那些对网络安全和隐私比较关注，或者只是单纯对网络连接的可视化感兴趣的用户。它可以帮助你监控你的网络连接，发现潜在的安全风险，或者仅仅是满足你的好奇心。
要使用 connmap，你需要先安装 X11 桌面环境，然后从 GitHub 上下载源代码，并按照说明进行编译和安装。安装完成后，你就可以在桌面上启动 connmap 小部件，并开始监控你的网络连接了。
这个项目使用 MIT 许可证，意味着你可以自由地使用、修改和分发它，而无需支付任何费用。同时，也鼓励开发者们积极参与到这个项目中来，贡献代码，提交 bug 报告，或者提出新的功能建议。
总的来说，connmap 是一个简单而实用的工具，它可以帮助你更好地了解你的网络连接，并提高你的网络安全意识。如果你是一个 Linux 桌面用户，并且对网络可视化感兴趣，那么 connmap 绝对值得你尝试一下。
- 原文: [Show HN: X11 desktop widget that shows location of your network peers on a map](https://github.com/h2337/connmap)
- Hacker News: [https://news.ycombinator.com/item?id=44630648](https://news.ycombinator.com/item?id=44630648)
- 作者: h2337
- 评分: 180
- 评论数: 74
- 发布时间: 2025-07-21 08:16:25
---
## 西班牙警方破获 5.42 亿美元加密货币投资诈骗案
西班牙警方逮捕了五名嫌疑人，他们涉嫌运营一个国际加密货币投资诈骗计划，该计划从全球 5000 多名受害者手中清洗了超过 4.6 亿欧元（5.42 亿美元）。
该团伙总部设在马德里和加那利群岛，他们涉嫌运作一个全球同伙网络，通过现金存款、电汇和加密货币交易收款。据西班牙国民警卫队称，该犯罪团伙利用一家总部位于香港的公司，冒充合法的外国投资公司，引诱受害者进行虚假的加密货币交易。
这次逮捕是上周作为一项名为 Borrelli 的行动的一部分进行的。当局认为，该网络使用了一个复杂的空壳公司和银行账户网络，这些账户遍布多个国家，以及以虚假或借用身份注册的加密货币交易所账户，以掩盖非法资金的来源。
调查始于 2023 年，目前仍在进行中。欧洲刑警组织和国民警卫队均未提供有关该计划与已知犯罪网络之间潜在联系的详细信息。加密货币投资诈骗仍然是全球代价最高的在线诈骗形式之一。联邦调查局表示，仅去年一年，美国人在这类计划中的损失就超过 58 亿美元。今年 6 月初，美国司法部宣布努力追回通过在越南和菲律宾进行的信任和爱情诈骗案中被盗的超过 2.25 亿美元的加密货币。
今年 5 月，美国财政部制裁了总部位于菲律宾的基础设施公司 Funnull Technology Inc.，原因是该公司支持数十万个与所谓的“杀猪盘”诈骗相关的网站——这种诈骗行动结合了社交工程、虚假投资宣传和爱情诱饵来耗尽受害者的加密货币钱包。此类诈骗正在助长东南亚日益增长的非法网络犯罪经济，跨国犯罪集团、空壳公司、赌博网络和诈骗团伙越来越多地跨境合作。
评论区中，用户 @miohtama 发表了评论，但状态显示为 "[dead]"，意味着该评论可能已被删除或隐藏，无法获取具体观点。
- 原文: [Spanish police arrest five over $542M crypto investment scheme](https://therecord.media/spain-europol-cryptocurrency-investment-scheme-takedown)
- Hacker News: [https://news.ycombinator.com/item?id=44635403](https://news.ycombinator.com/item?id=44635403)
- 作者: PaulHoule
- 评分: 16
- 评论数: 0
- 发布时间: 2025-07-21 22:19:31
---
## 利用模型合金提升AI Agent性能
本文介绍了一种新颖的方法，通过结合不同大型语言模型（LLM）的优势，显著提升了XBOW漏洞检测Agent的性能，成功率从25%提升至55%。这种被称为“模型合金”的技术，适用于需要多次迭代和结合多种想法的Agentic AI任务。
XBOW是一个自动化的渗透测试工具，通过模拟黑客攻击来发现网站的漏洞。在渗透测试过程中，一个关键的子任务是找到特定类型的漏洞。为了解决这个问题，XBOW构建了一个专门的子Agent，该Agent在一个类似CTF的挑战中，需要在有限的迭代次数内找到漏洞。传统的Agentic AI通常用于持续改进型的问题，而这种任务更像是在广阔的搜索空间中寻找目标，需要Agent提出并结合多个优秀的想法。
模型合金的核心思想是在Agent的迭代循环中，不总是调用同一个模型，而是随机或根据策略选择不同的模型。关键在于保持与单个用户和单个助手的单一聊天线程，让模型之间互不知晓对方的存在。例如，第一轮可能调用Sonnet生成一个初始操作，然后将结果呈现给Gemini，Gemini可能会提出下一步操作，再将结果反馈给Sonnet，以此类推。通过这种方式，每个模型都有机会贡献其优势，从而提高整体性能。
实验结果表明，无论组合哪两个（或三个）模型，模型合金的性能都优于单独使用这些模型。Sonnet 3.7、GPT-4.1、Gemini 2.5 Pro和Sonnet 4.0在相互合金化后，性能均有所提升。研究还发现，模型之间的差异越大，合金的性能越好。同时，性能较好的模型在合金中也表现更好，而性能落后的模型可能会降低合金的整体性能。因此，在不平衡的合金中，应该更多地偏向于更强的模型。
模型合金适用于以下场景：通过迭代调用LLM来解决任务，需要结合多个不同的想法，这些想法可以在过程中的不同阶段出现，并且可以使用足够不同的模型。
由于文章中没有评论，所以没有评论观点分析。
- 原文: [Agents built from alloys](https://xbow.com/blog/alloy-agents/)
- Hacker News: [https://news.ycombinator.com/item?id=44630724](https://news.ycombinator.com/item?id=44630724)
- 作者: summarity
- 评分: 148
- 评论数: 71
- 发布时间: 2025-07-21 08:33:04
---
## 使用 SVG 滤镜模拟手绘动画效果
本文介绍了如何使用 SVG 滤镜（`feTurbulence` 和 `feDisplacementMap`）来模拟手绘动画中常见的“沸腾”或“线条沸腾”效果，这种效果通过细微的扭曲和动画，让静态图像看起来像手绘般具有活力。
文章首先解释了什么是“沸腾”效果，即通过连续绘制同一帧图像的多个略有不同的版本，从而产生运动的错觉。然后，作者将这种效果分解为两个主要组成部分：扭曲边缘和动画效果。为了在 Web 环境中实现这一点，文章选择使用 SVG 滤镜效果，因为它们可以通过 JavaScript 轻松操作和动画化。文章详细介绍了 `feTurbulence` 如何生成噪声纹理，以及 `feDisplacementMap` 如何使用该纹理来位移原始图像的像素，从而创建所需的扭曲效果。作者还提供了一个交互式演示，允许读者探索这两个滤镜效果之间的相互作用，并提供代码示例展示如何设置 SVG 滤镜。最后，文章指出可以通过 JavaScript 定期更新 SVG 滤镜效果的各种属性，从而实现动画效果，模拟“沸腾”运动。
（由于没有评论内容，跳过评论相关的总结。）
- 原文: [Simulating hand-drawn motion with SVG filters](https://camillovisini.com/coding/simulating-hand-drawn-motion-with-svg-filters)
- Hacker News: [https://news.ycombinator.com/item?id=44591305](https://news.ycombinator.com/item?id=44591305)
- 作者: camillovisini
- 评分: 268
- 评论数: 19
- 发布时间: 2025-07-17 17:12:26
---
## XSLT：结构化转换的未来精密工具
本文探讨了在现代开发趋势偏向 JSON 和微服务的背景下，XML 及 XSLT 在金融、医疗、法律等企业领域的重要性。文章强调了 XSLT 在处理结构化 XML 方面的优势，以及它如何实现可扩展和可维护的 XML 转换。
文章指出，XSLT 是一种专门用于转换结构化 XML 的语言，它通过声明式模式匹配而非过程式代码来实现转换，使得代码简洁易懂。XSLT 的核心功能包括：流处理大型文档、模板匹配和声明式控制流、利用 XPath 进行内容选择和导航、模块化和重用、错误处理和健壮的管道，以及处理 JSON 等非 XML 数据。XSLT 3.0 引入了 streaming 和 try/catch 等功能，增强了其处理能力。文章还强调了使用过程式代码替代 XSLT 的风险，例如代码冗长、可维护性差、缺乏流处理和模式验证等。总而言之，XSLT 仍然是一种强大的工具，尤其是在需要精确、结构化和长期维护的场景中。
评论区观点：
* **@zabil:** 赞赏使用 XSLT 的过程中学习到的 XPath 知识，认为 XPath 直观且强大，即使现在不常用 XSLT，XPath 仍然很有用。
* **@johannes1234321:** 怀念 Internet Explorer 原生支持 XSLT 的时代，认为这是一种无需服务器端代码即可创建单页博客的好方法。
* **@ryoshu:** 认为 XSLT 仍然有应用场景，例如在解决客户需求时，XSLT 可能是最佳解决方案。
* **@diulin:** 认为 XML/XSLT/XPath 很好，但 XSLT 生态系统在创新和工具方面已经停滞了十多年。
- 原文: [XSLT: A Precision Tool for the Future of Structured Transformation](https://www.xml.com/articles/2025/07/19/xslt-precision-tool-future-structured-transformation/)
- Hacker News: [https://news.ycombinator.com/item?id=44633384](https://news.ycombinator.com/item?id=44633384)
- 作者: protomolecool
- 评分: 39
- 评论数: 30
- 发布时间: 2025-07-21 17:48:05
---
## 3D 绘图中的圆与双曲线：复特征值的可视化
这篇文章探讨了如何通过 3D 绘图来可视化复数的概念，特别是如何在一个图中同时呈现圆和双曲线。作者通过分析方程 x² + (y + zi)² = 1，将其分解为实部和虚部，从而揭示了圆和双曲线的几何关系。
文章的核心在于将一个包含复数的方程分解为实部和虚部，然后分别进行分析。实部方程 x² + y² - z² = 1 和虚部方程 yz = 0 产生了两种情况。第一种情况是 y = 0，对应于 xz 平面上的双曲线 x² - z² = 1。第二种情况是 z = 0，对应于 xy 平面上的单位圆 x² + y² = 1。作者还提供了一个 Desmos 链接，可以交互式地查看这个 3D 图形。
此外，文章还探讨了这种可视化方法在研究实矩阵的复特征值方面的应用。通过一个具体的矩阵例子 M(μ)，作者展示了如何将矩阵的特征值方程与上述的圆和双曲线联系起来。通过观察图形的几何性质，可以立即推断出矩阵特征值的行为，例如，μ 取不同值时，特征值是实数还是复数。
文章还提供了一个更复杂的例子，矩阵 M(μ) = [[1, μ], [1, 1]]，并分析了其特征值与参数 μ 的关系。通过类似的方法，作者得到了一个抛物面，并再次提供了一个 Desmos 链接供读者探索。作者还分享了一个 Desmos 计算器，方便读者为其他 2x2 矩阵创建类似的图形。
由于没有评论内容，这里跳过评论分析环节。
- 原文: [A circle and a hyperbola living in one plot](https://tobylam.xyz/2024/05/24/circle-hyperbola)
- Hacker News: [https://news.ycombinator.com/item?id=44604149](https://news.ycombinator.com/item?id=44604149)
- 作者: tobytylam
- 评分: 3
- 评论数: 0
- 发布时间: 2025-07-18 20:51:39
---
## 超高分辨率显微镜揭示细胞和疾病的新细节
本文主要介绍了超高分辨率显微镜技术的最新进展，以及它如何帮助科学家们更深入地了解细胞内部的运作机制和疾病的发生发展。
超高分辨率显微镜突破了传统光学显微镜的衍射极限，使科学家能够以前所未有的清晰度观察细胞的精细结构和动态过程。这些技术包括受激发射损耗 (STED) 显微镜、结构照明显微镜 (SIM) 和单分子定位显微镜 (SMLM) 等。文章强调，这些先进的显微技术已经从实验室走向了更广泛的应用，正在深刻地改变我们对生物学的理解。
文章详细阐述了超高分辨率显微镜在多个研究领域的应用。例如，在神经科学领域，科学家们利用这些技术观察神经元突触的结构和功能，从而更好地理解大脑的工作机制。在癌症研究领域，超高分辨率显微镜帮助科学家们了解癌细胞的生长和转移过程，为开发新的治疗方法提供了线索。此外，这些技术还在感染性疾病、免疫学和发育生物学等领域发挥着重要作用。
文章还探讨了超高分辨率显微镜的未来发展趋势。随着技术的不断进步，未来的显微镜将更加快速、灵敏和易于使用。同时，科学家们也在开发新的探针和标记方法，以便更精确地观察细胞内的特定分子和结构。这些进展将进一步推动我们对生命本质的理解，并为疾病的诊断和治疗带来新的突破。
总而言之，超高分辨率显微镜已经成为生物学研究中不可或缺的工具。它不仅帮助我们看到了细胞内部的精细结构，还揭示了许多以前未知的重要生物学过程。随着技术的不断发展，我们有理由相信，超高分辨率显微镜将在未来为我们带来更多的惊喜和发现。
- 原文: [Super-resolution microscopes reveal new details of cells and disease](https://knowablemagazine.org/content/article/technology/2025/super-resolution-microscopes-reveal-new-details-cells)
- Hacker News: [https://news.ycombinator.com/item?id=44609893](https://news.ycombinator.com/item?id=44609893)
- 作者: rbanffy
- 评分: 39
- 评论数: 8
- 发布时间: 2025-07-19 05:13:34
---
## AMD RDNA 4 架构 GPU 的矩阵核心使用
本文主要介绍了 AMD RDNA 4 架构 GPU 中第三代矩阵核心的使用方法，以及如何利用其提升 GEMM（广义矩阵乘法）运算的性能。文章重点讲解了在 HIP 内核中如何使用 RDNA 4 GPU 上的矩阵核心，并对比了不同代 GPU 的理论 FLOPS/clock/CU 性能。
文章指出，RDNA 4 架构 GPU 上的矩阵核心在 VGPR（向量通用寄存器）布局方面与 RDNA 3 架构有所不同，因此不具备向后兼容性。为了在 RDNA 4 GPU 上加速 GEMM 运算，需要使用专门为这一代 GPU 添加的新指令。文章详细解释了 WMMA（Wave Matrix Multiply Accumulate）指令的原理，它作用于 16x16 维度的矩阵，并通过将大矩阵分解为 16x16 矩阵的 GEMM 运算来处理更大的矩阵。WMMA 指令通过改变 VGPR 的分配方式，降低了 VGPR 的压力，并简化了操作。文章重点介绍了 `__builtin_amdgcn_wmma_f32_16x16x16_f16_w32_gfx12` 指令，该指令使用 16 位浮点数作为 A、B 矩阵，32 位浮点数作为 D、C 矩阵。文章还提供了使用该指令的代码示例，展示了如何在 HIP 内核中加载和操作矩阵。此外，文章还介绍了如何使用 `__builtin_amdgcn_cvt_pkrtz` 指令将两个 32 位浮点数打包成一个 32 位 VGPR，以优化 32 位浮点矩阵到 16 位浮点矩阵的转换。
文章还讨论了从 AMD RDNA 3 WMMA 过渡到 RDNA 4 WMMA 的变化，强调 RDNA 4 的 VGPR 格式更加简单，无需像 RDNA 3 那样在 lane 之间进行数据交换。最后，文章展示了如何使用 WMMA 操作轻松实现一个简单的 MLP（多层感知器），并提供了一个简化的 MLP 内核示例。总体而言，本文为开发者提供了在 AMD RDNA 4 架构 GPU 上使用矩阵核心进行 GEMM 运算的实用指南。
- 原文: [Using the Matrix Cores of AMD RDNA 4 architecture GPUs](https://gpuopen.com/learn/using_matrix_core_amd_rdna4/)
- Hacker News: [https://news.ycombinator.com/item?id=44604311](https://news.ycombinator.com/item?id=44604311)
- 作者: ibobev
- 评分: 78
- 评论数: 11
- 发布时间: 2025-07-18 21:13:33
---
## 自由软件世界需要类似 ChromeOS 的系统
本文讨论了自由开源软件（FOSS）领域缺乏类似 ChromeOS 的简单易用操作系统的问题，并呼吁开发一个无需 Google 账户、能在旧电脑上流畅运行的纯自由软件系统。
文章指出，尽管 Linux 发行版众多，但没有一款能像 ChromeOS 那样，在无需复杂配置的情况下，提供开箱即用的上网体验。ChromeOS 的核心理念是“Just enough Linux to get you online”，它将电脑变成类似平板的设备，拥有简洁的桌面、任务栏和文件管理器，以及对常见硬件的良好支持。用户主要通过浏览器完成各种任务，生产力应用、即时通讯等都在浏览器中运行，数据则同步到云端。ChromeOS 的成功在于其简单易用性和强大的稳定性，使其无需技术支持就能大规模部署。文章作者认为，自由软件社区完全有能力复制 ChromeOS 的功能，并构建一个更开放、更自由的替代方案。文章还提到了一些基于 ChromiumOS 的项目，如 FydeOS 和 NayuOS，但作者担心如果 Google 停止开发 ChromeOS，这些项目也可能很快停止维护。文章最后强调，构建这样一个系统并不困难，所有必要的组件都已存在，关键在于去除不必要的复杂性，并提供一个简单、可靠的上网体验。
评论区中暂无评论。
- 原文: [Please, FOSS world, we need something like ChromeOS](https://www.theregister.com/2025/07/21/foss_chromeos_please/)
- Hacker News: [https://news.ycombinator.com/item?id=44635640](https://news.ycombinator.com/item?id=44635640)
- 作者: beardyw
- 评分: 3
- 评论数: 0
- 发布时间: 2025-07-21 22:39:23
---
## OpenBSD 中 stdio(3) 的 FILE 类型变为 opaque
OpenBSD 最新版本中，`stdio(3)` 的 `FILE` 类型底层结构体已被设置为 opaque，这是一个影响广泛的重大变更。这意味着直接访问 `FILE` 结构体内部成员的代码将无法编译，促使开发者使用标准库函数进行文件操作。
此举影响了包括 `libcrypto`、`libtls` 和 `libssl` 在内的多个组件，同时也触及了性能分析子系统。为了顺利过渡，建议从源码构建的用户使用快照升级。此举旨在提高代码的健壮性和安全性，防止开发者依赖内部实现细节，从而为未来的改进和优化提供更大的灵活性。
评论区主要围绕以下几个方面展开讨论：
* **opaque 的必要性：** 许多评论者都好奇为什么要进行此项更改。有人猜测是为了安全原因，也有人认为是为了未来的代码变更做准备。
* **与其他系统的比较：** 有评论指出 FreeBSD 曾经尝试过类似操作，但最终放弃了。
* **标准流的影响：** 评论员 JdeBP 指出，除了 `FILE` 类型本身，`stdin`、`stdout` 和 `stderr` 的变化也值得关注，历史实现中标准流作为数组元素而非命名指针，此次变更可能会影响链接。
* **ABI 兼容性：** 有人将 OpenBSD 和 Linux 在 ABI 兼容性方面的做法进行了对比，赞扬 OpenBSD 勇于改变，而 Linux 在这方面则显得过于保守。
* **实际影响：** 评论中提到，将 `FILE` 设置为 opaque 后，之前将 `FILE` 放入结构体的代码可能会受到影响，因为 opaque 的 `FILE` 没有固定大小。
- 原文: [Stdio(3) change: FILE is now opaque](https://undeadly.org/cgi?action=article;sid=20250717103345)
- Hacker News: [https://news.ycombinator.com/item?id=44627793](https://news.ycombinator.com/item?id=44627793)
- 作者: gslin
- 评分: 156
- 评论数: 77
- 发布时间: 2025-07-21 02:18:40
---
🫵 来啊，说点有用的废话!
