2025-08-01 Hacker News Top Stories #

1. 快速的软件通过优化速度和用户体验显著提升效率，但其开发需要复杂的后台优化和核心功能专注。
2. “氛围编码"是一种快速生成代码但缺乏可维护性的编程方式，适合原型开发但可能迅速成为遗留代码。
3. Ollama发布了macOS和Windows版本的新应用，支持文件拖放和图像模型，并提供GitHub上的CLI版本下载。
4. 环球影业1936年开场标志通过物理模型和艺术装饰风格制作，耗时约半年，采用了高反射材料和磷光效果。
5. Lean编程语言通过代码形式化数学，展示了如何在代码中证明数学定理，但也揭示了数学中的不确定性。
6. 通过代码风格可以识别出由大语言模型生成的代码，这种代码往往不符合团队规范，需关注质量和可维护性。
7. Figma将于2025年7月31日在纽约证券交易所以“FIG”股票代码进行IPO，发行总股数为3693.708万股，每股定价33美元。
8. Servo是一个高性能、安全的开源浏览器引擎项目，目标是替代Electron和Android WebView，目前已支持多平台夜间快照版本。
9. 许多在2024年反对ChatControl的国家现表现出犹豫，呼吁在10月投票前采取行动反对更极端的2025年计划。
10. MacBook Pro Silicon M1 Max型号在夜间出现电池快速耗尽问题，可能与“Wake for maintenance”选项禁用有关，Sleep Aid工具可解决问题。

Fast #

https://www.catherinejue.com/fast

在软件领域，人们很少会要求“快速”。我们通常要求的是功能、批量折扣或下一次数据集成。我们从未意识到要求软件快速的重要性。但是，快速的软件能够改变行为。当代码部署在几秒钟（或毫秒）而不是几分钟内完成时，开发者会更频繁地发布。AI 代码补全意味着我们可以用我们不太熟悉的语言进行原型设计。实时流媒体使远程工作成为可能。相反，慢速软件限制了我们，只是我们没有意识到。你上次使用飞机 WiFi 并真正完成了很多工作是什么时候？也许你发送了一些 Slack 消息或回复了几封电子邮件。Google Docs 有时能工作。你可能放弃了。Instagram 通常工作得很好——Facebook 知道快速有多重要。

快速是神奇的。快速消除了认知摩擦。Raycast 在你完成打字之前就呈现出正确的应用程序，感觉就像是你思维的延伸。Superhuman 的 100 毫秒规则——加上他们对键盘快捷键的关注——以一种无人能够复制，更不用说超越的方式改变了电子邮件游戏。我最近使用 Mercury 向另一个使用 Mercury 的企业支付，它的即时结算在银行转账通常需要几天的世界里感到惊讶。

没有人因为这些工具的速度而明确地赞美它们。它们只是感觉神奇。快速意味着简单，这在代码和内容成为商品的世界中更为罕见。快速的软件无处可藏。网络调用和依赖通过延迟暴露出来，这种残酷的诚实迫使人们保持纪律。那些在快速方面做得很好公司往往有非常专注的产品。这是因为使软件快速的努力通常需要剥离非必要的功能。比较一下像 Linear 这样的精简项目管理工具的加载速度与像 Workday（或更糟的…Oracle）这样的企业应用。在一个沉迷于添加而不是提炼的世界中，速度成为了尊重的终极表达。它说，“我们深入思考了什么重要，消除了其他一切。”

为了使事情快速，你经常需要在幕后做一些复杂的事情。在 Cash App，我们非常小心地只在绝对需要时才在用户的旅程中引入额外的步骤，这意味着我们不得不在后台处理很多混乱。在这个采访中，Kevin Systrom 解释了 Instagram 如何乐观地上传用户的照片，而他们输入标题，使上传体验感觉瞬间。快速不仅仅是一个技术成就——它标志着优先级和专注。

快速也是有趣的。我们也喜欢快速，因为它很有趣！我们计算 WPM 打字速度，除了比其他人更快的乐趣之外，几乎没有什么好处。我们在新电脑上做的第一件事就是设置我们的热键，以便我们可以和上一次设置一样快。

快速是相对的。许多 LLM 增强的工作流程比它们的 LLM 前身快无数倍。要求 LLM 研究 6 分钟已经是比过去需要几天的报告快 10000 倍。

然而，对于任何编写代码的人来说，很明显我们离我们习惯的前一个软件时代的标准还很远。我们非常关注能力，我们不太关注性能或体验。我们接受这种笨拙，因为魔法仍然是新的，这没关系！它仍然比人类快得多。但我们现在用来构建、运行和部署 AI 应用的工具感觉与我们未来将拥有的开发者体验相去甚远。我们还没有开始优化成为优先级的阶段。

当我们这样做时，你会看到越来越多的公司优化低延迟、界面设计、连接性和可靠性。这反过来将解锁我们甚至还没有考虑过的新功能和用例。毕竟，最好的软件改变了我们的生活方式，我们围绕着感觉像超能力的软件构建我们的生活。

HN 热度 1488 points | 评论 423 comments | 作者：gaplong | 1 day ago #

https://news.ycombinator.com/item?id=44736967

• LLM 辅助工作流程常常较慢，IDE 的重构功能秒级完成，而代理类助手可能需要 15 分钟。
• 代理助手在编写 HTTP 端点时，虽然节省了大量时间，但逻辑复杂且错误处理不成功，最终需要手动重写。
• 与人类开发者相比，AI 代理在不同任务和不同时间的表现也有所不同。
• AI 代理比人类开发者响应更快，始终待命，没有竞争优先级，也不会对工作范围有所抱怨。
• 通过手机与 AI 代理集成，可以远程请求代码更改并进行代码审查，提高工作效率。
• 使用背景代理工具，可以在度假时远程进行代码更改和部署。
• AI 代理的工作质量需要检查，因为它们有时会出错，导致需要反复沟通，过程痛苦。
• 追求基准分数的 LLM 趋势可能不适合作为编程工具，因为它们的错误需要人工检查，导致效率低下。

Vibe code is legacy code #

https://blog.val.town/vibe-code

尽管普遍存在误解，但“vibe coding”（氛围编码）这个术语是由 Andrej Karpathy 创造的，它指的是一种 AI 辅助编码方式，让你“忘记代码的存在”。我们已经有了一个描述没有人理解的代码的术语：遗留代码。遗留代码普遍受到厌恶，这是有充分理由的。但是为什么呢？你不是有代码吗？你不能从那里理解它吗？错了。没有人理解的代码就是技术债务。要足够理解不熟悉的代码以调试它，更不用说在不引入新错误的情况下引入新功能，需要很多时间。

编程本质上是理论构建，而不是产生代码行。我们知道这一点。这就是为什么我们嘲笑那些试图用代码行数来衡量开发人员生产力的商业人士。当你进行 vibe 编码时，你正在以 LLM（大型语言模型）能够快速输出的速度积累技术债务。这就是为什么 vibe 编码非常适合原型和一次性项目：只有当你需要维护它时，它才成为遗留代码！

我已经愉快地进行了 vibe 编码，用于：

• 计算每周增长率
• 评价《纽约时报》的连接
• 向我的未婚妻求婚

