每日HackerNews RSS
## 霍尔木兹海峡状况：基于数据的观察
一名开发者创建了一个网站（ishormuzopenyet.com）来追踪霍尔木兹海峡的状况，其动机是希望可视化数据。该项目面临挑战：实时船舶追踪API费用高昂，而来自MarineTraffic和portwatch.imf.org等公共来源的数据存在显著延迟（最多4天）。
该网站最初旨在利用实时船舶追踪，但后来转向使用可用的、尽管有延迟的数据。讨论探讨了替代数据来源，如卫星图像（但船舶可能禁用应答器）、预测市场（Polymarket），甚至AI代理来抓取数据。人们对延迟数据的准确性和与地缘政治事件相关的预测市场获利的伦理影响表示担忧。
最终，该网站基于现有信息提供快照，并承认其局限性。开发者愿意接受更好的数据来源和潜在的赞助，以改进该项目。情况进一步复杂化在于，有报告称船舶关闭了追踪信号，并且可能存在干扰数据完整性的情况。
这篇帖子深入探讨了J语言中的`Grade Up` (⍋) 和 `Grade Down` (⍒) 运算符，起因于Paul Mansour提出的一个挑战。作者证明，这两个运算符不仅仅是逆置换，而是从根本上与数组中项目的排名有关。 “项目”被定义为沿着第一个轴的子数组（矩阵中的行，向量中的元素）。项目的*排名*是数组排序后的位置。`Grade Up` 返回给定排名的项目的索引，而 `Grade Down` 则以降序执行相同的操作。 作者建立了一种符号 `<i, j>` 来表示项目原始索引 (i) 与其排名 (j) 之间的关系。通过这种方式，他们展示了如何将 `Grade Up` 和 `Grade Down` 结合起来产生四种不同的操作：升序/降序排名和升序/降序逆排名。本质上，前导 `Grade` 决定顺序（升序/降序），而尾随 `Grade` 决定是使用排名还是逆排名。 最后，帖子指出一个细微之处：当数组项目相等时，排名 + 逆排名不是常数，这突出了同时拥有这两个原语的效用，正如Mansour在AverageRank方面的工作所利用的那样。
对不起。
请启用 JavaScript 并禁用任何广告拦截器。
## 寻找中本聪：摘要
最近一篇《纽约时报》的文章再次引发了对揭开比特币创始人中本聪身份的数十年追寻，强烈暗示英国密码学家亚当·贝克是可能的候选人。这项调查由记者约翰·卡雷鲁（以揭露Theranos而闻名）领导，依赖于大量的间接证据和风格分析，尽管缺乏明确的“铁证”。
文章详细介绍了作者如何排除其他知名嫌疑人，包括尼克·萨博，引用了最近关于比特币技术方面的在线辩论中揭示的不一致之处。虽然承认证据并非决定性的，但作者强调了贝克的活动模式、拒绝提供电子邮件元数据以及保持匿名可能存在的法律动机的重要性。
该报告引发了争论，一些人质疑其方法论——特别是对风格相似性的依赖——并认为这可能是中本聪故意误导的策略。另一些人则指出贝克之前在密码学方面的工作以及他从在线讨论中消失的时间与中本聪的活动相吻合，这被认为是令人信服的证据。最终，这篇文章呈现了一个详细的案例，但仍未解开中本聪的谜团，突出了揭开一项革命性且故意匿名的技术背后身份的复杂性。
## 人工智能的巨大飞跃
人们对中国1958年的灾难性“大跃进”与当前企业普遍推动人工智能采用的情况之间存在令人担忧的相似之处。 正如毛泽东要求不合格的农民生产不切实际的钢铁一样，如今的企业要求在所有职能部门整合人工智能，但往往缺乏必要的专业知识。 这导致了“自制人工智能”——表面上令人印象深刻的输出，但缺乏真正的实质或验证。
核心问题是优先考虑*看起来*具有创新性，而不是*真正*具有创新性。 团队受到压力，需要报告收益——虚增的自动化百分比、缩短的开发时间——而没有严格的衡量，这反映了过去虚报的粮食产量。 这助长了表演式人工智能的竞争循环，这种人工智能往往建立在不稳定的基础上，并隐藏着复杂的内部运作。
就像消灭麻雀和释放蝗虫一样，公司通过移除经验丰富的员工（中层管理人员、质量保证人员）来简化流程，认为人工智能会弥补，结果却发现关键的机构知识丢失了。 此外，员工被激励去*表现出*人工智能熟练度，从而创造出“毒丸”技能，以确保他们的工作，而不是真正地使组织受益。
最终，这种匆忙采用人工智能的举动，可能会构建不可持续、难以维护的系统——掩盖根本缺陷的演示软件——同时忽视核心产品。 作者警告说，当前积极指标的“报告阶段”不可避免地会让位于严峻的现实，就像大跃进中虚报的数字之后随之而来的饥荒一样。
## 人工智能的巨大飞跃：摘要
一篇近期文章在Hacker News上引发了关于人工智能驱动的开发长期可持续性的争论。核心论点在于，人工智能工具的快速部署是否不可避免地会导致难以维护的“技术债务”，类似于中国大跃进等雄心勃勃的、集中计划的倡议的失败。
一些人担心人工智能生成的代码本质上存在缺陷，无法重构，而另一些人则认为这是过早的假设。许多开发者报告称，他们成功地利用人工智能通过迭代改进和自动化重构来*减少*技术债务。关键似乎是持续的人工监督，有效地提示人工智能，并建立健全的编码标准。
一个主要的争论点是人工智能是否能够改进到足以解决自身的缺点。人们对依赖外部供应商（如OpenAI）以及潜在的不可持续商业模式表示担忧。许多评论员强调了企业趋势的周期性以及管理层倾向于优先考虑短期收益而非长期可维护性的倾向，无论使用何种技术。最终，讨论表明，成功的人工智能集成需要工程实践的转变，而不仅仅是采用新工具，以及对人工智能当前能力的现实评估。
## Linux内核在SQL数据库中：pgit实验 该项目成功地将Linux内核20年的完整历史——1,428,882次提交和2440万个文件版本——导入到PostgreSQL数据库中，使用了`pgit`，这是一种类似于Git的CLI工具，它利用`pg-xpatch`的增量压缩技术。 导入在专用服务器上完成，耗时不到2小时，结果得到一个6.6GB的数据库，其中实际数据为2.7GB（与激进的`git gc`实现的1.95GB相当）。 该实验实现了对内核历史的快速查询，揭示了以前难以获得的信息。 分析表明，少数维护者之间存在大量的合并活动（David Miller合并了22.5%的提交），文件耦合模式（i915驱动程序组件经常一起更改），以及令人惊讶数量的“修复”引用了最初的git导入提交。 有趣的是，提交消息中仅出现7处脏话，而源代码中则显示了更多“色彩鲜艳”的语言。 `pgit`证明了其处理大型存储库的能力，为版本控制历史分析提供了一种新的方法——用SQL查询的力量取代传统的packfile存储。 该项目进一步推动了开发，包括`ripgit`，一个基于`xpatch`构建的自托管Git远程仓库。
对不起。
## Skrun：将代理技能转化为API
Skrun是一个开源工具，用于部署和调用AI代理技能作为API。它允许你轻松地将指令（定义在`SKILL.md`中）和配置（`agent.yaml`）转化为可通过`POST /run`端点调用的服务。
**主要特性：**
* **简单部署：** 使用`skrun init`创建新的代理或导入现有技能，然后使用`skrun deploy`使其可通过API访问。
* **多模型支持：** 支持Anthropic、OpenAI、Google、Mistral和Groq，并具有自动回退功能。
* **有状态代理：** 代理可以使用键值状态在多次运行中记住信息。
* **工具调用：** 支持本地CLI工具和MCP服务器，以扩展功能。
* **类型化I/O：** 定义结构化输入和输出，以实现可靠的API交互。
Skrun提供了一个本地开发服务器（`skrun dev`）用于测试，以及一个CLI用于管理代理、构建和部署。示例展示了各种应用，例如代码审查、PDF处理和数据分析。云部署正在计划中，基于现成的架构。
## Swift 扩展 IDE 支持
Swift 开发现在比以往任何时候都更容易，对 Cursor、VSCodium、Kiro 和 Antigravity 等流行的 IDE 的支持得到扩展。这得益于官方 Swift 扩展在开源 Open VSX Registry 上的可用性，利用了 VS Code 扩展的兼容性。
Swift 之前已在 Xcode、VS Code、Neovim 和 Emacs 中得到支持，现在可以无缝集成到支持语言服务器协议 (LSP) 的编辑器中。随着 Swift 在各种平台（包括新兴的代理 IDE）上获得发展，这种更广泛的生态系统至关重要。
该扩展为 Swift 包管理器项目提供全面的语言支持——包括代码补全、调试、重构、测试和 DocC 集成，适用于 macOS、Linux 和 Windows。安装很简单：在编辑器的扩展面板中搜索“Swift”。Cursor 用户可以从专用的设置指南中受益，以优化 AI 工作流程。此举旨在满足开发者的需求，并促进 Swift 的更广泛采用。
## Swift IDE 支持与生态系统讨论
这次黑客新闻讨论的核心是改进 Swift 在 Xcode 之外的开发体验。一个关键点是 Swift 工具通过 Open VSX Registry 在 VS Code 中的可访问性得到改善，解决了微软对分支的限制造成的问题。
用户们讨论了 Xcode 的替代方案，一些人强调了 Noctule 和 SweetPad 等插件的实用性。关于 Swift 在 iOS 开发之外的可用性存在争论，一些人指出 C 互操作性的近期改进以及由于 AI 辅助，移植库的可行性正在提高。
对话还涉及 Android 和 iOS 开发环境的局限性——特别是与 Apple 工具的锁定相比，Android SDK 更加开放。 许多评论者表达了对 JetBrains 的 AppCode 回归的渴望，以及更灵活的 iOS 开发选项的可能性。最后，出现了一个小众请求，希望开发一种基于 Swift 的、可自我修改的 IDE，类似于 Oberon µSystems。
启用 JavaScript 和 Cookie 以继续。
对不起。
## Costco日本成功及更多 - SatPost 摘要
本周，SatPost深入探讨了Costco在日本的卓越成功，这里是其北美以外最大的市场。尽管过去外国零售商在日本屡屡失败，Costco现在拥有37家仓库和令人印象深刻的600万会员。他们的策略侧重于适应当地需求——多层仓库、最初90%的日本产品组合以及与供应商的直接交易——同时保持Costco的核心价值，如批量购买和Kirkland品牌。
成功并非一帆风顺，需要应对严格的土地利用法和独特的零售环境。与当地开发商合作至关重要。Costco的影响力超越了零售业，可能影响工资并振兴农村经济。
**其他亮点：** Netflix的热门剧集《KPop Demon Hunters》（以低价从索尼收购）、有趣的羽毛球链接、Spotify私信、亚马逊的杂货业务拓展以及美国政府对英特尔的投资。此外，还有关于婚姻文化转变的评论，以及当然，泰勒·斯威夫特/特拉维斯·凯尔斯的关系。
对不起。
## 鱼雷棒研究未发现显著优势 华盛顿州立大学、伊利诺伊大学和宾夕法尼亚州立大学的最新研究驳斥了关于纽约洋基队“鱼雷棒”的炒作，该球棒在2025年一场创纪录的九分全垒打比赛后备受关注。实验室测试表明，这种独特形状的球棒在击球力量方面**与标准木棒没有更好**的表现。 由WSU的劳埃德·史密斯领导的研究人员发现，鱼雷棒的球棒恢复系数与传统球棒几乎相同，甜点位置仅略有变化——向手柄方向移动半英寸。虽然该设计旨在将木材集中在甜点处，但该研究证实了木材固有的局限性。 史密斯指出，尽管鱼雷棒可能为某些球员提供稍大的容错率和更高的打击率，但当击中甜点时，球速实际上会*更慢*。最终，研究结果表明这种革命性设计并没有提供实质性的性能提升，从而强化了传统木棒在棒球运动中的一致性。