19天前
|
|
|
111
## 今天 Hacker News 社区聊了啥？ NO.20250719
今天科技圈的大瓜有点多！先是 OpenAI 的 AI 模型在国际数学奥赛中拿了金牌，震惊四座！但也有人质疑公平性。Linux 用户注意啦！安全启动证书即将过期，赶紧更新，不然系统可能要出问题！Python 开发者看过来！fstrings.wtf 在线测试，检验你的 f-string 功力，看看你能拿几分？还有大神分享了 NixOS + ZFS 的终极自托管方案，数据安全自主可控！更多精彩内容，赶紧戳进来看看！
---
## LLMs 在 2025 年国际数学奥林匹克竞赛中的表现评估
本文评估了当前最先进的 LLM 模型在 2025 年国际数学奥林匹克竞赛（IMO）中的表现，旨在了解它们是否能达到奖牌级别的水平。结果显示，即使是表现最佳的 Gemini 2.5 Pro 模型，也远未达到铜牌所需的水平。
文章详细介绍了评估方法，包括招募具有 IMO 水平的专家进行评分，以及使用 "best-of-n" 的选择策略来提升模型性能。研究人员对五个最先进的模型进行了评估：o3、o4-mini、Gemini-2.5-Pro、Grok-4 和 Deepseek-R1 (05/28)。每个模型都生成了 32 个不同的答案，然后使用 LLM 作为评判系统，通过循环淘汰赛选出最佳答案，最后由人类专家进行评估。这种 "best-of-n" 的选择策略极大地增加了计算成本，每个答案的平均成本至少为 3 美元，Grok-4 甚至超过 20 美元。
评估结果显示，Gemini 2.5 Pro 的得分最高，平均为 31%（13 分），但远低于获得铜牌所需的 19 分（总分 42 分）。其他模型的表现则明显落后。研究人员还对模型的回应进行了初步的定性分析，发现 Grok-4 的表现低于预期，许多回应过于简短，缺乏解释。Gemini-2.5-Pro 仍然存在引用不存在定理的问题，但与之前的评估相比有所改善。此外，研究人员还发现，与之前相比，模型在处理开放式数学推理任务方面更加稳健。
一个有趣的现象是，LLM 经常获得部分分数，尤其是在问题 4 和 5 上。在问题 4 中，大多数模型都采用了类似人类的方法，但存在逻辑漏洞。在问题 5 中，模型通常能识别出正确的策略，但无法证明它们。研究人员认为，解决这些逻辑问题可以显著提高模型的性能。
最后，研究人员强调了 "best-of-n" 选择策略的重要性。一位评审员查看了模型生成的 32 个原始回应的子集，发现许多回应质量很差。如果没有 "best-of-n" 过滤，模型的分数可能会降到 10% 以下。这表明模型在识别自身输出的相对质量方面非常有效，并且能够忽略连贯性来检查准确性。总的来说，这项研究表明，尽管 LLM 在数学能力方面取得了显著进展，但它们仍然远未达到在 IMO 等高难度数学竞赛中获得奖牌的水平。
- 原文: [Not Even Bronze: Evaluating LLMs on 2025 International Math Olympiad](https://matharena.ai/imo/)
- Hacker News: [https://news.ycombinator.com/item?id=44615695](https://news.ycombinator.com/item?id=44615695)
- 作者: hardmaru
- 评分: 30
- 评论数: 12
- 发布时间: 2025-07-19 22:23:23
---
## Linux安全启动证书即将过期
本文讨论了Linux系统中使用的安全启动（Secure Boot）证书即将过期的问题，以及这可能对用户和发行版造成的影响。重点在于微软用于签名shim的密钥将在2025年9月过期，而许多系统可能尚未安装替代密钥。
安全启动依赖于固件数据库中的密钥来验证启动加载程序。目前，shim使用微软2011年的密钥签名，该密钥即将到期。过期后，除非使用微软2023年的新密钥签名，否则安装介质将无法启动。已安装的发行版通常使用自己的密钥签名启动加载程序，因此不会受到直接影响。然而，许多系统的固件数据库可能缺少新密钥，或者同时包含新旧密钥，甚至可能只包含新密钥，导致无法安全启动Linux安装介质。
硬件供应商可以通过固件更新添加新密钥，而安装介质也可以使用新密钥签名的shim来创建。LVFS（Linux Vendor Firmware Service）和fwupd等工具可以帮助从Linux更新系统固件。新版本的fwupd已经增强，可以处理Linux用户需要的更新，以减轻潜在影响。然而，用户仍然需要注意可能出现的问题。
LVFS的创建者Richard Hughes指出，系统可以通过多种方式更新安全启动功能，包括完整的固件更新或KEK（密钥交换密钥）更新。KEK更新的成功率较高，但仍有小部分用户可能会遇到问题，例如“failed to write efivarfs”错误。这通常可以通过重启并重置BIOS为出厂默认设置来解决。对于供应商不提供更新的系统，禁用安全启动可能是安装新系统的唯一选择。此外，Hughes还提到，至少有一家制造商丢失了其平台密钥（PK）的私钥，这可能导致更严重的问题。
Gerd Hoffman指出，KEK更新可能会覆盖现有的数据库条目，而不是添加新条目，这可能会导致问题。总而言之，安全启动证书过期问题可能会给Linux用户带来一些麻烦，但通过及时的更新和适当的工具，可以最大限度地减少影响。
文章没有评论内容。
- 原文: [Linux and Secure Boot certificate expiration](https://lwn.net/SubscriberLink/1029767/43b62a7a7408c2a9/)
- Hacker News: [https://news.ycombinator.com/item?id=44613629](https://news.ycombinator.com/item?id=44613629)
- 作者: todsacerdoti
- 评分: 44
- 评论数: 9
- 发布时间: 2025-07-19 16:27:13
---
## 探索 Python f-string 的奥秘：fstrings.wtf 在线测试
本文介绍了一个有趣的在线 Python f-string 测试 (fstrings.wtf)，旨在帮助开发者检验和提升他们对 f-string 的理解。该测试基于 Python 3.13 的 f-string 特性，由 Armin Ronacher 创建，并受到了 Lukasz Langa 和 Yury Selivanov 的鼓励，灵感来源于 jsdate.wtf。
这个在线测试通过一系列问题，考察你对 Python f-string 各种用法的掌握程度。题目涵盖了 f-string 的基础用法，也包括了一些不为人知的高级技巧。例如，你知道可以使用 `^` 来进行居中对齐，`#` 来添加 0x/0b/0o 前缀，以及 `!a` 来进行 ASCII 转换吗？ 此外，测试还会考察嵌套 f-string 的使用，这在 Python 3.12 中进行了一些限制和清理。通过完成这个测试，你可以查漏补缺，更深入地理解 f-string 的强大功能。
该测试还提供了一些有用的快捷键，例如可以使用 1/2/3/4 来快速选择答案，或者使用箭头键和空格/回车键进行选择。如果你在测试中遇到问题，还可以通过 GitHub 提交 issue。完成测试后，你可以分享你的得分到 X (Twitter) 或 Bluesky。
评论区里，大家对 Python f-string 的看法不一。有人认为 f-string 是一种非常方便的字符串插值方式，但也有人担心过度使用会导致代码难以理解。有人喜欢 Rust 的 “少量插值” 方式，只允许插值标识符，而 C++ 甚至完全不提供插值功能。也有人提到 Python 中存在多种格式化字符串的方式，例如旧式的 `%` 格式化和新式的 `.format()` 方法，这使得开发者需要在不同的方式之间切换，增加了一些认知负担。 还有人惊讶于 f-string 中使用 `=` 打印表达式及其结果的功能。总的来说，评论区反映了开发者对 f-string 的复杂情感，既有喜爱，也有担忧。
- 原文: [Fstrings.wtf](https://fstrings.wtf/)
- Hacker News: [https://news.ycombinator.com/item?id=44614370](https://news.ycombinator.com/item?id=44614370)
- 作者: darkamaul
- 评分: 190
- 评论数: 52
- 发布时间: 2025-07-19 18:52:35
---
## 打造极致的自托管方案：NixOS 与 ZFS 的完美结合
本文分享了作者构建终极自托管方案的经验，核心在于使用 NixOS 和 ZFS 技术，旨在实现数据自主可控，并兼顾安全性、易用性和可维护性。
作者的目标是掌控自己的数据和服务，避免受制于第三方服务商的限制。为了达成这个目标，他设定了一系列需求，包括尽可能将服务置于公网之外，降低配置错误导致核心基础设施崩溃的风险，完全掌控核心组件（如认证、网络和域名），方便家人和朋友使用，尽可能采用声明式配置，以及确保更新的简便性和安全性。同时，避免过度模块化和不必要的复杂性，并且不强求所有组件都必须是开源的。
NixOS 作为核心技术选择，它是一个使用 Nix 语言和包管理器来配置整个操作系统的 Linux 发行版。虽然学习曲线陡峭，但功能强大，可以通过几行 Nix 代码设置从 shell 到防火墙规则的所有内容。大量的软件包可用，配置新服务通常只需设置几个属性并启用服务即可。如果软件包不可用，可以使用 Podman 或 Docker 运行它。作者将所有配置放入一个 Git 仓库中，以便进行版本控制，并在多台机器之间共享配置模块。
ZFS 是另一个关键技术，它是一个具有出色数据保护功能的文件系统，可以创建空间高效的驱动器快照，方便回滚。作者的主存储设置是一个 ZFS 池，包含四个 10TB 硬盘，采用 RAIDZ2 数据 vdev，外加一个 256GB SDD 作为缓存 vdev。这意味着即使两个硬盘发生故障，数据也不会丢失。
本文还提到了一些其他的技术选择和配置细节，例如如何设置防火墙规则、如何配置反向代理等。作者希望通过分享自己的经验，帮助更多的人构建自己的自托管方案。
- 原文: [My Self-Hosting Setup](https://codecaptured.com/blog/my-ultimate-self-hosting-setup/)
- Hacker News: [https://news.ycombinator.com/item?id=44612151](https://news.ycombinator.com/item?id=44612151)
- 作者: mirdaki
- 评分: 374
- 评论数: 136
- 发布时间: 2025-07-19 10:56:02
---
## OpenAI 的 AI 模型在国际数学奥林匹克竞赛中获得金牌级表现
OpenAI 宣布他们的实验性推理 LLM 在国际数学奥林匹克竞赛 (IMO) 中取得了金牌级别的成绩，这是一个人工智能领域长期存在的重大挑战。这意味着 AI 在复杂的数学推理方面取得了显著进展。
OpenAI 的模型通过了 IMO 的考验，表明其在逻辑推理和问题解决能力上有了质的飞跃。这次的成功不仅仅是一个学术上的成就，更预示着 AI 在科学发现和实际应用中潜在的巨大价值。这个模型并非针对 IMO 专门训练，而是采用了新的通用技术，这表明 AI 的能力正在向更广泛的领域扩展。更令人兴奋的是，OpenAI 认为在测试时的计算效率方面还有很大的提升空间，预示着未来 AI 可能会更加高效。
这次的突破也引发了关于 AI 发展速度的讨论。一些人认为这证明了 AI 进步并未放缓，并对 AI 未来在科学探索中的贡献充满期待。同时，硬件层面的进步也至关重要，对 Foundry、Packaging、Interconnect、Network 等硬件的研发投入将会加大。
然而，评论区也存在一些不同的声音。有人认为 OpenAI 参与竞赛是一种宣传噱头，对人类选手不公平，并质疑其训练数据的来源。还有人指出，OpenAI 在公布结果时缺乏透明度，无法重现其结果。此外，还有人对 OpenAI 的基准测试表示怀疑，认为其结果可能存在偏差。值得注意的是，该模型解决了前五个问题，但未能解决对人类来说最难的第六个问题，这引发了关于 AI 擅长解决问题的类型以及与人类解决问题方式差异的思考。
总的来说，OpenAI 在 IMO 中取得的成绩无疑是 AI 领域的一个里程碑，但同时也引发了关于公平性、透明度和未来发展方向的讨论。
- 原文: [OpenAI claims Gold-medal performance at IMO 2025](https://twitter.com/alexwei_/status/1946477742855532918)
- Hacker News: [https://news.ycombinator.com/item?id=44613840](https://news.ycombinator.com/item?id=44613840)
- 作者: Davidzheng
- 评分: 108
- 评论数: 140
- 发布时间: 2025-07-19 17:11:19
---
## 酒店使用算法检测吸烟行为引发争议
Hyatt酒店被爆使用一种名为"Rest"的算法来检测客房内吸烟行为，并以此收取罚款，引发了消费者关于虚假指控和不合理收费的担忧。
事件起因是一位用户在Hyatt酒店被收取了500美元的吸烟罚款，尽管他本人并未在房间内吸烟。调查发现，酒店使用的"Rest"传感器声称能通过算法检测吸烟行为，并帮助酒店增加收入。然而，许多用户反映该系统存在大量误报，导致无辜的客人被错误地收取罚款。更令人担忧的是，这种黑盒算法难以被质疑，使得酒店可以轻易地从中获利。
这种做法引起了广泛的批评，人们认为酒店不应该通过这种方式来"解锁新的收入来源"，尤其是在技术存在缺陷的情况下。有评论指出，酒店应该依赖人工检查，而不是完全依赖算法来判断是否有人在房间内吸烟。还有人建议，如果遇到类似情况，应该拒绝支付罚款，并向消费者保护机构投诉。
评论区主要观点集中在以下几个方面：
* **对算法准确性的质疑：** 许多人认为"Rest"传感器存在大量误报，导致无辜客人被罚款。
* **对酒店行为的谴责：** 评论者普遍认为酒店利用技术漏洞来增加收入是不道德的。
* **对消费者权益的保护：** 建议消费者在遇到不合理收费时，积极维护自己的权益。
* **对未来趋势的担忧：** 有人将此事与Hertz的AI相机损坏检测相提并论，担心未来会有更多类似的"AI欺诈"出现。
总体而言，评论区对酒店使用算法检测吸烟行为持负面态度，认为这种做法损害了消费者的利益，并呼吁加强对相关技术的监管。
- 原文: [Hyatt Hotels are using algorithmic Rest “smoking detectors”](https://twitter.com/_ZachGriff/status/1945959030851035223)
- Hacker News: [https://news.ycombinator.com/item?id=44612487](https://news.ycombinator.com/item?id=44612487)
- 作者: RebeccaTheDev
- 评分: 245
- 评论数: 128
- 发布时间: 2025-07-19 12:02:57
---
## 优化网站加载速度：为何你的网站体积应小于 14KB
本文探讨了网站体积对加载速度的影响，特别是为什么 14KB 是一个重要的分界线。文章解释了 TCP 慢启动算法，以及它如何影响网页的加载速度。
TCP 慢启动是服务器用来确定一次可以发送多少数据包的算法。当浏览器首次连接到服务器时，服务器并不知道它们之间的带宽。因此，服务器首先发送少量数据（通常是 10 个 TCP 数据包）。如果这些数据包成功到达，服务器会收到一个确认 (ACK)，然后服务器会加倍发送数据包的数量。这个过程会重复进行，直到数据包丢失。
TCP 数据包的最大大小为 1500 字节，其中 40 字节用于头部，剩下 1460 字节用于数据。因此，服务器最初发送的 10 个数据包总共包含 14600 字节的数据，约等于 14KB。这意味着，如果你的网站或其关键部分可以放入 14KB 以内，就可以避免一次额外的往返，从而显著提高加载速度。
文章还通过卫星互联网的例子，说明了高延迟对加载速度的影响。卫星互联网的往返时间可能高达 612 毫秒，这会显著降低网页的加载速度。即使在陆地上，延迟也会对用户体验产生负面影响。
因此，优化网站体积，使其小于 14KB，是提高网站性能的重要手段。这可以通过压缩图片、精简 CSS 和 JavaScript 代码等方式来实现。
)
- 原文: [A 14kb page can load much faster than a 15kb page (2022)](https://endtimes.dev/why-your-website-should-be-under-14kb-in-size/)
- Hacker News: [https://news.ycombinator.com/item?id=44613625](https://news.ycombinator.com/item?id=44613625)
- 作者: truxs
- 评分: 312
- 评论数: 207
- 发布时间: 2025-07-19 16:26:45
---
## 避免将 LLM 作为发布者和作者
本文作者分享了自己使用大型语言模型（LLM）的经验，强调了在使用 LLM 时应保持克制和谨慎。尽管作者认可 LLM 在某些方面的帮助，但他更倾向于依靠自己的思考和专业知识。
作者认为 LLM 在编程方面有一定价值，尤其是在验证代码的有效性方面。当解决技术问题或理解复杂概念时，LLM 也能提供帮助，例如可视化概念或进行初步的文献研究。作者也提到，LLM 可以用于批量数据转换等任务，但通常需要多次尝试才能成功。不过，作者明确表示，他避免使用 LLM 进行写作、文本总结、头脑风暴、事实核查以及健康咨询等任务。他更喜欢自己进行写作和思考，认为这样可以更深入地学习，并对结果负责。作者还强调，当前 LLM 的文本输出质量不如人工，尤其是在他的母语捷克语方面。此外，使用 LLM 生成的文本缺乏人情味，这让他感到疏远。
总的来说，作者对 LLM 的态度是审慎的。他认为，过度依赖 LLM 可能会导致认知惰性，并降低人类的思考能力。他更倾向于将 LLM 作为辅助工具，而不是完全依赖它来完成任务。他相信，人类的智慧和创造力仍然是不可替代的。
- 原文: [I avoid using LLMs as a publisher and writer](https://lifehacky.net/prompt-0b953c089b44)
- Hacker News: [https://news.ycombinator.com/item?id=44614365](https://news.ycombinator.com/item?id=44614365)
- 作者: tombarys
- 评分: 109
- 评论数: 65
- 发布时间: 2025-07-19 18:51:59
---
## Casio F-91W 大改造：第二弹
John Graham-Cumming 又来搞事情了，这次他带来了 Oddly Specific Objects 的 Casio F-91W 升级套件 Pro 版，让你的经典卡西欧手表焕发新生。这次的升级版不仅有新的加速计，还配备了定制 LCD 屏幕，显示效果更上一层楼。
这次的 Sensor Watch Pro 版本无需焊接，升级过程变得异常简单。你只需要拆开你的 Casio F-91W，然后把套件里的部件装进去就行，当然，别忘了把原装卡西欧上的小金属片转移过去，它可是电池连接的关键。如果你买了加速计，还需要贴上一小块 Kapton 胶带，然后把加速计板插进去。
文章还介绍了如何修改固件，比如去掉 Imperial 单位和 12 小时制，选择自己喜欢的屏幕显示内容。作者还分享了构建固件和上传到手表的完整命令序列，以及如何使用 emscripten 构建模拟器，在浏览器中运行手表。 总之，如果你是 Casio F-91W 的爱好者，又喜欢折腾硬件和软件，那么这款升级套件绝对值得你尝试。
这篇文章暂时还没有评论，期待更多玩家分享他们的改装经验和心得。
- 原文: [Pimping My Casio: Part Deux](https://blog.jgc.org/2025/07/pimping-my-casio-part-deux.html)
- Hacker News: [https://news.ycombinator.com/item?id=44613486](https://news.ycombinator.com/item?id=44613486)
- 作者: r4um
- 评分: 99
- 评论数: 29
- 发布时间: 2025-07-19 15:58:26
---
## 三人 DNA 婴儿诞生：有效预防遗传疾病
英国科学家率先使用三人 DNA 技术，成功帮助八名婴儿摆脱了遗传性疾病的困扰，这项技术结合了父母的卵子和精子，以及另一位捐赠女性的卵子，为有遗传风险的家庭带来了新的希望。
这项技术旨在预防线粒体疾病，这类疾病通常由母亲遗传给孩子，导致身体能量不足，引发严重的残疾，甚至导致婴儿在出生后不久死亡。英国早在十年前就已将这项技术合法化，而现在，我们终于有了首批通过此技术出生的、没有患上无法治愈的线粒体疾病的儿童的证据。
这些通过三人技术出生的孩子，大部分 DNA（遗传蓝图）来自父母，但也有少量（约 0.1%）来自第二位女性，这种改变会代代相传。所有接受这项技术的家庭都选择匿名，以保护隐私，但他们通过纽卡斯尔生育中心发表了声明，表达了感激之情。
线粒体是细胞内的微小结构，负责将食物转化为能量，为身体提供燃料。线粒体缺陷会导致身体能量不足，影响心脏功能，甚至造成脑损伤、癫痫、失明、肌肉无力以及器官衰竭。大约每 5000 名婴儿中就有一名患有线粒体疾病。纽卡斯尔的团队预计，每年将有 20 到 30 名婴儿通过三人技术出生。
这项技术利用父母双方以及一位捐赠健康线粒体的女性的卵子。首先，在实验室中将母亲和捐赠者的卵子与父亲的精子进行受精。然后，胚胎发育，直到精子和卵子的 DNA 形成称为原核的结构，其中包含构建人体（如头发颜色和身高）的蓝图。接下来，从两个胚胎中取出原核，并将父母的 DNA 放入装有健康线粒体的胚胎中。这样，出生的孩子在基因上与父母相关，但不会患上线粒体疾病。
《新英格兰医学杂志》上发表的两份报告显示，纽卡斯尔生育中心的 22 个家庭接受了这项技术，成功诞生了四名男孩和四名女孩，其中包括一对双胞胎，还有一名孕妇正在怀孕中。所有出生的婴儿都没有患上线粒体疾病，并且达到了预期的发育里程碑。
虽然有一例癫痫病例，但已自行痊愈，还有一个孩子患有心律失常，但已成功接受治疗。这些问题被认为与线粒体缺陷无关，目前尚不清楚这是否是试管婴儿的已知风险之一，还是三人技术特有的问题，或者仅仅是因为通过此技术出生的所有婴儿的健康都受到了密切监测才被发现。
另一个关键问题是，有缺陷的线粒体是否会转移到健康的胚胎中，以及可能造成的后果。结果显示，在五个案例中，无法检测到患病线粒体。在其他三个案例中，血液和尿液样本中发现 5% 到 20% 的线粒体存在缺陷。这一比例低于导致疾病的 80% 水平。
纽卡斯尔大学和莫纳什大学的 Mary Herbert 教授表示：“这些发现为我们带来了乐观的理由。然而，为了更好地了解线粒体捐赠技术的局限性，进一步改善治疗效果，还需要进行研究。”
这项突破为 Kitto 一家带来了希望。Kat 的小女儿 Poppy 患有这种疾病，她的大女儿 Lily 可能会将疾病遗传给她的孩子。Poppy 坐在轮椅上，无法说话，并且通过导管进食。
英国不仅开发了三人婴儿技术，还在 2015 年议会投票后，成为世界上第一个通过立法允许创造三人婴儿的国家。由于线粒体拥有自己的 DNA，控制着线粒体的功能，因此这项技术也引发了争议。这意味着孩子们继承了父母的 DNA，以及大约 0.1% 来自捐赠女性的 DNA。通过这项技术出生的任何女孩都会将这些 DNA 遗传给自己的孩子，因此这是一种对人类遗传的永久性改变。在对这项技术进行辩论时，一些人认为这太过分了，担心这会打开通往基因改造“设计”婴儿的大门。
- 原文: [Babies made using three people's DNA are born free of mitochondrial disease](https://www.bbc.com/news/articles/cn8179z199vo)
- Hacker News: [https://news.ycombinator.com/item?id=44587116](https://news.ycombinator.com/item?id=44587116)
- 作者: 1659447091
- 评分: 53
- 评论数: 15
- 发布时间: 2025-07-17 05:43:35
---
## Piramidal 招聘全栈工程师
Piramidal 正在 Y Combinator 招聘一名全栈工程师，旨在构建和维护其旗舰平台的基础设施和后端系统，该平台专注于神经数据。这家公司致力于开发用于脑电生理数据的首创基础模型，目标是创建能够理解和控制神经语法的可扩展神经解码器。
Piramidal 是一家 2024 年 W24 批次的创业公司，团队规模为 2 人，目前处于活跃状态。他们正在寻找一位积极主动、以客户为中心的工程师，能够优先考虑基础细节，例如数据模型、架构和安全性，以实现卓越的产品。该职位年薪在 12 万美元至 27 万美元之间，工作地点位于纽约。
作为全栈工程师，你将与机器学习工程师紧密合作，迭代应用最新的模型，并与产品团队和内部客户合作，了解他们的问题并实施有效的解决方案。理想的候选人需要具备 5 年以上在产品驱动型公司工作的经验，精通 Python 和其他后端语言，熟悉容器化和编排技术（如 Kubernetes），以及关系数据库（如 Postgres/MySQL）和 Web 技术（如 JavaScript、React）。此外，还需要具备快速独立行动的能力。
面试流程包括初步筛选、技术筛选（居家测试或 1:15 小时的在线面试）和最终轮（架构实时推理的可扩展系统，60 分钟，以及 15 分钟的问答环节）。Piramidal 的使命是重定向技术，以最大限度地发挥人类的潜力，并支持认知自由，即思想自由、精神隐私和自决的基本权利。
- 原文: [Piramidal (YC W24) Is Hiring a Full Stack Engineer](https://www.ycombinator.com/companies/piramidal/jobs/JfeI3uE-full-stack-engineer)
- Hacker News: [https://news.ycombinator.com/item?id=44614788](https://news.ycombinator.com/item?id=44614788)
- 作者: dsacellarius
- 评分: 1
- 评论数: 0
- 发布时间: 2025-07-19 20:00:23
---
## 极限运动员 Felix Baumgartner 意外去世
奥地利极限运动员 Felix Baumgartner 在意大利死于滑翔伞事故，终年 56 岁。事故发生在亚得里亚海沿岸的 Porto Sant'Elpidio，他因突发疾病失去对动力滑翔伞的控制，坠入一家酒店的泳池，当场死亡。
事故还导致一名酒店员工被碎片击中，颈部受伤。事发时泳池附近有许多人，包括儿童， Baumgartner 的滑翔伞撞击了泳池旁的木质结构，警方、消防员和红十字会迅速赶到现场封锁了该区域。
Baumgartner 因 2012 年从 36 公里高空跳伞而闻名世界，此前他还曾从里约热内卢的基督像上跳下，用碳纤维翅膀飞越英吉利海峡，并多次以大胆的特技和有争议的言论登上新闻头条。他 1996 年完成了他的第一次低空跳伞，1997 年成为一名职业运动员，由红牛赞助。
2012 年，他完成了最具标志性的壮举——平流层跳跃，成为第一个在自由落体中突破音障的人。该项目经过多年的准备，并于 2010 年因法律纠纷而险些取消。最终，他达到了 1.25 马赫（1,357.6 公里/小时）的速度，从 38,969.4 米的高度跳下，完成了 36,402.6 米的最长自由落体。
Baumgartner 生前也曾发表过一些有争议的政治言论，例如他曾表示“民主制度无法改变任何事情，我们需要的是一个由少数私营部门专家组成的温和独裁政权”。
评论区里，有人对 Baumgartner 的去世表示惋惜，认为他激励了人们对太空的向往，有人则认为他从事的极限运动风险极高，最终发生意外并不令人意外。也有人指出，红牛已经将已故运动员从其网站的运动员名单中移除，并质疑极限运动的高风险。还有评论提到，有报道称 Baumgartner 事故原因可能是相机的绳子缠绕在螺旋桨上，导致降落伞折叠。
- 原文: [Felix Baumgartner, who jumped from stratosphere, dies in Italy](https://www.theinternational.at/felix-baumgartner-who-jumped-from-stratosphere-dies-in-italy/)
- Hacker News: [https://news.ycombinator.com/item?id=44614292](https://news.ycombinator.com/item?id=44614292)
- 作者: signa11
- 评分: 76
- 评论数: 54
- 发布时间: 2025-07-19 18:38:52
---
## 广告失效：劣质均衡的崛起
本文探讨了在互联网时代，尤其是在亚马逊等电商平台上，广告的信息传递和质量信号作用减弱的现象，以及由此产生的“劣质均衡”。
文章指出，传统经济学认为广告具有信息传递和质量信号的双重作用。然而，互联网的出现虽然降低了搜索成本，但也削弱了广告的质量信号作用。文章列举了五个导致信号扁平化的摩擦点：一次性品牌身份、CPA定价模式、宽松的退货政策、“频繁退货”标签、以及评级压缩。这些因素共同作用，使得低质量商品也能通过广告获得曝光，劣质卖家可以轻易更换品牌，并通过CPA模式降低广告成本，即使商品质量不高，消费者也能通过宽松的退货政策降低损失。评级系统也因为虚假评论等原因失去区分度，消费者在缺乏可靠信号的情况下，只能依赖价格等简单指标，导致劣质商品也能存活并盈利。文章通过一个“袜子搜索”的例子，生动地展示了这种“劣质均衡”的实际情况。
文章还建立了一个简单的数学模型，分析了在这种均衡下，高质量和低质量卖家的盈利情况，以及广告信号失效的原因。模型表明，在CPA定价模式下，低质量卖家可以通过首次销售的收入来支付广告费用，使得广告支出无法有效传递质量信号。文章提出了几种可能的解决方案，例如：使用持久的制造商ID、实行退货调整后的CPA附加费、使用托管广告保证金、以及加强对重新启动的检测。这些措施旨在提高低质量卖家的成本，从而打破劣质均衡。文章最后分析了为什么电商平台没有崩溃的原因，包括宽松的退货政策、极低的单位成本、异质性的需求以及平台收入与拥堵之间的关系。
## 评论观点分析
评论中 @cornholio 指出，将产品评论与制造商而非店铺关联起来，在实际操作中存在困难。制造商与亚马逊存在根本利益冲突，制造商希望完全控制零售渠道和促销活动，而亚马逊则希望最大化自身利益。这个评论点出了一个重要的现实问题，即平台政策的制定需要考虑到各方利益，才能有效实施。
- 原文: [Advertising without signal: The rise of the grifter equilibrium](https://www.gojiberries.io/advertising-without-signal-whe-amazon-ads-confuse-more-than-they-clarify/)
- Hacker News: [https://news.ycombinator.com/item?id=44612023](https://news.ycombinator.com/item?id=44612023)
- 作者: neehao
- 评分: 117
- 评论数: 50
- 发布时间: 2025-07-19 10:25:50
---
## Linux 内核中 Rust 编程：C 和 Rust 接口的内存管理和类型处理
本文是关于在 Linux 内核中使用 Rust 编程的系列文章的第三篇，重点介绍了 C 和 Rust 之间交互时需要用到的接口，特别是内存分配和泛型类型处理。文章旨在为希望使用 Rust 编写内核驱动程序的开发者提供指导，着重介绍了 `kernel::alloc` 模块提供的内存分配接口，以及如何使用 `KBox` 和 `Vec` 等智能指针进行内存管理。
文章详细解释了 Rust 如何通过外部函数接口 (FFI) 调用 C 代码，并阐述了为何不直接使用 FFI，而是采用为每个子系统创建集中式 Rust 绑定的方法。这种方法虽然增加了一些额外工作，但最终可以形成一套标准化的 Rust 接口，方便学习和维护，并提升安全性和代码质量。
文章深入探讨了 `kernel::alloc` 模块提供的三种内存分配方式：`Kmalloc`、`Vmalloc` 和 `KVmalloc`，分别对应于 C 中的同名函数。这些分配器都实现了 `Allocator` 接口，可以用来创建 `Box` 或 `Vec` 结构。文章还介绍了如何使用 `kernel::alloc::flags` 指定内存分配的更多细节，例如是否允许阻塞或交换，以及从哪个内存区域分配。
此外，文章还讨论了 Rust 的泛型类型在内核中的应用，以及如何使用 `Result` 类型处理可能出现的内存分配错误。`KBox` 智能指针的优势在于它可以自动释放内存，但在某些情况下，可以使用 `KBox::leak()` 或 `KBox::into_raw()` 方法来阻止自动释放。文章还提到了 `MaybeUninit` 类型，用于处理未初始化的内存。
总而言之，这篇文章为开发者提供了在 Linux 内核中使用 Rust 进行内存管理和类型处理的实用指南，有助于他们编写更安全、更高效的内核代码。
- 原文: [How to write Rust in the Linux kernel: part 3](https://lwn.net/SubscriberLink/1026694/3413f4b43c862629/)
- Hacker News: [https://news.ycombinator.com/item?id=44610468](https://news.ycombinator.com/item?id=44610468)
- 作者: chmaynard
- 评分: 222
- 评论数: 13
- 发布时间: 2025-07-19 06:27:17
---
## 异步不等于并发
本文探讨了异步、并发和并行之间的区别，并着重强调了“异步不等于并发”这一概念，尤其是在 Zig 语言的上下文中。
文章指出，我们常常将并发和异步混为一谈，这导致了一些软件生态系统的问题。作者给出了对这三个术语的明确定义：异步是指任务可以乱序执行且结果仍然正确；并发是指系统可以同时处理多个任务，通过并行或任务切换实现；并行是指系统可以在物理层面上同时执行多个任务。文章通过保存文件和 TCP 连接的例子，说明了异步和并发的不同。保存文件的例子展示了异步性，因为文件保存的顺序并不重要。而 TCP 连接的例子则要求并发性，因为服务器必须在客户端尝试连接时保持活动状态。
作者认为，未能区分异步和并发导致了语言生态系统中库作者的重复劳动，以及 async 代码的“病毒式”传播，使得用户不得不放弃编写同步代码的能力。为了解决这些问题，出现了一些不理想的解决方案，甚至可能导致死锁。作者以 Zig 语言为例，说明了如何将异步与并发分离。在 Zig 中，使用 `io.async` 并不意味着必须使用并发。这段代码可以在单线程阻塞模式下运行，使得库作者可以使用 `io.async` 而无需强制用户迁移到异步 I/O。
文章还讨论了如何在同步代码中使用并发，关键在于使用事件驱动的 I/O 系统调用（如 io_uring, epoll, kequeue 等）和任务切换原语。作者以 green threads 为例，解释了 `yield` 如何在 I/O 操作执行时切换任务，从而实现并发。
由于没有评论内容，因此略过评论分析部分。
- 原文: [Asynchrony is not concurrency](https://kristoff.it/blog/asynchrony-is-not-concurrency/)
- Hacker News: [https://news.ycombinator.com/item?id=44608754](https://news.ycombinator.com/item?id=44608754)
- 作者: kristoff_it
- 评分: 266
- 评论数: 193
- 发布时间: 2025-07-19 03:21:38
---
## Ramsey 数下界的指数级改进
本文介绍了一篇关于 Ramsey 数下界的最新研究，该研究在组合数学领域取得了重要进展。作者通过新的方法，对 Ramsey 数的下界进行了指数级的改进，突破了由 Erdős 在 1947 年提出的经典下界。
Ramsey 数 r(l, Cl) 是指对于任意常数 C > 1 和足够大的 l，存在一个最小的整数 n，使得任何对 n 个顶点的完全图进行红蓝着色，都必然包含一个 l 个顶点的红色完全子图或一个 Cl 个顶点的蓝色完全子图。确定 Ramsey 数的精确值是一个长期存在的难题，而找到更好的上下界是研究的重要方向。
这篇论文的核心在于证明了存在一个 ε = ε(C) > 0，使得 r(l, Cl) ≥ (p_C^{-1/2} + ε)^l，其中 p_C ∈ (0, 1/2) 是方程 C = \frac{\log p_C}{\log(1 - p_C)} 的唯一解。这意味着，对于足够大的 l，Ramsey 数的下界可以得到显著的提升。作者在论文中详细阐述了他们的证明方法，并提供了 41 页的详细论证和 3 个图表进行辅助说明。这项研究对于理解 Ramsey 数的性质以及组合结构的极限具有重要的理论意义。该论文发表于 2025 年 7 月 17 日，表明这是组合数学领域最新的研究成果。
由于没有评论内容，因此无法进行评论观点的总结和分析。
- 原文: [An exponential improvement for Ramsey lower bounds](https://arxiv.org/abs/2507.12926)
- Hacker News: [https://news.ycombinator.com/item?id=44613947](https://news.ycombinator.com/item?id=44613947)
- 作者: IdealeZahlen
- 评分: 16
- 评论数: 0
- 发布时间: 2025-07-19 17:34:35
---
## n78 频段 5G NR 信号记录与分析
本文主要介绍了作者使用 SDR 设备记录和分析 n78 频段 5G NR 信号的过程，并分享了在实际操作中遇到的挑战和解决方案。n78 频段因其大带宽和高频率，被认为是 5G 技术发展的重要方向。
作者首先表达了对 n78 频段的兴趣，因为它在欧洲被广泛用于 5G 部署，并拥有较大的带宽。随后，作者解释了使用 SDR 记录该频段信号的挑战，主要是因为 n78 频段的带宽较大，需要更高采样率的 SDR 设备。为了克服硬件限制，作者与西班牙穆尔西亚大学 ANTS 研究小组的 Gaia 实验室合作，利用他们的高端 USRP 设备进行记录。
在实际操作中，作者最初计划使用 USRP X410 进行记录，但发现该设备在接收 3-4.5 GHz 信号时，会将 B3 频段的信号混入中频，影响信号质量。最终，他们选择使用 USRP N310 代替，解决了这个问题。此外，作者还分享了将大量 IQ 数据高速写入磁盘的经验，强调了高性能记录的重要性。
总而言之，这篇文章详细记录了作者探索 n78 频段 5G NR 信号的实践过程，包括硬件选择、问题解决和数据记录等环节，为其他研究者提供了宝贵的参考。
- 原文: [N78 band 5G NR recordings](https://destevez.net/2025/07/n78-band-5g-nr-recordings/)
- Hacker News: [https://news.ycombinator.com/item?id=44593628](https://news.ycombinator.com/item?id=44593628)
- 作者: Nokinside
- 评分: 4
- 评论数: 0
- 发布时间: 2025-07-17 22:08:17
---
## YouTube No Translation Firefox 扩展：告别自动翻译
这款名为 "YouTube No Translation" 的 Firefox 扩展程序，旨在帮助用户在 YouTube 上摆脱自动翻译的困扰，让视频标题、描述和音频轨道保持原始语言。它能确保你听到的是原声，看到的是未经翻译的文字，避免机翻带来的理解偏差。
该扩展功能强大且易于使用，主要有以下几个亮点：首先，它能阻止视频标题被翻译，确保你看到的是视频上传者使用的原始标题。其次，它会强制使用原始音频轨道，避免因为自动选择的翻译音轨而错过原汁原味的声音。此外，视频描述也不会被自动翻译，让你能够阅读到作者的真实意图。最后，它还能智能地过滤掉自动生成的字幕，只显示由人工翻译的真实字幕。
这款扩展是开源的，作者也鼓励用户通过 Ko-fi 平台进行捐赠，以支持其持续开发。同时，它也提供了在 Chrome 网上应用店的下载链接，方便使用 Chromium 内核浏览器的用户。如果你在使用过程中遇到任何问题或者有新的功能需求，可以通过 GitHub 提交 issue。需要注意的是，这个插件目前不支持 Firefox 安卓版和 YouTube 移动版网站。
目前该插件有 12,974 位用户，评分高达 4.9 星，看来很受欢迎。
- 原文: [YouTube No Translation](https://addons.mozilla.org/en-US/firefox/addon/youtube-no-translation/)
- Hacker News: [https://news.ycombinator.com/item?id=44613491](https://news.ycombinator.com/item?id=44613491)
- 作者: thefox
- 评分: 91
- 评论数: 46
- 发布时间: 2025-07-19 15:58:50
---
🫵 来啊，说点有用的废话!