我不需要继续开发这些应用程序，所以我不理解它们的代码并不是问题。这些应用程序也非常小，这意味着如果我需要在某个时候阅读代码，我并没有积累太多的债务。我能够比建造它们更快地进行 vibe 编码这些应用程序，这很有趣。

vibe 编码是一个你理解代码多少的谱系。你理解得越多，你就越不是在 vibe 编码。仅仅作为一个工程师，要求一个带有持久数据库的 Web 应用程序，你就已经比一个不了解 Web 应用程序和原生应用程序之间的区别，或者不了解持久数据存储如何工作的非程序员要求一个“应用程序”时 vibe 编码得少了。

最糟糕的情况是，一个非程序员进行 vibe 编码一个他们打算维护的大项目。这就像给一个孩子一张信用卡，而不先解释债务的概念。你可以想象，第一阶段是狂喜的。我可以挥舞这个小塑料片在商店里，拿走我想要的任何东西！这很像 AI 现在可以建造任何东西！没有人需要学习如何编码！看看它为我做了什么！

但如果你等一个月，你会得到信用卡账单。我真的需要买所有这些东西吗？我怎样才能摆脱这个困境？对于 vibe 编码器来说也是一样的。我的代码坏了。这些文件和文件夹到底是做什么的？我怎样才能修好这个？我能为我花在 vibe 编码上的 400 美元要求退款吗？如果你不理解代码，你唯一的选择就是让 AI 为你修复它，这就像用另一张信用卡还信用卡债务。

如果你在 2025 年构建一些你打算维护的严肃的东西，Andrej 是对的：[保持]对这个新的热情过度的初级实习生天才保持非常紧的控制，他拥有软件的百科全书式知识，但也总是胡说八道，有过多的勇气，对好代码几乎没有品味。强调要慢，防御性，小心，偏执，并且总是抓住内联学习的机会，不要委托。

在 Val Town，我们已经以数十种方式将 AI 构建到我们的产品中。Townie 是我们的 AI 助手，它积极地阅读和编写代码，运行它，查看日志，并不断迭代直到完成。Townie 是 vibe 编码的绝佳工具。我强烈推荐给理解这些权衡的人。我有时用它进行 vibe 编码。其他时候我把它紧紧地控制住，因为它对我的项目进行了外科手术般的编辑。两者都有趣且有用。

与 AI 一起编码的变化如此之快，以至于很难知道明天会带来什么，但我确信理论构建将仍然是构建复杂软件活动的中心。我们的技术专长仍然相关！我乐观地认为，AI 将继续以令人惊讶的方式使编程变得更好。但如果你认识任何非程序员今天花费数千美元进行 vibe 编码他们的十亿美元应用程序想法，请发送他们这篇文章。Vibe 编码不会让他们到达他们想去的地方。他们将不得不学会用他们的人眼阅读代码 😱，并且学会有时从头开始构建一个写得好的代码库比修复一个没有人理解的遗留代码更容易。

HN 热度 708 points | 评论 439 comments | 作者：simonw | 1 day ago #

https://news.ycombinator.com/item?id=44739556

• 朋友用 Replit 和 Supabase 搭建了一个 SaaS 应用，几乎没有营销就获得了收入，但代码质量差，容易被黑客攻击。
• 竞争对手可能雇佣黑客攻击 SaaS 应用，因为朋友的产品价格更低、更现代。
• 黑客攻击可能是因为网站被自动化漏洞扫描器标记为脆弱。
• 黑客攻击可能是为了声誉，例如通过获取 Stripe 密钥并退款来展示能力。
• 黑客攻击可能不仅仅是为了退款客户，还有其他目的，如测试盗用的信用卡。
• 许多网站和应用存在安全漏洞，但并非所有都会被利用。
• 即使是小网站，如果代码和部署维护做得不好，也可能遭受攻击。
• 有人可能因为“为了乐趣”而进行黑客攻击。
• 互联网上，新部署的服务器很快就会受到漏洞扫描器的注意。

Ollama’s new app #

https://ollama.com/blog/new-app

Ollama 的新应用现已在 macOS 和 Windows 平台上推出。这款新应用提供了一种更简便的方式与模型进行聊天。Ollama 的 macOS 和 Windows 版本现在包括了下载和与模型聊天的功能。

新应用支持文件拖放功能，使得与文本或 PDF 文件进行推理变得更加容易。对于处理大型文档，Ollama 的上下文长度可以在设置中增加。需要注意的是，这将需要更多的内存。

在 Ollama 的新多模态引擎的基础上，可以向支持图像的模型发送图片，例如 Google DeepMind 的 Gemma 3 模型。

代码文件可以被模型处理以实现理解。现在可以下载 Ollama 的新应用，适用于 macOS 和 Windows 平台。对于纯命令行界面版本的 Ollama，可以在 Ollama 的 GitHub 发布页面上找到独立的下载链接。

HN 热度 530 points | 评论 271 comments | 作者：BUFU | 1 day ago #

https://news.ycombinator.com/item?id=44739632

• Ollama 的新应用似乎从针对开发者转变为普通用户
• Ollama 的 CLI 版本在 GitHub 发布页面上仍然可用
• LM Studio 和 Msty 是两个优秀的本地 LLM 应用
• ChatGPT 桌面应用的快捷键打开新聊天功能对本地 LLM 应用很有用
• Ollama 是为开发者制作的，并且会持续改进其功能
• Ollama 没有提供 Linux 版本，这让一些开发者感到失望
• 有开发者 15 年来从未使用过 Linux GUI 应用
• Ollama 实际上有 Linux 客户端，但未在博客中提及
• 有开发者认为 Linux 开发者除了使用平铺窗口管理器外，不会使用其他任何东西
• Ollama 的更新和新功能显示了其对开发者需求的关注
• Ollama 默认选择了一个用户没有的模型，这让用户感到不便
• 用户建议下载图标应该可以直接点击以开始下载
• 用户喜欢 Ollama 的新 UI，并提出了改进下载和显示模型信息的建议
• 有用户询问 Ollama 的 GitHub CLI 是否会使用相同的模型
• 有用户好奇 Ollama 的使用方式和常用模型
• Ollama 没有更新模型，用户被迫使用其他应用
• 用户可以直接在 Hugging Face 上找到并部署 Ollama 支持的模型
• Ollama 支持新模型，如 235B 和 30B Qwen3
• Ollama 与大多数研究实验室和模型创建者直接合作，通常会在发布日支持新模型
• 用户希望能够直接添加模型到 Ollama
• 用户可以通过指定量化版本来获取任何 gguf 模型
• qwen3 模型最近更新了
• 工具调用功能可能不会很快为 Gemma3 模型启用
• gemma 3 模型不支持工具调用，Ollama 正在与 Google 合作以改进未来的模型

How was the Universal Pictures 1936 opening logo created? #

https://movies.stackexchange.com/questions/128020/how-was-the-universal-pictures-1936-opening-logo-created

这个网页讨论了环球影业（Universal Pictures）1936 年的开场标志是如何制作的。这个标志从 1936 年开始使用，并持续使用了几年。这个标志的设计与环球影业公司（Universal Pictures Corporation）更名为环球制作公司（Universal Productions Inc.）的时间相吻合，也被称为第七个标志。与之前的版本相比，这个标志有许多动态元素、透明度和反射效果，制作相当复杂。

