22小时前
|
|
|
111
## Hacker News 中文精选 NO.20250424
一个基于 Hacker News 的中文日报项目，每天自动抓取 Hacker News 热门文章及评论，通过 AI 生成中文解读与总结，传递科技前沿信息。
---
## 探究 GPLv2 许可证地址：一次穿越时空的邮件之旅
这篇文章讲述了作者出于好奇，向 GPLv2 许可证中提供的地址邮寄信件，最终收到 GPLv3 许可证的有趣经历。文章探讨了 GPLv2 许可证中包含邮寄地址的原因，以及作者在邮寄过程中遇到的各种趣事。
文章首先解释了 GPLv2 许可证中包含邮寄地址的原因，这源于 1991 年互联网普及率较低，人们主要通过物理媒介获取软件。随后，作者分享了自己邮寄信件的准备过程，包括购买邮票、填写信封等。作者还提到了在购买邮票时，意外进入了集邮的世界。
在收到回信后，作者发现收到的并非 GPLv2 许可证，而是 GPLv3 许可证，并且纸张尺寸也并非标准 A4 纸。尽管如此，作者还是对这次经历感到满意。文章最后，作者幽默地表示，作为一名内向的“邮政爱好者”，需要一段时间来恢复。
评论区中，有人对作者对邮寄信件的陌生感表示有趣，认为这反映了科技行业年轻一代对传统邮政的疏远。也有人认为，至少这个地址仍然有效，说明 Free Software Foundation 仍然在维护。
- 原文: [I wrote to the address in the GPLv2 license notice (2022)](https://code.mendhak.com/gpl-v2-address-letter/)
- Hacker News: [https://news.ycombinator.com/item?id=43781888](https://news.ycombinator.com/item?id=43781888)
- 作者: ekiauhce
- 评分: 218
- 评论数: 190
- 发布时间: 2025-04-24 20:26:38
---
## 即时 SQL：边写边看结果，加速你的查询
这篇文章介绍了 MotherDuck 推出的新功能 "Instant SQL"，它允许用户在 DuckDB UI 中边写 SQL 语句边预览结果，从而加速查询构建和调试过程。这项功能旨在解决传统 SQL 编写的低效问题，提供更流畅的交互体验。
Instant SQL 的核心在于实时预览结果，用户无需点击运行按钮即可看到查询结果的更新。 这极大地提升了 SQL 编写的迭代速度，让用户可以更快地理解数据、发现问题并进行调整。 此外，Instant SQL 还支持实时编辑 CTE (公共表表达式) 和分解复杂的列表达式，方便用户调试和优化查询。
Instant SQL 不仅适用于 DuckDB 本地表，还支持 MotherDuck 中的大型表、S3 中的 Parquet 文件、Postgres 表、SQLite、MySQL、Iceberg、Delta 等多种数据源。 结合 AI 功能，用户可以获得即时预览的 AI 建议，进一步提升效率。
Instant SQL 的实现依赖于 DuckDB 的本地优先设计、性能优化以及查询重写和缓存系统。 通过在本地缓存数据样本并重写查询，Instant SQL 能够提供低延迟的实时预览。 此外，DuckDB 的 JSON 扩展提供了从 SELECT 语句获取抽象语法树 (AST) 的功能，使得开发者可以更容易地构建基于解析器的功能。
评论区对 Instant SQL 表现出浓厚的兴趣，认为它能显著提升 SQL 编写的效率。 有人提到，这种实时预览的方式可以帮助用户更快地理解数据，减少错误，并加速数据探索和分析流程。 也有人对 MotherDuck 的创新表示赞赏，认为 Instant SQL 代表了 SQL 工具的未来发展方向。 然而，也有人对 Instant SQL 的性能和适用范围提出疑问，认为在处理大型数据集或复杂查询时，其实时预览效果可能会受到限制。
- 原文: [Instant SQL for results as you type in DuckDB UI](https://motherduck.com/blog/introducing-instant-sql/)
- Hacker News: [https://news.ycombinator.com/item?id=43782406](https://news.ycombinator.com/item?id=43782406)
- 作者: ryguyrg
- 评分: 75
- 评论数: 21
- 发布时间: 2025-04-24 21:23:26
---
## 论对雇主的忠诚：技术行业的反思
这篇文章探讨了在技术行业中，对雇主的忠诚度问题。作者反思了自己作为招聘人员的经历，以及在快节奏的技术行业中，员工频繁跳槽的现象。
文章首先提到了作者的父亲，他在同一家公司工作了30年，这与技术行业形成鲜明对比。作者认为，技术行业中对雇主的忠诚度似乎并不高，员工频繁跳槽，但同时又在社交媒体上赞扬自己的雇主。作者承认自己过去也曾如此，并反思了这种现象。
文章随后提出了作者在选择雇主时看重的四个标准：合理的薪水、对员工的良好待遇、财务上的稳健以及对新事物的开放态度。作者强调，如果一个雇主能够满足这些标准，那么他就可以做到对求职者完全透明和诚实。
文章还提到了“不要牺牲”原则，即不要为了迎合雇主而牺牲家庭、精神健康、尊严和价值观，以及不要盲目追求“奋斗”文化。作者鼓励员工专注于自身成长，帮助同事，并高效利用时间。
最后，作者引用了父亲的话，强调了工作与生活平衡的重要性。
评论区对“忠诚”一词在雇佣关系中的适用性提出了质疑。一些评论者认为，雇佣关系本质上是交易性的，一方提供服务，另一方支付报酬。也有评论者认为，虽然不应过度强调忠诚，但在工作中投入与产出之间存在着关系。
一些评论者分享了他们对工作与生活的看法，强调了工作之外的生活的重要性，以及在有限的生命中体验世界的愿望。他们认为，过度工作会让人错过许多美好的事物。
总的来说，这篇文章引发了对技术行业中雇佣关系的深入思考，探讨了忠诚、工作与生活平衡等问题。评论区则从不同角度对这些问题进行了补充和讨论，展现了多样化的观点。
- 原文: [On loyalty to Your Employer](https://www.talentstuff.com/blog/on-loyalty-to-your-employer)
- Hacker News: [https://news.ycombinator.com/item?id=43780815](https://news.ycombinator.com/item?id=43780815)
- 作者: Peroni
- 评分: 146
- 评论数: 174
- 发布时间: 2025-04-24 17:43:48
---
## 使用 Fedify 构建去中心化微博客
这篇文章介绍了如何使用 Fedify 框架构建一个类似 Mastodon 的、基于 ActivityPub 协议的去中心化微博客。文章的目标读者是希望学习 Fedify 并创建 ActivityPub 服务器软件的开发者。
文章详细阐述了使用 Fedify 构建微博客的步骤，包括设置开发环境、安装必要的工具（Node.js 和 Fedify CLI）、初始化项目以及运行一个简单的示例。文章强调了 Fedify 的核心功能，例如创建单用户账户、与其他联邦服务交互、发布和查看帖子等。文章还提到了为了简化教程而设定的功能限制，例如没有账户资料设置、帖子不可编辑等。文章提供了完整的源代码，并按步骤进行了代码提交，方便读者参考。
评论区可能会讨论 Fedify 的优势和局限性，与其他 ActivityPub 实现的比较，以及对去中心化社交网络的未来展望。一些评论可能会关注 Fedify 的易用性，以及它在简化 ActivityPub 开发方面的作用。也有可能出现关于 ActivityPub 协议本身的技术讨论，例如其复杂性、可扩展性以及与其他协议的互操作性。
- 原文: [Creating your own federated microblog](https://fedify.dev/tutorial/microblog)
- Hacker News: [https://news.ycombinator.com/item?id=43780785](https://news.ycombinator.com/item?id=43780785)
- 作者: dahlia
- 评分: 77
- 评论数: 13
- 发布时间: 2025-04-24 17:37:57
---
## 扎克伯格：社交媒体已死？
本文探讨了马克·扎克伯格在 Meta 反垄断审判中关于社交媒体本质转变的观点。文章指出，扎克伯格认为社交媒体已不再是最初的社交网络，而是演变成一个内容消费平台。
文章详细阐述了扎克伯格在法庭上的证词，他认为 Meta 的平台已经从人际交流转向了“娱乐和了解世界”。Meta 内部的数据也显示，用户在 Facebook 和 Instagram 上观看“朋友”发布内容的时间比例正在下降。文章还提到了 FTC 提出的反垄断诉讼，以及 Meta 反驳 FTC 观点的策略，即社交媒体市场已经变得非常广泛，竞争激烈，Meta 并没有垄断。文章分析了 FTC 的论点，即 Meta 的垄断导致了创新不足和消费者选择减少。
评论区讨论了社交媒体的演变，从最初的社交网络到如今的内容消费平台。一些人认为，社交媒体已经失去了其最初的社交属性，变得更加商业化和内容导向。也有人认为，这种转变是不可避免的，反映了用户需求的变化。还有评论关注了反垄断案件的复杂性，以及市场定义的模糊性。
- 原文: [Mark Zuckerberg Says Social Media Is Over](https://www.newyorker.com/culture/infinite-scroll/mark-zuckerberg-says-social-media-is-over)
- Hacker News: [https://news.ycombinator.com/item?id=43780377](https://news.ycombinator.com/item?id=43780377)
- 作者: FinnLobsien
- 评分: 87
- 评论数: 175
- 发布时间: 2025-04-24 16:19:23
---
## Windows 11 24H2 破坏了《GTA：San Andreas》中的一个 20 年前的 Bug
这篇博文讨论了在 Windows 11 24H2 更新中浮现的《GTA：San Andreas》中的一个老旧的错误，导致游戏中 Skimmer 飞机无法生成。文章深入分析了问题的根本原因，并探讨了浮点数计算和游戏引擎之间的交互。
文章首先报告了在 Windows 11 24H2 上，玩家发现《GTA：San Andreas》中的 Skimmer 飞机无法生成的问题。这个问题不仅出现在原版游戏中，也影响了使用 SilentPatch 补丁的版本。作者通过虚拟机测试确认了问题，发现升级到 24H2 后，飞机消失，而降级到 23H2 则恢复正常。
接下来，文章深入调查了导致飞机消失的原因。通过调试，作者发现当玩家进入 Skimmer 飞机时，游戏会卡在一个循环中，尝试将螺旋桨角度标准化。问题在于，`m_fBladeSpeed` 的值变得非常大，导致浮点数计算出现问题。进一步分析发现，`m_fBladeSpeed` 与飞机的高度有关，而飞机的高度又与模型的边界框有关。最终，作者发现 Skimmer 飞机的边界框中的 Z 值被错误地设置为一个极大的负数，导致飞机被“发射”到天空中。
文章还探讨了可能的原因，包括碰撞文件读取错误或边界框被错误更新。作者通过数据断点发现，边界框在初始设置时是正确的，但在后续过程中被修改。文章最后总结了问题的根本原因在于 Windows 11 24H2 对浮点数计算的处理方式与游戏引擎不兼容，导致了这一持续了 20 年的 Bug 再次浮出水面。
评论区对这个问题进行了多角度的讨论。一些评论员分享了他们遇到的类似问题，并表达了对微软修复此问题的期望。也有人猜测这可能是由于 Windows 11 的某些优化或兼容性问题导致的。还有人讨论了浮点数计算在游戏开发中的重要性，以及如何避免类似问题的发生。总的来说，评论区反映了开发者和玩家对这个问题的关注，以及对未来修复的期待。
- 原文: [How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2](https://cookieplmonster.github.io/2025/04/23/gta-san-andreas-win11-24h2-bug/)
- Hacker News: [https://news.ycombinator.com/item?id=43772311](https://news.ycombinator.com/item?id=43772311)
- 作者: yett
- 评分: 1257
- 评论数: 277
- 发布时间: 2025-04-23 22:00:11
---
## 韩国 81,998 家酒吧的最短路径
这篇文章介绍了通过解决旅行商问题 (TSP) 来计算韩国 81,998 家酒吧的最短步行路线。 这条路线总长 178 天，1 小时，56 分钟，17 秒。
文章的核心在于展示了如何使用计算方法找到如此大规模 TSP 问题的最优解。 团队使用了 Open Source Routing Machine (OSRM) 构建了 33 亿个点对点旅行时间的表格。 随后，结合 LKH 和 Concorde 代码，计算出了一条最短路径，并证明了其最优性。 这项研究超越了之前解决的荷兰 57,912 个站点的 TSP 问题，成为迄今为止已解决的最大的道路地图 TSP 实例。
文章还提到了解决 TSP 问题的关键在于不依赖于逐一检查所有可能路径的传统方法。 而是采用了“切割平面法”，通过线性规划来逐步优化路径，最终找到最优解。 文章还提供了交互式地图和高分辨率图像，方便读者查看计算出的路线。 此外，文章还讨论了 P vs NP 问题，以及 TSP 与资源优化之间的联系。
评论区里，有人对如此大规模的计算表示惊叹，认为这展示了算法和计算能力的强大。 也有人开玩笑说，完成这条路线需要大量的饮料和时间。 还有人讨论了 TSP 在实际生活中的应用，例如物流、线路规划等。 此外，关于计算方法和工具的讨论也很多，例如 LKH 和 Concorde 的具体实现细节。
总的来说，这篇文章和评论区都展现了对 TSP 问题的深入探讨，以及对计算方法和优化技术的关注。
- 原文: [Shortest-possible walking tour to 81,998 bars in South Korea](https://www.math.uwaterloo.ca/tsp/korea/index.html)
- Hacker News: [https://news.ycombinator.com/item?id=43778105](https://news.ycombinator.com/item?id=43778105)
- 作者: geeknews
- 评分: 368
- 评论数: 122
- 发布时间: 2025-04-24 08:20:40
---
## AI 时代的“无马车”：AI 应用的未来与挑战
这篇文章讨论了作者对 AI 应用的看法，认为许多 AI 应用就像“无马车”一样，徒有其表，未能充分发挥 AI 的潜力。文章通过对比 Gmail 的 AI 邮件助手和作者设想的更智能的邮件助手，阐述了作者的观点。
文章首先指出，作者在使用 AI 构建软件时感到兴奋，但许多 AI 应用却让人感觉功能鸡肋。作者认为这些应用模仿了旧的软件构建方式，限制了 AI 模型的发挥。文章以 Gmail 的 AI 邮件助手为例，指出其生成的邮件语气生硬，效率低下，不如手动撰写。作者认为，这并非 AI 本身的问题，而是应用设计的问题。
为了说明这一点，作者展示了一个设想中的更智能的邮件助手，该助手可以根据用户的自定义“系统提示”来处理邮件，实现邮件分类、优先级排序和自动回复等功能。作者认为，这种方式更能发挥 AI 的潜力，提高效率。文章进一步解释了“系统提示”和“用户提示”的概念，并强调了自定义“系统提示”的重要性。作者认为，Gmail 应该允许用户自定义系统提示，从而让 AI 更好地服务于用户。
文章最后提到了“AI Slop”的概念，指的是 AI 生成的生硬、公式化的文本。作者认为，为了避免“AI Slop”，用户需要编写更详细的提示，但这会降低效率。而允许用户自定义系统提示，才是解决问题的根本方法。
评论区里，有人认为文章观点深刻，指出了 AI 应用设计中常见的问题。也有人认为，Gmail 的 AI 邮件助手可能只是一个早期版本，未来会不断改进。还有人讨论了 AI 在不同场景下的应用，以及如何更好地利用 AI 提升效率。
总的来说，这篇文章引发了人们对 AI 应用设计和未来发展的思考。它强调了用户自定义的重要性，以及如何通过更智能的设计来充分发挥 AI 的潜力。
- 原文: [AI Horseless Carriages](https://koomen.dev/essays/horseless-carriages/)
- Hacker News: [https://news.ycombinator.com/item?id=43773813](https://news.ycombinator.com/item?id=43773813)
- 作者: petekoomen
- 评分: 686
- 评论数: 431
- 发布时间: 2025-04-24 00:19:56
---
## Tenjin 招聘高级后端工程师：移动广告归因方向
Tenjin 正在招聘一名高级后端工程师，专注于移动广告归因。 这份工作是全职远程职位，薪资范围在 12 万到 20 万美元之间。
文章介绍了 Tenjin 是一家专注于移动营销分析和基础设施的公司。他们正在寻找有经验的后端工程师，特别是熟悉 Ruby 和 Go 的人。 候选人需要有 11 年以上经验，并且熟悉 Ruby on Rails 或 Sinatra 框架，以及关系型和非关系型数据库。 此外，对 Kubernetes 和分布式系统有经验者优先。 工程师将负责架构设计、技术集成、业务逻辑维护以及与其他团队的协作。 Tenjin 强调团队合作和远程工作环境，鼓励员工在灵活的时间和地点工作。 招聘流程包括与联合创始人的初步沟通、编码评估和面试。 Tenjin 成立于 2014 年，是一家 Y Combinator 孵化的公司，团队规模不大但正在增长。
评论区中，有人对 Tenjin 的技术栈和工作内容表示了兴趣。 也有人讨论了移动广告归因领域的挑战和发展趋势。 一些评论提到了对 Ruby 和 Go 混合使用以及 Kubernetes 的看法。 总体而言，评论反映了对 Tenjin 公司、职位以及移动广告技术领域的关注。
- 原文: [Tenjin (YC S14) Is Hiring a Senior Ad Attribution Engineer (Ruby, Go)](https://www.ycombinator.com/companies/tenjin/jobs/7qwVnEp-senior-backend-engineer-ad-attribution)
- Hacker News: [https://news.ycombinator.com/item?id=43781663](https://news.ycombinator.com/item?id=43781663)
- 作者: amirmanji
- 评分: 1
- 评论数: 0
- 发布时间: 2025-04-24 20:00:10
---
## 从零开始的 x86\_64 UNIX-like OS：TacOS
这篇文章介绍了 UnmappedStack 在 GitHub 上开源的 TacOS 项目，这是一个从头开始构建的 x86\_64 架构的类 UNIX 操作系统。TacOS 旨在为开发者提供一个学习和实践操作系统开发的平台。
TacOS 项目的核心在于其从零开始的特性，这意味着它不依赖于任何现有的操作系统内核。 这使得开发者能够深入了解操作系统的内部工作原理，例如内存管理、进程调度、文件系统等。 项目使用 Rust 语言编写，Rust 提供了内存安全和并发编程的特性，这对于构建一个可靠的操作系统至关重要。 TacOS 实现了基本的系统调用，支持用户空间程序的运行。 开发者可以逐步构建和扩展 TacOS，例如添加对网络、图形界面等功能的支持。
评论区中，有人对 TacOS 的 Rust 实现表示赞赏，认为 Rust 在系统编程方面具有优势。 也有人讨论了从零开始构建操作系统的挑战，例如硬件兼容性、调试难度等。 还有人分享了自己构建操作系统的经验，并提供了有用的建议。 总的来说，TacOS 项目引发了开发者们对操作系统底层技术的热情，也促进了对 Rust 语言在系统编程领域的讨论。
- 原文: [Show HN: My from-scratch OS kernel that runs DOOM](https://github.com/UnmappedStack/TacOS)
- Hacker News: [https://news.ycombinator.com/item?id=43778081](https://news.ycombinator.com/item?id=43778081)
- 作者: UnmappedStack
- 评分: 258
- 评论数: 60
- 发布时间: 2025-04-24 08:15:22
---
## 汽车钥匙和钥匙扣：针对汽车遥控器的攻击
本文介绍了针对汽车遥控器的攻击，重点讨论了汽车遥控器的工作原理、攻击方法以及如何利用廉价硬件进行攻击。文章深入浅出地解释了汽车遥控系统的安全隐患，并提供了相关的技术细节。
文章首先介绍了汽车遥控器的工作原理，包括遥控钥匙系统（RKS）的频率、信号调制方式等。作者通过分析自己的2006款普锐斯钥匙扣，演示了如何使用软件定义无线电（SDR）来捕获和分析遥控信号。文章详细解释了信号的编码方式，例如 OOK 和 Manchester 编码，以及如何识别和解码这些信号。
接下来，文章探讨了针对汽车遥控器的各种攻击方法。包括重放攻击、逆向工程 RKS 序列、以及针对被动无钥匙进入和启动（PKES）系统的攻击。文章还提到了使用录制和重放信号来打开汽车的方法，以及如何通过干扰信号来阻止车主锁车。
文章还介绍了用于攻击汽车遥控器的硬件设备，例如基于 TI CC111X 芯片的 USB 适配器和 Flipper Zero。此外，文章还提到了使用树莓派来生成 RF 信号的方法，这种方法提供了更大的灵活性，可以生成任何数字数据包波形。
文章最后强调了随着汽车变得越来越复杂，嵌入式计算机系统越来越多，针对汽车遥控器的攻击将会持续增加。
评论区对这篇文章的讨论也十分热烈。一些评论员对文章中提到的攻击方法表示担忧，认为这暴露了汽车安全系统的脆弱性。另一些评论员则认为，了解这些攻击方法有助于提高安全意识，并促使汽车制造商改进安全措施。还有一些评论员分享了他们自己对汽车安全的研究和经验，提供了更多技术细节和实际案例。总的来说，评论区呈现出对汽车安全问题的多角度探讨，既有技术层面的分析，也有对安全隐患的担忧。
- 原文: [Cars and Key Fobs: Attacks on Car Remotes](https://web.stanford.edu/class/ee26n/Assignments/Assignment5.html)
- Hacker News: [https://news.ycombinator.com/item?id=43780876](https://news.ycombinator.com/item?id=43780876)
- 作者: Pikamander2
- 评分: 115
- 评论数: 84
- 发布时间: 2025-04-24 17:53:22
---
## 斯科特·阿伦森：数学的可知性
这篇 Hacker News 上的文章分享了斯科特·阿伦森在 YouTube 上的一个演讲视频，主题是关于数学的可知性。视频探讨了数学中哪些是可知的，哪些是未知的，以及其中的边界在哪里。
演讲中，阿伦森深入探讨了可计算性理论，哥德尔不完备定理，以及它们对数学可知性的影响。他解释了为什么有些数学问题是不可判定的，以及这意味着什么。此外，他还讨论了量子计算在解决数学问题上的潜力，以及它可能带来的新的可知性边界。阿伦森还提到了数学家们在探索未知领域时所面临的挑战和机遇。
评论区里，一些人认为这个视频是关于计算理论的优秀入门，适合本科生学习。也有人对演讲内容提出了自己的见解，例如，有人认为“任何足够丰富的语言都有自指的陈述，这些陈述既不真也不假”。还有人提到了“精细结构常数”在数学中的作用。总的来说，评论区展现了对演讲内容的积极反馈和深入思考。
- 原文: [How much math is knowable? [video]](https://www.youtube.com/watch?v=VplMHWSZf5c)
- Hacker News: [https://news.ycombinator.com/item?id=43776477](https://news.ycombinator.com/item?id=43776477)
- 作者: diaphanous
- 评分: 34
- 评论数: 0
- 发布时间: 2025-04-24 04:48:57
---
## 字体盗用事件引发讨论
这篇文章讨论了关于字体盗用的话题，并引发了关于版权、知识产权以及“盗版精神”的讨论。文章的核心在于对字体版权的法律解读以及对盗版行为的评价。
文章中提到，克隆字体在法律上通常是合法的，但直接复制字体文件并更改名称则可能构成侵权。 也就是说，你可以重新绘制一个字体，但不能直接复制现有的字体文件。文章还提到了“盗版精神”，并认为这种精神值得称赞。
评论区里，大家对字体版权的法律细节展开了讨论，例如，字体的版权保护范围、字体设计与数字字体的区别等。 有人认为，这种行为是对知识产权的挑战，也有人认为，这反映了公司试图通过知识产权来恐吓公众。 还有人分享了对“盗版”和“资本主义宣传”的看法。
总的来说，这篇文章引发了关于字体版权、盗版行为以及知识产权的讨论。 评论区观点多样，既有对法律细节的探讨，也有对“盗版精神”的赞赏，反映了人们对知识产权和自由分享的不同看法。
- 原文: [You wouldn't steal a font](https://fedi.rib.gay/notes/a6xqityngfubsz0f)
- Hacker News: [https://news.ycombinator.com/item?id=43775926](https://news.ycombinator.com/item?id=43775926)
- 作者: todsacerdoti
- 评分: 1184
- 评论数: 339
- 发布时间: 2025-04-24 03:42:36
---
## 为什么使用 Linux 手机作为日常设备？
这篇文章探讨了将 Linux 手机作为日常使用的可行性，并讨论了其背后的动机和挑战。作者分享了自己使用 Linux 手机的经验，并与其他 Android 手机进行了对比。
文章首先提出了一个问题：为什么有人会选择 Linux 手机而不是更方便的 Android 手机？作者认为，这不仅仅是为了追求舒适和便利，更是一种对生活方式的质疑，以及对安全和隐私的追求。Linux 手机的开源特性使其在隐私保护方面具有优势，因为它不依赖广告或监视来维持其业务模式。
作者提到了 PinePhone Pro 的硬件速度较慢，但认为这并不影响日常使用，因为它可以流畅地播放视频和音乐，并且在运行应用程序时也能满足需求。此外，PinePhone Pro 比 FairPhone 更轻巧，并配备了 3.5mm 耳机插孔。作者还计划使用 LGv40 Thinq，因为它具有更强大的硬件和更好的用户体验。
文章强调，选择 Linux 手机是一种个人选择，它关乎对现有生活方式的思考和对隐私的重视。作者最终希望通过使用 Linux 手机来探索一种不同的生活方式。
## 评论观点分析
评论区对文章主题进行了多角度的探讨。有人推荐了 FuriPhone，认为它在日常使用中非常实用，并且具有出色的相机。也有人表达了对 Linux 手机安全性的担忧，以及对依赖 npm 和 pip 依赖项的焦虑。
一位评论者分享了自己朋友使用 Linux 手机的经历，并指出过度追求隐私可能会导致社交障碍。还有评论者认为，Android 和 iOS 背后存在其他利益驱动，并表达了对软件和硬件可能导致生活变得更糟糕的担忧。
总的来说，评论区既有对 Linux 手机的积极评价，也有对其局限性的担忧，反映了人们对隐私、安全和日常使用体验的不同看法。
- 原文: [Daily driving a Linux phone, but why?](https://thefoggiest.dev/2025/04/24/daily-driving-a-linux-phone-but-why)
- Hacker News: [https://news.ycombinator.com/item?id=43779766](https://news.ycombinator.com/item?id=43779766)
- 作者: ingve
- 评分: 55
- 评论数: 89
- 发布时间: 2025-04-24 14:13:35
---
## YAGRI 原则：你迟早会读到它
这篇文章讨论了在软件开发中，除了满足当前需求外，还应该存储未来可能用到的数据，作者称之为 YAGRI (You Are Gonna Read It)。文章强调了存储时间戳、上下文元数据等信息的重要性，即使这些信息在当前 UI 设计中没有直接体现。
文章的核心观点是，不要仅仅为了满足当前的 UI 设计而存储最少的数据。作者以用户删除功能为例，建议除了删除数据行之外，还应该记录删除者、删除方式、删除时间以及删除原因等信息。文章还列出了一些在几乎所有表中都应该存储的有用字段，例如 `created_at`、`updated_at`、`deleted_at`、`created_by` 等。
文章最后提到，虽然存储所有信息可能没有必要，但即使只有一个字段在未来能派上用场，也足以弥补实现其他字段的成本。
## 评论观点分析
评论中，有人认为大型关系数据库应该内置软删除功能，方便开发者使用。也有人指出，是否存储额外数据应该由产品负责人决定，并进行充分的讨论和规划。
一些评论提到了将审计字段与事务数据分离，使用单独的审计日志表，认为这样更符合关注点分离原则。还有评论提到了更复杂的审计方案，例如记录每次编辑的历史，甚至使用图数据库。
此外，评论中还提到了使用时间戳代替布尔值来存储更多信息，以及 UI 设计对数据存储的影响。总的来说，评论区对 YAGRI 原则进行了多角度的探讨，涵盖了数据库设计、产品决策、审计方案等多个方面。
- 原文: [YAGRI: You are gonna read it](https://www.scottantipa.com/yagri)
- Hacker News: [https://news.ycombinator.com/item?id=43776967](https://news.ycombinator.com/item?id=43776967)
- 作者: escot
- 评分: 264
- 评论数: 129
- 发布时间: 2025-04-24 05:47:27
---
## CubeCL：用 Rust 编写 GPU 内核，支持 CUDA、ROCm 和 WGPU
CubeCL 是一个用 Rust 编写的 GPU 计算语言扩展，旨在通过零成本抽象来开发可维护、灵活且高效的计算内核。文章介绍了 CubeCL 的设计理念、工作原理和应用示例。
CubeCL 允许开发者使用 Rust 编写 GPU 代码，目前支持函数、泛型和结构体，并部分支持 trait、方法和类型推断。 通过在函数上添加 `cube` 属性，可以将其标记为在 GPU 上运行。 CubeCL 支持多种 GPU 运行时，包括 WGPU（跨平台）、CUDA（NVIDIA GPU）和 ROCm/HIP（AMD GPU）。 CubeCL 的目标是简化编写高性能计算内核的过程，并实现跨硬件的移植性。
CubeCL 具有自动向量化、编译时计算和自动调优等特性，这些特性提高了代码的可组合性、可重用性、可测试性和可维护性。 CubeCL 还提供针对高吞吐量优化的内存管理策略，以避免内存分配。 CubeCL 的工作原理是利用 Rust 的过程宏系统，通过两步流程实现：解析和扩展。 CubeCL 的设计围绕“Cube”展开，基于长方体，并提供了与其他计算 API 概念的映射。
评论区对 CubeCL 的潜力表示了积极的看法，认为它简化了 GPU 编程，并提供了跨平台的支持。 有人讨论了 CubeCL 在性能方面的优势，以及与现有 GPU 编程框架的比较。 也有人关注 CubeCL 的未来发展，包括对更多 Rust 语言特性的支持和对更多算法的实现。
- 原文: [CubeCL: GPU Kernels in Rust for CUDA, ROCm, and WGPU](https://github.com/tracel-ai/cubecl)
- Hacker News: [https://news.ycombinator.com/item?id=43777731](https://news.ycombinator.com/item?id=43777731)
- 作者: ashvardanian
- 评分: 175
- 评论数: 33
- 发布时间: 2025-04-24 07:19:32
---
## AI 编码的隐形成本：失去编码的乐趣
这篇文章探讨了使用 AI 辅助编程可能带来的一个意想不到的后果：程序员在编码过程中获得的乐趣可能会减少。文章作者分享了自己对 AI 编程的担忧，并引发了对未来软件开发模式的思考。
文章首先回顾了作者之前对 AI 的积极评价，但随后笔锋一转，表达了对 AI 编程可能带来的"乐趣缺失"的担忧。作者描述了自己过去在编码时进入"心流"状态的体验，那种沉浸于解决问题、创造价值的快乐，是许多程序员热爱这份工作的原因。然而，随着 AI 辅助编程的普及，作者发现自己更像是一个"策展人"，通过提示词来驱动 AI 生成代码，而不再亲自编写代码。
这种转变提高了效率，但同时也让作者失去了编码的乐趣。文章进一步探讨了这种变化可能带来的影响，例如程序员可能会变得与代码"脱节"，失去对编程的热情。作者提出了一个问题：当我们把编程中需要专注和创造力的部分外包给 AI 时，我们是否也外包了获得满足感的机会？文章最后呼吁，在拥抱 AI 的同时，也要有意识地保留一些可以让人进入"心流"状态的编码空间，因为如果失去了对工作的热爱，我们最终优化的是什么呢？
评论区中，@ragle 分享了与作者截然不同的体验。他认为，对于他来说，编码的乐趣在于设计和解决问题，而 AI 帮助他减少了重复性的"打字"工作，让他能够专注于更具挑战性的思考过程。他认为 AI 让他能够更快地实现解决方案，这让他感到兴奋。@TrackerFF 则从另一个角度分析了这个问题，他认为人们对编程的喜爱程度不同，有些人热爱编程本身，而另一些人则更关注最终的结果。他认为，对于那些热爱编程的人来说，AI 可能会减少他们的乐趣，而对于那些将编程视为实现目标的工具的人来说，AI 则可能是一个福音。
- 原文: [The hidden cost of AI coding](https://terriblesoftware.org/2025/04/23/the-hidden-cost-of-ai-coding/)
- Hacker News: [https://news.ycombinator.com/item?id=43775358](https://news.ycombinator.com/item?id=43775358)
- 作者: Sharpie4679
- 评分: 192
- 评论数: 295
- 发布时间: 2025-04-24 02:44:47
---
## 使用 LLMs 进行实体建模：探索 AI 在 CAD 设计中的应用
这篇文章探讨了如何利用大型语言模型 (LLMs) 生成 CAD 模型，以及其在机械工程领域的潜力。作者通过实验，展示了 LLMs 在 OpenSCAD 编程 CAD 工具中的应用，并构建了一个评估系统来测试不同 LLMs 的建模能力。
文章首先介绍了 LLMs 在代码生成方面的突破，并设想了 AI 机械工程师的可能性，包括材料选择、制造设计、计算机辅助制造 (CAM) 等功能。作者认为，AI 机械工程师最重要的能力是设计和改进 CAD 模型。 接着，文章提到了通过训练生成模型来处理 CAD 文件的现有方法，并重点介绍了 Autodesk Research 的相关研究。
作者受到使用 LLMs 驱动 Blender 的启发，尝试使用 LLMs 通过编程接口生成实体模型。他选择了 OpenSCAD，一个开源的编程 CAD 工具。作者使用 Cursor 工具，结合 LLMs 和 OpenSCAD，创建了一个简单的 iPhone 手机壳。实验结果表明，LLMs 能够根据指令生成基本的 CAD 模型，并且可以利用 OpenSCAD 库中的现有功能。
为了进一步评估 LLMs 在 CAD 设计中的能力，作者构建了一个评估系统。该系统包含 25 个 CAD 任务，难度各异。每个任务都有一个明确的几何定义，以确保评估结果的准确性。评估流程包括：将文本提示发送给 LLM、LLM 生成 OpenSCAD 代码、将 OpenSCAD 代码渲染成 STL 文件、自动将生成的 STL 文件与参考 STL 文件进行比较，并输出评估结果。几何检查通过体积、边界框、平均倒角距离和 Hausdorff 距离等指标来判断模型是否通过测试。
文章最后强调，LLMs 在 CAD 设计中展现出巨大的潜力，但仍需进一步研究和改进。
评论区可能会讨论以下几个方面：
* **LLMs 在 CAD 设计中的优势和局限性：** 讨论 LLMs 在快速原型设计、参数化设计等方面的优势，以及在处理复杂几何形状、精度要求高的设计方面的局限性。
* **OpenSCAD 与其他 CAD 工具的比较：** 探讨 OpenSCAD 作为编程 CAD 工具的特点，与其他主流 CAD 软件（如 SolidWorks、Fusion 360）的差异，以及其在 AI 辅助设计中的应用前景。
* **评估系统的设计和改进：** 讨论评估系统的设计思路，包括任务选择、几何检查方法等，以及如何进一步完善评估系统，以更全面地评估 LLMs 的建模能力。
* **AI 在机械工程领域的未来发展：** 展望 AI 在机械工程领域的应用前景，包括自动化设计、优化设计、材料选择、制造流程优化等方面。
- 原文: [Teaching LLMs how to solid model](https://willpatrick.xyz/technology/2025/04/23/teaching-llms-how-to-solid-model.html)
- Hacker News: [https://news.ycombinator.com/item?id=43774990](https://news.ycombinator.com/item?id=43774990)
- 作者: wgpatrick
- 评分: 279
- 评论数: 94
- 发布时间: 2025-04-24 02:13:43
---
## 自制 TRMNL e-ink 设备：快速实现你的 e-ink 梦想
这篇文章分享了作者 Stavros 在等待 TRMNL e-ink 设备到货期间，自己动手制作一个类似设备的过程。他通过购买现成的 e-ink 屏幕和 ESP32 驱动板，并移植 TRMNL 官方固件，成功打造了自己的 e-ink 显示器。
文章首先介绍了 TRMNL 设备，并表达了对 e-ink 显示器的喜爱。由于对等待的不耐烦，作者决定自己动手制作一个。他选择了 Waveshare 的 7.5 英寸 e-ink 屏幕和 ESP32 驱动板，总成本约为 80 美元。作者分享了自己制作 e-ink 设备的经验，并提到之前也做过类似的项目。他分析了现有 e-ink 项目的两种常见方案：基于 ESP32 的方案和基于 Raspberry Pi 的方案，并指出了它们的优缺点。
作者选择了 TRMNL 的方案，即从服务器获取图片并在 e-ink 屏幕上显示。他成功地将 TRMNL 的官方固件移植到 Waveshare 驱动板上，并分享了修改后的代码。通过购买 TRMNL 的 BYOD 许可证，他成功地让自己的设备与 TRMNL 的在线服务连接。最后，作者对最终结果表示满意，并计划改进设备的外观。
评论区中，有人对作者的动手能力表示赞赏，认为这是一个有趣的项目。也有人讨论了 TRMNL 设备的定价和商业模式。一些人认为 TRMNL 的价格偏高，而 BYOD 许可证的收费方式也存在争议。总的来说，这是一个关于 DIY e-ink 设备和 TRMNL 服务的讨论。
- 原文: [Show HN: I made my own TRMNL e-ink device](https://www.stavros.io/posts/making-a-trmnl-device/)
- Hacker News: [https://news.ycombinator.com/item?id=43781465](https://news.ycombinator.com/item?id=43781465)
- 作者: stavros
- 评分: 12
- 评论数: 5
- 发布时间: 2025-04-24 19:34:10
---
## Colanode：开源、本地优先的 Slack 和 Notion 替代品
Colanode 是一个开源项目，旨在提供 Slack 和 Notion 的替代方案，强调本地优先和数据控制。 这是一个值得关注的工具，尤其对于那些重视数据隐私和自主权的开发者来说。
Colanode 的核心理念是让用户完全掌控自己的数据，避免了对第三方服务器的依赖。 它支持本地存储，这意味着你的所有数据都存储在你的设备上，而不是云端。 这对于注重隐私的用户来说是一个巨大的优势。 此外，Colanode 还是一个本地优先的应用程序，这意味着它可以在没有互联网连接的情况下运行。
Colanode 提供了类似 Slack 和 Notion 的功能，包括消息传递、文档编辑和项目管理。 它采用 Apache-2.0 许可证，允许开发者自由使用、修改和分发代码。 开发者可以根据自己的需求进行定制，并将其集成到自己的工作流程中。
Colanode 的界面简洁直观，易于上手。 它支持多种操作系统，包括 Windows、macOS 和 Linux。 开发者可以通过 GitHub 获得 Colanode 的源代码，并参与到项目的开发中。
## 评论区观点分析
评论区对 Colanode 的看法褒贬不一。 一些人对这种本地优先的理念表示赞赏，认为它解决了数据隐私和安全问题。 另一些人则对其功能和可用性提出了质疑，认为它可能不如 Slack 和 Notion 成熟。
有人认为，Colanode 的本地优先特性使其成为一个理想的工具，尤其是在需要保护敏感数据的场景中。 也有人担心，本地存储可能会带来数据备份和同步的挑战。 此外，一些评论者对 Colanode 的长期维护和发展表示担忧，认为开源项目可能面临资金和人力资源不足的问题。
总的来说，Colanode 作为一个开源的 Slack 和 Notion 替代品，在数据隐私和自主权方面具有独特的优势。 然而，它也面临着功能完善、用户体验和长期维护等方面的挑战。
- 原文: [Show HN: Colanode, open-source and local-first Slack and Notion alternative](https://github.com/colanode/colanode)
- Hacker News: [https://news.ycombinator.com/item?id=43780176](https://news.ycombinator.com/item?id=43780176)
- 作者: hakanshehu
- 评分: 25
- 评论数: 5
- 发布时间: 2025-04-24 15:43:15
---
## 首例无人机成功触发并引导闪电
本文介绍了 NTT 公司利用无人机成功触发并引导闪电的案例，旨在通过闪电无人机保护城市和基础设施，从而实现一个免受雷击损害的社会。文章发布于 NTT 官方新闻稿。
NTT 的这项技术利用无人机将触发线缆送至雷暴云层，从而引导闪电。 这种方法可以主动控制闪电的路径，避免其击中关键基础设施，如建筑物、电网等。 这种技术的核心在于精准的无人机操控和对闪电物理特性的深入理解。 通过这种方式，可以减少雷击造成的损失，提高社会基础设施的安全性。
评论区讨论了这项技术的潜在应用和挑战。 一些人认为这项技术在保护电网、通信设施等方面具有巨大潜力。 也有人提出了关于无人机操作安全性、成本效益以及对环境影响的担忧。 此外，关于如何大规模部署这项技术，以及如何应对复杂天气条件下的挑战也引发了讨论。 还有人探讨了这项技术在军事领域的潜在应用，以及相关的伦理问题。 总的来说，这项技术引发了人们对未来防雷技术发展方向的思考。
- 原文: [First Successful Lightning Triggering and Guiding Using a Drone](https://group.ntt/en/newsrelease/2025/04/18/250418a.html)
- Hacker News: [https://news.ycombinator.com/item?id=43775766](https://news.ycombinator.com/item?id=43775766)
- 作者: gnabgib
- 评分: 158
- 评论数: 69
- 发布时间: 2025-04-24 03:24:58
---
## Common Lisp 中的图形实时编码：Boids 算法实现
本文介绍了如何在 Common Lisp 中使用实时编码技术，实现一个 Boids 算法的图形演示。文章详细阐述了实时编码的概念、优势，以及使用 Sketch 框架进行图形绘制的过程。
文章首先解释了实时编码的核心概念，即在程序运行时重新编译代码，而无需重启应用程序。这极大地提高了开发效率，使开发者能够即时看到代码更改的效果。接着，文章简要介绍了 Sketch 框架，一个基于 Processing 的 Common Lisp 图形库，并展示了如何使用 `defsketch` 宏定义一个简单的图形窗口，并在其中绘制图形。
随后，文章重点介绍了 Boids 算法的实现。Boids 算法模拟了鸟群的飞行行为，通过分离、聚集和对齐三个规则来控制鸟类的运动。文章逐步展示了如何定义 Boid 类，创建 Boid 对象，并在 Sketch 框架中绘制 Boid 的图形。作者还强调了 `restart-on-change` 参数的作用，它允许在重新编译代码时保留图形的状态，从而实现连续的动画效果。
文章还提到了实时编码在其他语言中的应用，如 Smalltalk 和 Erlang。作者通过一个简单的例子，展示了如何在 Common Lisp 中使用实时编码技术，实现 Boids 算法的图形演示。
评论区中，有人对实时编码的优势表示赞赏，认为它能够极大地提高开发效率。也有人提到了实时编码在游戏开发和音乐创作中的应用，展示了其广泛的适用性。一些开发者分享了他们在其他语言中使用类似技术的经验，并讨论了不同语言实现实时编码的差异。
总的来说，这篇文章深入浅出地介绍了 Common Lisp 中的实时编码技术，并通过 Boids 算法的实例，展示了其在图形编程中的应用。文章内容清晰易懂，适合对函数式编程和图形编程感兴趣的开发者阅读。
- 原文: [Graphics livecoding in Common Lisp](https://kevingal.com/blog/cl-livecoding.html)
- Hacker News: [https://news.ycombinator.com/item?id=43774726](https://news.ycombinator.com/item?id=43774726)
- 作者: adityaathalye
- 评分: 186
- 评论数: 45
- 发布时间: 2025-04-24 01:48:20
---
## Cory Doctorow 推荐文章：Sarah Wynn-Williams 的《Careless People》
这篇 Hacker News 文章推荐了 Sarah Wynn-Williams 的新书《Careless People》，讲述了她在 Facebook 担任全球政策主管期间的经历，以及 Meta 试图阻止该书出版的故事。文章作者 Cory Doctorow 认为这本书揭露了 Facebook 内部的一些“可耻的秘密”，并对 Facebook 高层人物进行了辛辣的描述。
文章的核心内容是 Doctorow 对《Careless People》的评价。他提到，这本书之所以引起他的注意，是因为 Meta 的律师试图阻止这本书的出版，并禁止 Wynn-Williams 讨论书中内容。Doctorow 认为这本书写得很好，Wynn-Williams 是一位出色的作家，并且揭露了 Facebook 内部的一些丑闻。他特别提到了 Facebook 高层人物，如扎克伯格、桑德伯格和卡普兰，并分享了书中关于他们的令人不快的细节。例如，扎克伯格在玩游戏时输不起，桑德伯格曾想为孩子购买肾脏，而卡普兰则表现得愚蠢和傲慢。
文章还讲述了 Wynn-Williams 如何进入 Facebook 的故事。她最初是新西兰外交官，对 Facebook 的全球潜能充满热情，并努力争取在 Facebook 工作。她描述了 Facebook 在缅甸的经历，以及与扎克伯格和新西兰总理的互动。Doctorow 认为，Facebook 并不真正关心美国以外的国家，因为美国是唯一一个既富有、人口众多，又缺乏有意义的隐私保护的国家。
最后，文章提到了 Facebook 在征服美国市场后，开始关注全球市场。Wynn-Williams 认为，这种转变源于扎克伯格的性格，他需要不断地占据主导地位。
评论区里，有人对这本书的内容表示了极大的兴趣，认为它揭露了科技巨头内部的黑暗面。也有人对 Facebook 的行为表示谴责，认为他们为了利益不择手段。还有人讨论了科技公司在世界范围内的影响力和责任。
总的来说，这篇文章引发了人们对科技公司内部文化、高层人物行为以及科技公司在全球范围内影响力的思考。它也提醒我们，即使是看似强大的公司，也可能隐藏着许多不为人知的秘密。
- 原文: [Careless People](https://pluralistic.net/2025/04/23/zuckerstreisand/#zdgaf)
- Hacker News: [https://news.ycombinator.com/item?id=43780363](https://news.ycombinator.com/item?id=43780363)
- 作者: Aldipower
- 评分: 537
- 评论数: 293
- 发布时间: 2025-04-24 16:17:11
---
## 交互式 Node.js 视频教程：可编辑和运行代码
本文介绍了一个名为 Scrimba 的交互式 Node.js 视频教程平台，它允许用户在观看视频的同时编辑和运行代码。 这是一个让学习编程更具互动性的工具。
Scrimba 的核心优势在于其独特的交互性。 用户可以在视频中直接编辑代码，并立即看到结果，这与传统的被动式屏幕录像教程形成了鲜明对比。 这种模式有助于学习者更好地理解代码的工作原理，并加深对编程概念的记忆。 平台支持多种语言，包括 JavaScript 和 Node.js。 教程内容涵盖了从基础知识到高级主题的广泛范围。
评论区对 Scrimba 给予了高度评价。 许多人认为它比传统的视频教程更有效，因为它提供了更强的互动性。 有人提到，这种模式特别适合那些希望通过实践来学习的人。 也有人表达了对 Scrimba 未来发展潜力的期待，并希望平台能支持更多语言和框架。 一些用户分享了他们使用 Scrimba 学习 React 等技术的经验，并强调了其独特的学习方式。
评论中也提到了其他类似的工具和平台，例如 CodeMic，它们试图在编程教学中引入更多互动元素。 此外，一些用户对 Scrimba 的内容创作和商业模式提出了疑问，例如是否支持创建私有或限制访问的课程。 总的来说，评论反映了对 Scrimba 这种交互式学习方式的积极态度，并期待它在编程教育领域发挥更大的作用。
- 原文: [Show HN: Node.js video tutorials where you can edit and run the code](https://news.ycombinator.com/item?id=43771365)
- Hacker News: [https://news.ycombinator.com/item?id=43771365](https://news.ycombinator.com/item?id=43771365)
- 作者: somebee
- 评分: 234
- 评论数: 79
- 发布时间: 2025-04-23 20:35:49
---
## 互联网上的“Gruen Transfer”现象：设计混乱如何影响用户行为
本文探讨了“Gruen Transfer”现象在互联网上的蔓延，这种现象指的是通过设计混乱来诱导用户偏离最初目标，最终导致冲动消费或无目的浏览。文章以超市布局为例，说明了这种现象的本质，并指出它正在互联网上广泛存在。
文章指出，Facebook 的信息流是“Gruen Transfer”的一个典型例子，用户最初是为了与朋友保持联系，但最终却被广告、营销内容和无尽的滚动所淹没。 这种现象不仅限于社交媒体，许多网站也采用类似的设计，使用户感到困惑，从而做出非理性的行为。 文章还提到了在取消订阅或删除账户时遇到的复杂流程，以及欧盟在简化取消订阅流程方面的立法。
文章最后提出了一个问题：这种复杂性何时会达到临界点，并建议可以借鉴经济学中的“拉弗曲线”来衡量。
评论中，有人认为亚马逊的搜索结果是“Gruen Transfer”的典型例子，搜索结果的混乱导致用户误购商品。 也有人认为维基百科的例子不适用，因为维基百科的链接是自然的，而不是刻意设计的。 还有人提到了其他类似的例子，如宜家迷宫和机场免税店。
一些评论者认为，这种现象是不可避免的，特别是在那些不以实用为目的，且用户对新鲜感有需求的系统中。 另一些人则表示，这种设计反而导致他们减少了与这些网站的互动。 总的来说，评论反映了对这种设计策略的普遍不满，以及对用户体验的担忧。
- 原文: [The Gruen Transfer is consuming the internet](https://sebs.website/blog/the%20gruen-transfer-is-consuming-the-internet)
- Hacker News: [https://news.ycombinator.com/item?id=43769936](https://news.ycombinator.com/item?id=43769936)
- 作者: Incerto
- 评分: 290
- 评论数: 227
- 发布时间: 2025-04-23 16:49:34
---
