一项新研究得出结论，由于气候变化，新奥尔良已经到达“无法挽回的临界点”，预测该城市在几十年内很可能被墨西哥湾包围。海平面上升，加上湿地侵蚀和路易斯安那州海岸线下沉（石油和天然气行业活动造成的后果），构成了生存威胁，尽管卡特里娜飓风后花费了数十亿美元用于筑堤。 该研究将当前变暖趋势与12.5万年前的类似时期进行比较，预测海平面将上升3-7米，并失去大部分剩余的沿海湿地，可能导致人口向内陆迁移高达100公里。专家呼吁立即启动协调的搬迁计划，从弱势社区开始。 虽然减缓措施至关重要，但该研究认为撤退现在是不可避免的。最近的决定，例如取消旨在重建陆地的重大泥沙疏导项目，以及对石油公司在海岸破坏方面的责任的质疑，加速了这一时间表。尽管过去曾进行过社区搬迁，但如此大规模的城市搬迁前所未有，而政治上不愿承认新奥尔良的“绝症”阻碍了积极的规划。
每日HackerNews RSS
## 新奥尔良因海平面上升面临不可避免的搬迁
一则黑客新闻讨论围绕《卫报》的一篇文章展开，该文章强调新奥尔良需要开始规划搬迁，因为海平面上升正在加速。专家警告说，即使立即停止气候变化，这座城市也正面临“无法挽回的临界点”。
评论员承认这场危机早已预见，并提到了过去的分析以及未能实施像荷兰成功使用的那样预防措施。核心问题是多种因素的结合：房产价值损失、社区联系以及搬迁的经济负担，特别是对于低收入居民而言。
许多人认为个人行动——主动出售房产——是可行的，但将其扩大到人口层面存在问题。有人提出了系统性解决方案，例如政府收购和土地保护，但面临政治障碍。一种普遍的悲观情绪是，一些人指出迈阿密的情况类似，并质疑美国有效应对如此大规模挑战的能力。最终，这场讨论强调了适应气候变化的艰难现实以及有计划撤退所带来的复杂社会和经济影响。
代理技能
Agent Skills
2 天前
## 代理技能：人工智能时代重拾资深工程师的技能 人工智能编码代理擅长生成代码，但本质上会跳过关键的资深工程师实践——规格说明、测试、审查和范围控制——只专注于完成任务。代理技能项目旨在解决这个问题，本质上是将可靠软件与错误代码区分开来的“隐形”工作重新补上。 核心思想是为代理提供结构化的*工作流程*（“技能”）——定义清晰的退出标准的逐步流程的 Markdown 文件——而不是冗长的文档，后者很可能被忽略。这些技能涵盖了整个 SDLC：定义、规划、构建、验证、审查和发布。 关键原则包括优先考虑**流程而非文档**，使用**反合理化表**来对抗跳过步骤的常见借口，要求**具体的验证**，采用**渐进式披露**来管理上下文长度，以及执行严格的**范围控制**。该项目大量借鉴了成熟的工程实践，例如 Google 的实践（Hyrum 定律、测试金字塔、代码审查规范）。 用户可以通过市场或直接实施这些工作流程来集成代理技能。然而，作者强调，即使*阅读*这些技能也能深入了解如何为人工智能辅助开发构建强大的工程流程，重点是将基本且常常被忽视的工作变得不可协商。最终目标是确保人工智能代理体现资深工程师的纪律性，而不仅仅是初级工程师的速度。
## 代理技能与人工智能辅助开发未来 - 摘要
这次Hacker News讨论的核心是“代理技能”，一种用于构建与LLM交互的框架，旨在改进代码生成和任务完成。其核心思想是为LLM提供明确的“技能”——概述特定任务和流程的markdown文件，而不是依赖于自由形式的提示。
一个关键的争论点在于这种方法是否真正有价值，或者只是“骗局”。怀疑者认为LLM不可靠，不能严格遵守规则，并且仍然需要人工监督，这可能会抵消生产力提升。而另一些人，他们拥有使用类似工具（如spec-kit）的实践经验，报告了显著的益处，并指出LLM的能力正在迅速提高。
许多评论员强调了明确定义流程的重要性，这反映了成熟的软件开发最佳实践。大家普遍认为，成功的代理工作流需要仔细的基准测试，并且没有一刀切的解决方案。有些人将其比作过去的科技炒作，而另一些人则认为这是软件构建方式的一次根本性转变，可以加速开发，并使工程师能够专注于更高级的任务。讨论还涉及自动化与人工控制之间的平衡，以及持续迭代和适应的必要性。
## 人工智能时代工作的意义
强大的AI工具的兴起引发了一种出乎意料的不安：尽管生产力提高，但人们对工作的参与感却在减弱。这种感觉源于AI能够绕过至关重要的“任务启动包”——启动某项工作时所固有的精力投入、身份认同和冒险精神，而意义正是在这里形成的。
虽然AI擅长*执行*，但它却省略了投入的过程。与传统的效率建议（“最难的部分是开始”）不同，AI让开始变得毫不费力，但由于所有权降低，完成反而变得更加困难。这种脱节可能会导致倦怠，因为工作感觉缺乏意义。
AI对于我们*不*太在意的事情很有价值，但对于那些重要的事情，我们不应轻易地委托初始的、充满阻力的阶段。作者提倡一种协作的方法——将AI用作思考伙伴和编辑，但要坚定地保护个人启动和整合的核心过程。
最终，随着AI处理更多的工作，工作中独特的、人性化的方面——渴望、行动和拥有——将变得*更加*重要。支持这种投入、培养集体勇气和拥抱阻力的产品，对于实现充实的工作未来至关重要。
## 苹果网络服务器 ROM：2.0 更新 最近的发现延续了苹果网络服务器 (ANS) ROM 的故事，最初的设想并非仅用于 AIX。虽然早期的 ROM 允许启动 Mac OS，但后来的“2.0”ROM 承诺对 Mac OS 提供原生支持，包括利用 ANS 独特的硬件——板载图形和快速 SCSI——而无需变通方法。 测试结果好坏参半。2.0 ROM *确实* 可以直接从内部驱动器启动 Mac OS 9.1，这是早期版本无法实现的。然而，性能明显 *低于* 预生产 ROM，受到 L2 缓存检测问题以及潜在的 RAM 速度影响。尝试启动 Rhapsody（Mac OS X 的前身）也失败了，并出现内核崩溃。 有趣的是，2.0 ROM 表现出一些怪癖——前置 LCD 屏幕为空白，以及更快的启动过程——表明它是不完整的。虽然它在硬件支持方面提供了便利，但巨大的性能损失使得预生产 ROM 成为在 ANS 上运行 Mac OS 的首选。 人们仍在继续寻找可能改进的 2.0 ROM 版本，并且正在努力为旧 ROM 打补丁以提高稳定性。尽管遭遇挫折，但持续的探索为苹果雄心勃勃但寿命短暂的 Unix 服务器历史增添了新的篇章。
启用 JavaScript 和 Cookie 以继续。
``` [提交于2025年10月22日 (v1)，最后修改于2025年10月23日 (此版本，v2)] 查看论文PDF：标题为“Transformers本质上是简洁的”，作者为Pascal Bergsträßer和其他2人。 查看PDF HTML (实验性) 摘要：我们提出简洁性作为衡量Transformer描述概念表达能力的标准。为此，我们证明了Transformer具有很强的表达能力，它们可以用比有限自动机和线性时间逻辑 (LTL) 公式等形式语言的标准表示方法更简洁的方式表示形式语言。 作为这种表达能力的副产品，我们表明验证Transformer的属性是可证明的不可计算的（即EXPSPACE-完全）。 来自：Pascal Bergsträßer [查看邮箱] [v1] 2025年10月22日 星期三 07:25:54 UTC (28 KB) [v2] 2025年10月23日 星期四 08:09:19 UTC (28 KB) ```
启用 JavaScript 和 Cookie 以继续。
谷歌将结束开发者对完整网络搜索索引的免费访问，这将影响依赖可编程搜索引擎的用户。新的引擎将仅限于搜索50个域名，现有用户超过此限制或使用“搜索整个网络”选项的，必须在2027年1月1日前迁移到付费方案。 谷歌推广Vertex AI Search，这是一种基于云的AI服务，提供对话搜索等功能。继续访问完整索引的定制定价可按需提供，预计费用约为先前每1000次请求5美元。Custom Search JSON API也将停止服务。 这一变化给依赖免费服务的独立开发者、教育机构和非营利组织带来压力，可能需要大量的代码更新或替代方案，如Meilisearch或Common Crawl。 欧盟也开始担忧这可能涉及反垄断问题，因为谷歌控制着对网络搜索的访问。谷歌辩称此举是为了简化产品，专注于提高产品质量。
飞盘是一个你可以抛出标签的工具，它会返回校验和。
Frizbee is a tool you may throw a tag at and it comes back with a checksum
2 天前
## Frizbee：用于 GitHub Actions 和容器镜像的校验和工具
Frizbee 是一个命令行工具和 Go 库，旨在增强 CI/CD 管道的安全性和可靠性。它基于标签为 GitHub Actions 和容器镜像生成校验和（摘要），确保内容完整性。
**主要特性：**
* **校验和生成：** 为 Actions 和镜像中使用的标签提供摘要。
* **自动替换：** 自动更新工作流文件 (`.github/workflows/`) 和 YAML 文件中的引用，以使用这些摘要，防止意外更改。支持模拟运行模式和 CI/CD 集成。
* **镜像支持：** 适用于来自 ghcr.io 等注册表的容器镜像。
* **库功能：** 提供强大的 Go 库，用于以编程方式访问标签和校验和处理。
* **配置：** 可通过 `.frizbee.yml` 文件自定义，以排除特定的 Actions、分支、镜像或标签。
**安装：** 可通过 Go、Homebrew 和 Winget 安装。
Frizbee 是一个开源项目，由社区积极维护，并采用 Apache 2.0 许可。他们的 Discord 服务器提供支持和讨论。
## rubyfmt：格式化Stripe庞大的Ruby代码库 这篇Stripe工程博客文章详细介绍了“rubyfmt”的故事，这是一个工具，旨在自动格式化他们2500万行的Ruby代码库，并在一夜之间完成。面对阻碍开发者效率的不一致格式，Stripe选择了一次性、自动化的重新格式化，而不是逐步的更改。 文章强调了格式化如此大型代码库的挑战以及所取得的收益——提高了可读性、简化了代码审查以及提供了一致的开发者体验。 除了博客之外，Stripe还为开发者提供了资源，包括文档、YouTube教程、Github仓库（可能包含rubyfmt）以及通过Discord和本地聚会进行交流的机会。这是Stripe更广泛关注开发者生产力以及扩展其工程努力的一部分。相关文章涵盖了选择性测试执行和配置开发堆栈等主题。
## Stripe 的 2500 万行代码库格式化
Stripe 最近“一夜之间”重新格式化了其整个 2500 万行代码库，以提高可读性并减少合并冲突。 这引发了关于最佳方法的争论——大规模的一次性更改与增量格式化——以及在人工智能时代代码格式化的价值。
许多评论者分享了类似的迁移经验，强调了工具的重要性（例如 Stripe 的理智检查，用于验证只有空格发生了变化）以及仔细的计划以避免中断正在进行的工作。 一些人提倡增量格式化，将格式化程序应用于未触碰的文件中的开放 PR，而另一些人则更喜欢“大爆炸”方法，以便获得清晰的“前”和“后”状态。
对话还涉及了语言选择（Ruby，带有 Sorbet 类型检查），令人惊讶的格式化工具速度（如 clang-format），以及人工智能可能受益于或使格式化过时的可能性。 最终，共识倾向于人类可读代码对开发人员和人工智能工具的价值。