网页上提到，这个标志的制作涉及到了真实的物理模型而非电脑生成的图像。亚历山大·戈利岑（Alexander Golitzen），一位在环球工作超过 30 年的著名艺术指导，采用了艺术装饰风格，并使用聚甲基丙烯酸甲酯（plexiglass）来制作标志。不同大小的旋转星星首先被拍摄，使用了最薄的聚甲基丙烯酸甲酯，顶部涂有一层薄薄的银激活硫化锌，这种材料具有很高的反射性，常用于 X 光和阴极射线管。

星星独立旋转，周围有几盏灯（其中两盏是移动的，围绕星星旋转）和一个非常紧的相机光圈，以便灯光和星星的反射能够沿着它们的长度移动。接下来，将星星与地球连接起来。地球内部涂有相同磷光材料，但稀释了一半，限制了其反射性。它被涂成黑色，消除了透明度。图像的第一次通过是在没有字母的情况下制作的，地球在 6 英尺的前投影屏幕前。

星星的影像被投射在地球上方，创造出壮观的光模式反射。接下来的通过使用了第二个地球——更大、抛光并涂成黑色。这个地球上有公司字母，并安装在金属杆上，手工旋转。特效艺术家约翰·富尔顿（John Fulton）以低角度拍摄旋转的地球，字母自我照明以高速（估计每秒 32 帧）。

这个图像然后被三重印刷在原始地球影像上，第一次是为了创造标题的反射，第二次是在地球或字母上没有灯光的情况下拍摄的。背景是一个后投影屏幕。这创造了地球的轮廓，用作覆盖最后一层——实际标题的遮罩。制作这个标志大约花费了半年时间。

根据戈利岑的说法，后来在环球电影《这个岛屿地球》（1955 年）中，这个地球被看到，覆盖着更小的球体，作为“Interociter”设备。

HN 热度 450 points | 评论 64 comments | 作者：azeemba | 13 hours ago #

https://news.ycombinator.com/item?id=44744454

• 制作魔法的秘密在于投入比任何合理人更多的努力，以至于没有合理人会认为你以困难的方式完成它。
• 《阿拉伯的劳伦斯》中有一个类似的原理，劳伦斯用指尖熄灭火柴作为炫耀的技巧，别人尝试后觉得痛苦，询问技巧时，他回答说“技巧，威廉·波特，是不在乎它痛”。
• 在《普罗米修斯》中，这个场景被用来强调一个安卓与船员行为不一致，不在乎后续行动的后果。
• 这个主题也出现在《致命魔术》中，尽管那些话可能不是最好的记忆。
• 劳伦斯的阿拉伯线来自 1962 年的电影，可能有人在此之前说过。
• BBC 1 ident 从 1960 年代到 1980 年代是一个物理模型，现场直播（甚至没有录制！）。
• 有人提到了 1960 年代的 BBC 1 ident，这是一个物理模型，现场直播，没有录制。
• 有人提到了 Noddy 摄像机，并提供了一个视频链接，展示了 Noddy 摄像机的工作原理。
• 有人提到了 4K 电视和 1080p 显示器之间的体验差异。
• 有人提到，许多广播公司要么不传输 4K，要么以极低的比特率编码他们的流，导致观看体验极差。
• 有人提到，观看曲棍球时注意到不同广播公司之间的质量差异。
• 有人提到，Apple TV 与 YouTube 之间，或 Crunchyroll 与 YouTube 之间的 4K 质量差异很大。
• 有人提到了《神秘博士》原始 1960 年代的开场，这是一个在当时令人震惊的创新。
• 有人提到 BBC Radiophonic Workshop 非常创新。
• 有人提到了 HBO“特色呈现”开场的制作，全部在数字/CGI 存在或可行之前使用微型模型和类似效果完成。
• 有人提到了 Universal Pictures 1936 年开场标志的创作过程，提到了 Art Deco 运动和 Golitzen 的贡献。

The Math Is Haunted #

https://overreacted.io/the-math-is-haunted/

Lean 是一种编程语言，主要由数学家使用，这很不寻常，因为它被设计用来形式化数学。Lean 允许数学家将数学视为代码——将其分解为结构、定理和证明，相互导入定理，并将其放在 GitHub 上。最终的目标是，人类大部分数学知识可以作为代码存在——静态检查、可验证和可组合。

使用 Lean 的感觉如何？文章给出了一个简单的定理，即 2 等于 2 的例子：

theorem two_eq_two : 2 = 2 := by
sorry

对于数学家来说，这个语法看起来像是在陈述一个定理。而对于程序员来说，这看起来像是函数。但是 2=2 如何成为类型？2=2 不就是布尔值吗？如果 2=2 真的是类型，那么这个类型的值是什么？这些问题很有趣，但我们现在必须暂时放下。

文章接着介绍了证明过程：

theorem two_eq_two : 2 = 2 := by
sorry

将光标放在"sorry"之前，会看到一个名为"Tactic state"的面板，显示 ⊢ 2 = 2，这里的 ⊢ 表示目标，即你打算证明的陈述。现在的目标是证明 2=2。

将光标放在"sorry"之后，目标消失了，意味着通过说"sorry”“证明”了 2=2。当然，这是无意义的，可以将"sorry"视为通用证明——它关闭了任何目标。它是一个谎言。在这个意义上，“sorry"就像 TypeScript 中的任何东西一样。它允许你抑制证明检查器，但你实际上没有展示任何有用的东西。

文章接着指导如何去掉"sorry”，实际证明 2=2：

theorem two_eq_two : 2 = 2 := by
rfl

这里的 rfl 表示“自反性”，来自“反射”，像镜像一样。每当你有像某物=某物这样的“镜像”目标时，rfl 就会关闭它。你可以将 rfl 视为内置的知识，即“一个事物等于它自己”。

文章还展示了如何引用已证明的事实：

theorem two_eq_two_again : 2 = 2 := by
exact two_eq_two

这里，two_eq_two_again 将证明委托给 two_eq_two，因为当前目标（⊢ 2 = 2）正是 two_eq_two 已经证明的。这对于程序员来说可能看起来像是返回函数调用的结果。

文章进一步讨论了使用 Lean 证明更复杂定理的过程，包括使用 tactics（策略）来关闭不同的目标。例如，rfl 可以关闭像 x=x 这样的目标，exact some_other_theorem 可以关闭已经证明的目标，而 sorry 可以关闭任何目标（但有风险）。

最后，文章讨论了数学的不确定性，指出数学不是一成不变的，你可以有自己的“闹鬼数学”。通过引入一个公理 math_is_haunted，使得 2=3，可以证明更多奇怪的事情，比如 2+2=6。这表明，如果数学中存在矛盾，我们可以证明任何东西。这让人不安，但实际上在 20 世纪初，集合论中就发现了这样的矛盾，后来通过选择不同的公理来“修补”。删除 math_is_haunted 公理后，依赖这个不良公理的证明也会被破坏，这是好事。

HN 热度 360 points | 评论 173 comments | 作者：danabramov | 1 day ago #

https://news.ycombinator.com/item?id=44739315

• 使用类似 Lean 的工具重写新闻和非虚构文章，将陈述视为需要证明的定理，并通过引用进行证明，可以获得带有“已证明”声明标记的文档版本。
• 将自然语言陈述形式化是一个困难重重的领域，因为需要精确定义身份、时间、因果等概念，以便事实之间可以相互关联或表达。
• 不同的逻辑形式适用于不同的上下文，例如身份的不同形式化。
• 混合不同逻辑的实践在模型检查社区中似乎进展顺利，但最好当这些不同的逻辑可以被简化为相同的原始数据结构时。
• 哲学家使用不同的逻辑来形式化涉及时间/模态/概率的不同类型的论证，这些逻辑并不十分“模块化”，不易混合。
• 从逻辑类型的角度来看，模态性可以被视为单子，因此“混合”模态性的问题与编程语言中组合单子的问题相似。
• 新闻中最重要的信念很少能通过一系列绝对陈述来证明，使用贝叶斯推理链的工具可能更有效。
• 使用概率和贝叶斯方法更新信念是避免经济非理性的唯一方法。
• 学习数学有助于提高非虚构写作的严谨性，例如检查逻辑链的完整性。
• 使用大型语言模型（LLMs）将这项任务程序化似乎是可行的，但幻觉问题对此计划有所阻碍。
• 存在依赖于逻辑链不完整的修辞技巧，使人们误以为存在逻辑结论，而实际上可能只是上下文松散相关，没有逻辑链。

I know when you’re vibe coding #

https://alexkondov.com/i-know-when-youre-vibe-coding/

我不应该关心代码是如何进入 IDE 的。无论是手写的、从论坛复制的、由 LLM 提示的，还是通过模拟无限时间让猴子产生解决方案得到的，我都不关心。我关心的是合并到代码库中的内容。当我点击“批准”按钮时，我心中只有几个担忧：它是否产生了正确的结果？下个季度人们能理解这个吗？他们能够改变它吗？

但最近，我开始注意到一些事情，这些事情立刻告诉我代码是由 LLM 编写的。不，我不是指那些重复的评论（我对那些无所谓），甚至不是他们如此喜欢的 switch 语句。

我知道代码是生成的，因为它的编写方式不是团队中的任何开发人员会采用的。它有效，清晰，经过测试，并且可维护。但它的编写方式没有遵循我们已经接受的项目约定。我知道它不是由人类编写的。

因为没有人会在项目中已经有一个数据获取库的情况下，编写一个涵盖所有边缘情况的 HTTP 获取实现。没有人会在我们已经有不同模块中的实用函数时实现一堆实用函数。没有人会在有模块级机制的情况下更改全局配置。没有人会在我们到处使用函数式方法时编写一个类。

我不想知道你是如何编写这个的。我只想知道你关心模型输出的内容。这是几年前你不会产生的代码。

我们花了几十年的时间来制定模式和标准，帮助我们构建可维护的软件。这一直是一个挑战——将一些东西投入生产，你可以在未来几年内照顾它。任何人都可以吐出一个工作的实现。你会缝合一个看起来像弗兰肯斯坦怪物的代码片段，这将完成工作。

我们一直在努力的部分是在推出后对它进行更改。

速度是最大的美德吗？

几天前，我在当地的咖啡馆，他们正在培训一个新的咖啡师。队伍很长，新来的家伙很吃惊，急忙制作下一杯咖啡，咖啡和牛奶洒了一地。

我们又回到了这个阶段，急于推出下一款软件，因为我们认为速度是最大的美德。但人们想要一杯好咖啡，即使他们需要等待一会儿。

我一直认为我会对那些寻找在电子表格中写更小数字的方法的财务人员感到愤怒，但我对那些为了加快软件开发速度而迅速抛弃所有原则的同行开发者感到失望。

我真正想要的

我不在乎代码是如何进入你的 IDE 的。

我希望你们关心。

我希望人们关心质量，我希望他们关心一致性，我希望他们关心他们工作的长期影响。LLMs 是工程奇迹，我对创造它们的人有最深的敬意。但我们仍然需要构建软件，而不是生产原型。

编写更好的提示。给出更好的描述。告诉 LLM 使用什么库。给它例子来遵循。编写更小的文件。没有新的原则——遵循已经存在的那些。

不要把代码库的可维护性留给模型的权重。

HN 热度 326 points | 评论 156 comments | 作者：thunderbong | 20 hours ago #

https://news.ycombinator.com/item?id=44742251

• 有些人在团队中会重复实现已有的功能或改变全局配置，因为他们不知道已有的工具和机制。
• 大型代码库如果文档不清晰，新贡献者可能会重新发明许多东西。
• 代码自文档化通常意味着没有文档，导致程序员花费大量时间理解代码。
• 代码审查是添加代码注释的好时机，可以发现代码中的难点和明显之处。
• 编写代码时同步编写文档可以减少技术债务，保持代码的灵活性。
• 有时候代码本身就是最好的技术文档，尤其是对于清晰编写的几何算法。
• 文档不仅仅是给开发者的，不同格式的文档对不同的人更有帮助。
• 代码文档应该帮助新开发者快速理解项目，然后引导他们去看代码。

Figma will IPO on July 31 #

https://www.figma.com/blog/ipo-pricing/

Figma 于 2025 年 7 月 30 日宣布了其首次公开募股（IPO）的定价。Figma 计划于 2025 年 7 月 31 日开始在纽约证券交易所以“FIG”为股票代码进行交易。Figma 是一个设计和产品开发平台，团队在此将创意转化为世界上最好的数字产品和体验。此次 IPO 将发行 36,937,080 股 A 类普通股，每股定价为 33.00 美元。

股票预计将于 2025 年 7 月 31 日在纽约证券交易所开始交易，预计于 2025 年 8 月 1 日完成发行，前提是满足常规的交割条件。此次发行包括 Figma 提供的 12,472,657 股 A 类普通股，以及 Figma 现有股东提供的 24,464,423 股 A 类普通股。此外，部分售股股东授予承销商 30 天的选择权，以 IPO 价格减去承销折扣和佣金，购买额外的 5,540,561 股 A 类普通股以覆盖超额分配。Figma 不会从售股股东出售的股份中获得任何收益。

摩根士丹利、高盛集团、Allen & Company LLC 和摩根大通是此次发行的联合主承销商。美国银行证券、富国证券和 RBC 资本市场是此次发行的承销商。William Blair 和 Wolfe | Nomura Alliance 是此次发行的联席副承销商。与这些证券相关的注册声明已于 2025 年 7 月 30 日被美国证券交易委员会宣布生效。此次发行仅通过招股说明书进行。最终招股说明书的副本可在以下方式获得：摩根士丹利、高盛集团、Allen & Company LLC 和摩根大通证券。

该新闻稿不构成出售要约或购买要约的邀请，也不构成在任何州或司法管辖区的证券出售，如果在此等州或司法管辖区未经注册或资格认证即进行此类要约、邀请或出售将违反该州或司法管辖区的证券法，则不得进行此类要约、邀请或出售。

Figma 成立于 2012 年，从一个设计工具发展成为一个连接的、由 AI 驱动的平台，帮助团队从创意到产品发货。无论是构思、设计、构建还是发货，Figma 使整个设计和产品开发过程更加协作、高效和有趣，同时确保每个人都在同一页面上。

HN 热度 322 points | 评论 226 comments | 作者：nevir | 1 day ago #

https://news.ycombinator.com/item?id=44740222

• Figma 作为一个工具，因其从一开始就使用网络应用而非本地重型桌面应用而广受欢迎，便于分享设计和协作。
• Figma 的成功证明了非技术人员并不关心是否为本地应用或文件存储在云端，只要网络应用做得好，如 Google Docs。
• Figma 的病毒式采用机制是 Adobe 产品无法实现的，因为 Figma 允许多人实时编辑和预览文档。
• Figma 的快速和响应性使其性能优于 Adobe Photoshop、Illustrator 等，更好地体现了原生软件的特点。
• 设计领域的独特性在于设计师不是创造最终资产，而是创造一个需要他人构建的资产蓝图，这推动了设计应用从本地应用向网络应用的转变。
• Figma 的简单性使其成为非专业用户和设计师都能使用的共同工具，这是其独特之处。
• 许多类型的工作不需要大型资产，但这些领域并没有像 Figma 这样流行的网络应用，可能是因为市场机会尚未出现或技术突破尚未到来。
• Figma 对响应性和帧率的重视使其即使作为网络技术也具有高性能。
• Figma 通过 WebAssembly 技术减少了加载时间，提高了性能。

I tried Servo #

https://www.spacebar.news/servo-undercover-web-browser-engine/

“一切都是铬在未来"是海绵宝宝在 1999 年的一集中所说的一句话，结果证明这是关于网络浏览器的预言。谷歌 Chrome 是世界上最受欢迎的浏览器，大多数竞争对手都基于相同的 Chromium 代码：微软 Edge、Vivaldi、Opera、Brave 和 Arc，只是举几个例子。主要的例外是 Safari 和 Firefox。

在千年之初，情况并非如此。互联网浏览器在 Windows 上使用自己的 Trident 引擎，在 Mac 上使用 Tasman，Opera 使用 Presto，一些嵌入式设备使用 NetFront，Netscape 拥有 Gecko，KDE 为 Konqueror 浏览器制作了 KHTML。这些浏览器最终消失或采用竞争引擎以简化开发。KHTML 是 Safari 的 WebKit 的基础，这反过来又成为 Chromium 的 Blink 引擎，Netscape 的 Gecko 引擎成为 Firefox 的基础。Opera 在 2013 年放弃了其定制的 Presto 引擎，转而使用 Chromium，微软 Edge 在 2020 年也采取了同样的举措。这对开放网络构成了多方面的威胁。如果只有一个标准的功能性实现，实现就成为标准。网络对谷歌来说就像 Java 对甲骨文一样。这也意味着 Chromium 的限制和安全漏洞影响大多数其他浏览器，这在谷歌最近的 Manifest V3 过渡中成为一个话题。

幸运的是，有一个替代浏览器引擎，有一天可能会让 Chrome、Safari 和 Firefox 感受到竞争压力，你可能从未听说过它。它叫做 Servo。

Servo 的目标是完全用 Rust 编程语言创建一个网络渲染引擎，这种语言围绕多线程操作和内存安全构建。第一个重要，因为现代 CPU 设计用于将工作分配到多个核心或线程。你可以将越多的渲染代码移动到并行操作，你获得的性能就越快。第二部分很重要，因为它减少了安全漏洞的潜力——Chromium 开发者曾说过“我们大约 70% 的严重安全漏洞是内存安全问题”。Servo 的独特之处还在于其他几个方面。它由 Linux 基金会欧洲管理，决策由技术指导委员会做出，而不是大科技公司。一个主要目标是成为一个“可嵌入的网络渲染引擎”，这意味着它不仅仅是为了浏览器——它可以替代 Electron 或 Android WebView。Servo 也是几十年来第一个全新的浏览器引擎，因此它在构建新基础的同时吸取了主流浏览器的经验教训。

目前还没有使用 Servo 的全功能网络浏览器，但你可以尝试使用 Windows、macOS、Android 和 Linux 的夜间快照。这些构建只是带有基本网络浏览器界面的引擎。没有数据同步、书签、扩展或其他任何东西。大多数网站至少有一些渲染漏洞，有些则完全坏了。谷歌搜索结果有许多重叠元素，MacRumors 首页在滚动后崩溃。像维基百科、CNN Lite、我的个人网站和仅限文本的 NPR 这样的网站工作得很好。

Servo 网站上还有一些演示页面，展示了引擎的图形能力。Dogemania 测试在我的 M4 Pro MacBook Pro 上以 60 FPS 的流畅速度运行，直到达到大约 400 张图片，而粒子物理测试平均约为 55 FPS。在同一台电脑上，Safari 18.5 可以处理 Dogemania 上的 1500 多张图片，大致上是 60 FPS 的粒子物理。由于 macOS 上还没有 ARM 构建，Servo 在 x86 仿真下运行，所以在性能上并不是完全公平的竞争。我还尝试了经典的 Acid3 测试，该测试于 2008 年创建，用于测试各种网络浏览器标准——互联网浏览器直到 2010 年末的 IE 9 beta 构建将分数推至 95/100，才获得了不及格的成绩。大多数现代浏览器得分约为 95 分，因为测试的一些元素现在已经坏了，但 Servo 稍落后于 83/100。Servo 在通用浏览方面还有很长的路要走，但我对它印象深刻。当前的路线图将 Shadow DOM 和 CSS Grid 列为优先事项，这应该会修复许多流行网站上的渲染问题，以及其他改进。

这里的情节转折是：Servo 最初是 Mozilla 项目。开发始于 2012 年，三星于 2013 年加入。计划围绕 Servo 开发一个基于 Android 的浏览器或其他应用程序，一旦技术得到证明和稳定，它可能会取代 Firefox 长期使用的 Gecko 引擎。Mozilla 后来决定用 Servo 代码替换 Gecko 的部分，而不是等待整个引擎成为一个直接替代品。2017 年的一篇博客文章将其描述为“在喷气机仍在飞行时更换喷气发动机”。Firefox 中被替换的第一个主要组件是 CSS 引擎，最终在 Firefox 57 发布时推出。Mozilla 将该更新昵称为 Firefox Quantum，基准测试显示浏览器明显更快，使用的 RAM 更少。慢慢替换 Firefox 的 Gecko 代码的计划似乎进展顺利，直到 Mozilla 在 2020 年裁员 250 名员工，包括许多负责 Servo 开发的开发人员。Mozilla 扔掉 Firefox 的技术未来，更不用说受裁员影响的工人，对我来说仍然令人困惑。五年后，Mozilla 的副项目仍然没有成功，公司进行了更多轮的裁员。Servo 项目在那一年的 11 月在 Linux 基金会重新组织，后来在 2023 年，它从 Igalia 和其他组织获得了新的支持，同时转移到了 Linux 基金会欧洲。Servo 获得了第二次生命的机会，开发相当活跃。

美国司法部目前正在结束对谷歌的法律诉讼，该诉讼指控谷歌通过 Chrome 和 Android 的流行维持搜索引擎的垄断。谷歌在法庭上败诉，司法部希望谷歌出售 Chrome 浏览器，并停止与其他浏览器的搜索引擎交易。Mozilla 要求此案的法官不要终止这些交易，因为谷歌在 Firefox 中的默认搜索引擎位置是 Mozilla 收入的绝大部分。该公司表示，它可能不得不“缩减运营并削减对关键项目如 Gecko 的支持，这是唯一与谷歌的 Chromium 和苹果的 WebKit 竞争的浏览器引擎”。

现在是博弈论时间。假设 Mozilla 失去了谷歌的支票，Firefox 转向 WebKit 或 Chromium/Blink 以节省开发成本。我确信有人会尝试分叉基于 Gecko 的 Firefox 并保持其在 Mozilla 之外的运行——也许是 Linux 基金会，也许是其他人。如果 Gecko 引擎像 Servo 一样归社区所有，也许可以恢复慢慢将 Gecko 变成 Servo 的原始计划。或者，Gecko 可能只是消失。WebKit 已经在 Linux 生态系统中建立，普通大众可能会继续使用 Chrome 和 Safari。尽管如此，思考这些可能性仍然很有趣。无论 Firefox 或 Gecko 发生什么，我都对 Servo 的下一步发展感到兴奋。

HN 热度 312 points | 评论 203 comments | 作者：robtherobber | 14 hours ago #

https://news.ycombinator.com/item?id=44744324

• Servo 项目正在推进 CSS Grid 支持，特别是命名网格线和区域，以改善网站布局
• Taffy 库被广泛用于 Rust UI 生态系统，包括 Blitz、Zed 和 Bevy 等项目，有助于模块化和独立使用
• Blitz 是一个较新且不太为人知的 Web 引擎，旨在灵活和可定制，以适应不同的用例
• 项目寻求更多贡献者，可以通过 GitHub 和 Discord 加入
• Blitz 的网络支持是一个抽象层，允许用户自定义实现，同时提供了默认选项
• 项目需要网络支持以测试和方便用户，默认使用 reqwest 库处理 HTTP、cookies 和表单编码
• 有人对 Blitz 表示赞赏和支持，认为它是对抗当前浏览器双寡头的重要选择
• 有人对 Rust UX 工具包的性能和开发效率表示怀疑，认为 JavaScript 框架虽然易于开发和招聘，但性能和资源占用不佳
• 有人建议使用即时模式工具包，如 Blender 或 Reaper，以获得更好的性能和原生控件
• 有人提到 Egui 和 Iced 等 Rust UX 工具包，但认为它们可能不适合构建复杂或图形密集型的应用程序
• 有人表示，要在跨平台上同时实现高性能和良好的开发体验几乎是不可能的，尤其是在使用非主流语言时

Many countries that said no to ChatControl in 2024 are now undecided #

https://digitalcourage.social/@echo_pbreyer/114946559233051667

digitalcourage.social 是众多独立 Mastodon 服务器之一，用户可以通过它参与 fediverse。这个实例由 Digitalcourage e.V. 为公众运营。为了可持续地运营，他们收取每年 1 欧元/月的年费，通过 SEPA 直接借记方式支付。

管理员是 Digitalcourage @digitalcourage。服务器的统计数据显示有 815 个活跃用户。digitalcourage.social 提供了关于、状态、用户目录、隐私政策等页面。Mastodon 提供了关于、获取应用、键盘快捷键、查看源代码等信息，当前版本为 v4.4.2。

Patrick Breyer @echo_pbreyer 在 Mastodon 上发布消息，提到许多在 2024 年反对 #ChatControl（聊天控制）的国家现在犹豫不决，尽管 2025 年的计划更加极端。投票将在 10 月进行，他呼吁大家告诉政府 #StopChatControl（停止聊天控制）。他提供了一个行动链接：https://chatcontrol.eu。

Sarah @xgebi 提问是否知道 10 月的具体日期，因为 10 月 3 日和 4 日捷克将举行议会选举，情况可能会有所变化。

Gonçalo Valério @dethos 表示遗憾，看到他的国家政府继续支持这种疯狂行为，即使在权力更迭过程中也是如此。他认为，总体而言，政治阶层对此事的影响理解不足，他们似乎只依赖于声明的意图，没有人对这个话题表现出兴趣。

Kierkegaanks @Kierkegaanks 表示，他不得不说那个页面是一个通讯噩梦。

Peter Motte @PeterMotte 询问 ChatControl 具体是什么意思。

Norbert @norberteder 表示 Chat Control 在奥地利也有计划。

Raphael Albert @r_alb 询问奥地利是否仍然反对或至少保持中立，因为奥地利政府似乎非常支持监控。

*Dark and and Stormy @darkandandstormy 指出奥地利从未真正反对聊天控制本身，而是反对 Ursula #vonderLeyen 负责此事。内政部长 Karner 作为 Engelbert Dollfuß 的最大粉丝，对德国权威有意见。因此，他成为了 #Chatcontrol Made In #Austria 的强烈支持者，希望由他来负责。由于青绿色的 ÖVP 仍在执政，Sebastian #Kurz 和 Peter #Thiel 的影响将始终存在，监控国家将会增长。

Al Ovchin @alovchin91 表示，作为荷兰公民他感到自豪，但他还是会再发送一封电子邮件，提醒为什么我们仍然应该反对它。

fuomag9 @fuomag9 表示在意大利，有一个由法西斯主义者组成的政府，他们不幸地喜欢这个计划。

hex_06 @ex_06 表示，如果我没记错的话，欧洲的选举有些不同，而且更多的是游说团体之间的分裂，而不是真正对政府的回应。无论如何，最好还是写信给代表。

vrtxd @vrtxd 表示他有色盲，地图对他来说没有意义。

Samir @thesdev 提供了替代文本。

Nick @nick 提出，包含的替代文本应该可以解决问题，否则检查操作系统/浏览器设置和过滤器或类似的东西以适应你的障碍。

Tom DB @TomDB 表示他也有同样的问题，不仅仅是因为色盲。

elexia @vrtxd 指出，实际上只是荷兰、波兰和奥地利反对/中立。

Chris Reinbothe @phneutral 确认 NL、AT 和 PL 反对/中立。

Rens @RensBloom 感谢提供信息，他之前完全看不到这些内容。

HN 热度 298 points | 评论 200 comments | 作者：nickslaughter02 | 13 hours ago #

https://news.ycombinator.com/item?id=44744715

• 反对 ChatControl 的个人行动困难重重，难以对抗有组织的游说。
• 立法过程中，100 万人每人损失 1 美元，100 人每人获益 10 万美元的情况很常见，普通民众难以反对。
• 尝试简化报税流程在美国总是失败。
• 直接向立法者表达意见是健康的，但有组织的游说活动使得民众难以对抗。
• 立法者理论上应该代表选民，但实际上游说活动可能影响他们的决策。
• 限制游说和竞选捐款，可能有助于减少金钱对政治的影响。
• 完全禁止游说可能导致极权主义，资本的影响不会流向民众，而是流向政府。
• 与立法者沟通并非游说，游说是指特殊利益集团资助人员与立法者接触。
• 直接民主是好的，一人一票对所有立法进行投票可能有效。
• 人们很难了解所有议题，容易受媒体影响，直接民主可能导致听起来合理的解决方案。

MacBook Pro Insomnia #

https://manuel.bernhardt.io/posts/2025-07-24-macbook-pro-insomnia

这篇文章讲述了作者的 MacBook Pro Silicon M1 Max 在使用几年后出现了电池在不连接电源的情况下夜间迅速耗尽的问题。为了解决这个问题，作者开始进行研究。

在 MacOS 系统中，可以通过终端命令 pmset -g log 查看与电源管理相关的日志。这些日志信息非常详细，但不易阅读，因此作者编写了一个小程序来分析日志。尽管这个工具只提供了有限的帮助，作者还是尝试调整了一些设置，如 tcpkeepalive，但效果并不明显。

进一步的调查让作者了解到 Sleep Aid 这个工具，它可以更直观地显示唤醒事件，并且有一个简洁的界面来更改设置。在作者的情况下，“Wake for maintenance”选项被禁用了，Sleep Aid 在设置界面中提示这可能导致频繁的唤醒事件。重新启用这个设置后，作者的 MacBook Pro 在不插电的情况下夜间不再迅速耗尽电池。

文章还提到了硬件、macos 等相关内容，并提到了作者的其他一些活动，如潜水等。

HN 热度 294 points | 评论 156 comments | 作者：speckx | 10 hours ago #

https://news.ycombinator.com/item?id=44745897

• 有些应用会阻止 macOS 进入睡眠状态，如 Devonthink，用户希望苹果能有相关提示。
• 苹果的电源管理应该对阻止睡眠的应用有所警示，尤其是当应用导致电脑过热或电池耗尽时。
• 有些用户需要在关闭笔记本盖子时让电脑继续运行，如 Amphetamine 这样的应用可以提供这样的功能。
• 苹果硬件层面上在关闭盖子时会禁用麦克风，因此需要使用外接麦克风。
• 有些用户将 Mac 连接到外部显示器和键盘时，会保持盖子关闭。
• 用户希望可以选择是否让应用阻止睡眠，而不是默认允许。
• 有些用户建议使用 Amphetamine 应用来控制哪些应用可以在睡眠时运行。
• 有些用户认为应用阻止睡眠的行为应该需要用户明确的权限控制。
• 用户发现 Safari 的 Energy 标签下可以查看阻止睡眠的子进程，包括具体标签页。
• 有些用户认为应用阻止睡眠的行为应该更加透明，用户应该有控制权。

Hacker News 精彩评论及翻译 #

Vibe code is legacy code #

https://news.ycombinator.com/item?id=44740554

I would not default to assuming it was his competitors, that sounds like scapegoating to deflect responsibility. What most likely happened is his site was scanned by one of the increasingly sophisticated exploit crawlers (anyone who runs an internet facing site and can view traffic knows what I’m talking about). His site got flagged as vulnerable, the hacker found out it was built like swiss cheese and had fun with it.

WD-42

我不会立刻就断定是他的竞争对手所为，这听起来像是为了推卸责任而找的替罪羊。很有可能发生的情况是，他的网站被一个日益精密的漏洞扫描爬虫扫描了（任何一个运营着对外发布的网站且能查看流量来源的人，都明白我在说什么）。他的网站被标记为有漏洞，黑客发现它漏洞百出，于是便乐在其中地黑进去了。

EU age verification app to ban any Android system … #

https://news.ycombinator.com/item?id=44706081

“Device security checks” is the most horrifying aspect as it basically means “officially sanctioned hardware and software”, and leads straight into the dystopia that Stallman warned us about in Right to Read.

There is some amusing irony in the EU relying on the US for furthering its own authoritarianism. It’s unfortunate that freedom (in the classic rebellious, American sense) never became that popular in the EU, or for that matter, the UK.

userbinator

“设备安全检查”这一点最令人不寒而栗，因为它基本上就意味着“官方批准的硬件和软件”，而这直接将我们引向了斯托曼在《阅读的权利》一文中所警告的那种反乌托邦。

欧盟竟然要依靠美国来推行自己的威权主义，这颇具讽刺意味。遗憾的是，那种经典而叛逆的美式自由理念，在欧盟乃至英国都未能真正流行开来。

Sleep all comes down to the mitochondria #

https://news.ycombinator.com/item?id=44732539

So the ancient mystery of why we need sleep might have just been answered.

I would be very surprised if sleep would serve only one purpose. In complex interconnected systems you usually don’t get far with monocausal explanations.

kbrkbr

那么关于我们为何需要睡眠的古老之谜，如今可能有了答案。要是睡眠只服务于单一的目的，我肯定会非常惊讶。在复杂互连的系统里，单因果的解释通常是行不通的。

Do not download the app, use the website #

https://news.ycombinator.com/item?id=44690092

I cannot agree more and this has always been a pet peeve of mine.

Most native apps are some half gig large where even the heaviest website is a few mb. They dont let you highlight text and have other bizarre design choices. Even worse, they request importing contacts list which isnt even an option on the web.

Native apps could be butter but more often than not they are like margarine. Smooth, oily, and not good for you.

rustystump

我完全同意，这也一直是我的一大心病。

大多数原生应用都有半G大小，就算是最臃肿的网站也只不过是几兆而已。它们不能选中文本，还有其他一些离谱的设计选项。更糟糕的是，它们会要求你导入通讯录，但网页端根本没有这个选项。

原生应用本可以像黄油一样，但更多时候它们却像人造黄油。顺滑，油腻，而且对健康无益。

‘I witnessed war crimes’ in Gaza – former worker a… #

https://news.ycombinator.com/item?id=44715162

Does anyone still need testimonies like these to be convinced that Israel is systematically exterminating the Palestinians using kinetic force and starvation? We’re past that point now. Making Gaza unlivable by carpet-bombing the strip, telegraphing mass murder in unambiguous statements at the highest levels of government, dehumanizing the Palestinians and silencing anyone who dares to speak up?

I, for one, am thankful this hasn’t been taken down like any article remotely critical of Israel.

And this has eliminated the whole Western bullshit about human rights maximalism - it’s just the same damn thing every time. Like the atrocities in the Congo free State, the Scramble for Africa, etc. the West will sponsor unspeakable atrocities overseas and then act shocked when they actually happen.

Many people in the West don’t realize it, but Palestine will wreck severe damage on the West. Just like Gorbachev visiting a random store in the US and seeing insane abundance in a shop in the middle of nowhere while Soviet citizens starved, what killed the Soviet Union was disillusion; people at all levels realized that a system that couldn’t provide its people the basics didn’t deserve to exist.

That’s what happening in the West: American GWOT veterans are still feeling disillusioned about what they went to do in Iraq & Afg. (and Vietnam, before it), and now their kids are seriously asking, “Are we the baddies?”

What’s the point of this industrial capacity and wealth if all we do with it is bomb kids? No political system can survive disillusion, that is, the point where people across the spectrum start seeing their nation as hypocritical.

churchill

难道还有人需要这样的证词才能确信，以色列正在用军事武力和饥饿系统性灭绝巴勒斯坦人吗？我们现在早就过了那个阶段了。通过地毯式轰炸加沙地带使其不再适宜居住，在政府最高层发表明确预告大屠杀的言论，去人性化对待巴勒斯坦人，并压制任何敢于发声的人？

就我个人而言，我很庆幸这篇东西没有被删掉，毕竟任何哪怕有一点点批评以色列的文章都可能被下架。

这彻底终结了西方关于人权最大主义的屁话——每次都是他妈的同一套。就像刚果自由邦的暴行、瓜分非洲时期等等，西方会在海外赞助难以言喻的暴行，然后在真的发生时又假装震惊。

许多西方人没有意识到，但巴勒斯坦问题将对西方造成严重损害。就像戈尔巴乔夫访问美国一家普通商店，在荒郊野岭的店里看到难以置信的商品丰富，而苏联公民却在挨饿，最终导致苏联灭亡的是幻灭——各个层面的人都意识到，一个无法为人民提供基本生存所需的社会制度不值得存在。

西方现在正在发生同样的情况：美国全球反恐战争的老兵们对他们曾在伊拉克和阿富汗（以及更早的越南）所做的事仍然感到幻灭，而现在他们的孩子们在认真地问：“我们才是坏人吗？”

如果我们用这些工业能力和财富唯一做的就是轰炸孩子，那这些东西又有什么意义？没有哪个政治系统能够承受幻灭的打击，也就是当各个层面的人都开始认为自己的国家是虚伪的那一刻。

Claude Code weekly rate limits #

https://news.ycombinator.com/item?id=44714494

I’m probably not going to hit the weekly limit, but it makes me nervous that the limit is weekly as opposed to every 36 hours or something. If I do hit the limit, that’s it for the entire week —a long time to be without a tool I’ve grown accustomed to!

I feel like someone is going to reply that I’m too reliant on Claude or something. Maybe that’s true, but I’d feel the same about the prospect of loosing ripgrep for a week, or whatever. Loosing it for a couple of days is more palatable.

Also, I find it notable they said this will affect “less than 5% of users”. I’m used to these types of announcements claiming they’ll affect less than 1%. Anthropic is saying that one out of every 20 users will hit the new limit.

Wowfunhappy

我可能不会达到每周的使用限额，但这个限额是每周更新，而不是每36小时就更新一次，这让我有点紧张。如果我真的达到了限额，那整整一周我都用不了了——这么久不能使用一个我已经习惯的工具，时间可太长了！

我感觉肯定会有人回复我，说我是不是太依赖Claude了。或许吧，但如果让我失去ripgrep一星期，或者任何其他工具，我也会这么感觉。失去它几天的话，还能接受。

另外，我注意到，他们说这只会影响到“不到5%的用户”。我习惯了这类公告，通常它们会说影响不到1%。Anthropic这句话的意思就是，每20个用户里就会有1个会达到新的限额。

AMD CEO sees chips from TSMC’s US plant costing 5%… #

https://news.ycombinator.com/item?id=44676704

If that is the cost of keeping the value within the western economies, we should pay. Plain and simple. I’d even argue it’s cheap.

avhception

如果这是为了让价值留在西方经济体内部所必须付出的代价，那我们就该付。就这么简单。我甚至会说，这很划算。

Visa and Mastercard are getting overwhelmed by gam… #

https://news.ycombinator.com/item?id=44713909

It’s crazy that we live in a world where maybe a few dozen people’s weird ideas about what shouldn’t be allowed can cause payment processors to pressure the storefronts to delist the titles. It is censorship of something they personally find distasteful. guess what: nobody is forcing you to play weird art games about trauma.

obviously we must keep the pressure up on payment processors to reverse course, but we also need to push back against people in society who think they can decide what other adults are allowed to do on their own time. If folks IRL have weird ideas pushed back on IRL we wouldn’t get to crisis points like this.

Kapura

我们竟然生活在一个世界里，仅仅几十个关于“什么不该被允许”的怪念头，就能让支付处理器向商店施压，下架这些作品。这就是对他们个人觉得厌恶的东西进行的审查。告诉你，没人强迫你去玩那些关于创伤的奇怪艺术游戏。

显然，我们必须继续向支付处理器施压，让他们改变方针，但同时我们也需要反击社会中那些认为可以决定其他成年人在自己时间里做什么的人。如果人们在现实世界中当场对这些怪念头进行抵制，我们也就不会陷入如今这样的危机。

Return of wolves to Yellowstone has led to a surge… #

https://news.ycombinator.com/item?id=44701025

It’s amazing the impact that the reintroduction has had. On a recent winter trip there I also learned that the reintroduction literally moved rivers [1]:

• Elk quit loitering along streams, so willow and cottonwood shot up, anchoring soil and narrowing channels.

• The new woody growth gave beavers lumber; their colonies jumped from one in 1996 to a dozen within fifteen years, raising water tables and rebuilding wetlands.

• With healthier riparian zones came deeper pools, colder water, and a surge in native trout and song-bird nests.

[1] https://phys.org/news/2025-02-predators-ecosystems-yellowstone-wolves-carnivores.html

mkw5053

重引入计划所带来的影响真是太惊人了。我最近在那里冬游时了解到，重引入工程竟然真的改变了河流的走向：

• 麋鹿不再在溪流边徘徊，柳树和棉白杨因此得以疯长，它们稳固了土壤，也收窄了河道。
• 新长出的木本植物为河狸提供了木材，它们的族群也从1996年的一个激增至十五年后的十几个，从而抬升了地下水位，重建了湿地。
• 随着河岸生态越来越好，潭水变深，水温降低，本地鳟鱼和鸣鸟的筑巢数量也随之激增。

Fast #

https://news.ycombinator.com/item?id=44739199

Just want to say how much I thank YCom for not f’ing up the HN interface, and keeping it fast.

I distinctly remember when Slashdot committed suicide. They had an interface that was very easy for me to scan and find high value comments, and in the name of “modern UI” or some other nonsense needed to keep a few designers employed, completely revamped it so that it had a ton of whitespace and made it basically impossible for me to skim the comments.

I think I tried it for about 3 days before I gave up, and I was a daily Slashdot reader before then.

hn_throwaway_99

就是想表达我有多感谢Y Combinator没把HN界面搞砸，还保持它快速。

我记得清清楚楚，当Slashdot自毁的时候。他们之前的界面让我非常容易浏览扫描并找到高质量评论，但为了所谓的“现代UI”或者其他需要养几个设计师的无意义理由，他们彻底改版了，搞得界面大量留白，让我基本上没法快速浏览评论。

我记得大概试了3天就放弃了，而在此之前我可是Slashdot的每日读者。

Steam, Itch.io are pulling ‘porn’ games. Critics s… #

https://news.ycombinator.com/item?id=44686753

What is wrong with these people who try to block certain content?

Don’t like porn? Don’t buy it. Simple as that. No one, including governments or payment processors, should be in the position to decide whether a platform can sell something or not.

I wish there was a payment processor who was brave enough to say a big fucking NO to censorship.

can16358p

那些试图封锁某些内容的人到底怎么想的？ 不喜欢色情内容？那就不买。就这么简单。无论是政府还是支付处理机构，任何人都不该有权决定一个平台是否可以销售某样东西。 我真希望有支付处理机构敢于对审查制度大声说一句“去他妈的！”。

Debian switches to 64-bit time for everything #

https://news.ycombinator.com/item?id=44709842

They’re just kicking the can down the road. What will people do on December 4, 292277026596, at 15:30:07 UTC?

efitz

他们只是在踢皮球。在协调世界时 292277026596 年 12 月 4 日 15:30:07，人们会做什么？