这篇报道指控人工智能行业内部存在着深度的、玩弄权术的行为，中心人物是OpenAI的Sam Altman和Anthropic的Dario Amodei。尽管公开支持Amodei，Altman同时与美国政府谈判了一项与Anthropic相似的协议，最终导致Anthropic被不公平地定性为“供应链风险”。 作者认为这并非关于安全或条款，而是关于影响力。Altman在公开支持Amodei *之前* 秘密推进了这项交易，并且在一位前OpenAI领导人向特朗普的政治行动委员会捐款后不久。 虽然承认Anthropic自身也存在不足，作者谴责这一决定是“寡头政治”的明显例子——政治关系和捐款胜过市场力量——以及对制度的潜在腐败，剥夺了Anthropic公平竞争的机会。这暗示着一种令人不安的、远离真正资本主义的转变。
每日HackerNews RSS
## 自动驾驶出租车竞赛：愿景 vs. 传感器融合 自动驾驶出租车的未来正在像德克萨斯州奥斯汀这样的城市中塑造，Waymo和特斯拉的自动驾驶出租车已经在街道上行驶。这些车辆代表了截然不同的自动驾驶技术方法：Waymo利用全面的“传感器融合”方法，使用激光雷达、雷达和摄像头构建周围环境的详细3D地图，而特斯拉则倡导仅依靠摄像头和强大人工智能的“仅视觉”系统。 这场争论源于历史性的转变。早期的自动驾驶系统倾向于使用传感器融合以确保安全和冗余。然而，特斯拉在2016年提出了挑战，认为足够的计算能力和摄像头可以复制人类的驾驶能力——并且成本更低。 虽然特斯拉最初在其车辆中移除了雷达，但它悄悄地重新引入了雷达，这表明可能正在向传感器融合方法靠拢。两家公司现在都在大力投资人工智能并简化他们的系统。关键区别现在不是*使用*哪些传感器，而是系统*有多安全*。 最近的安全数据表明，Waymo的传感器融合方法目前优于特斯拉的方法，脱离和事故明显更少。最终，这场竞赛的胜者不会仅仅由技术决定，而是由社会对安全标准的接受程度决定——我们将满足于*与*人类驾驶员一样安全，还是要求*更好*？答案将决定自动驾驶出租车的部署速度和规模，并重塑交通的未来。
## 恶魔城：一场跨国热潮
1986年，卡普空（Capcom）的《恶魔城》取得了一项罕见成就：同时在日本和英国的销量排行榜上名列前茅。通过日本杂志《Famitsu》（1986年创刊）的销售数据，可以探究这一成功的背后原因。虽然任天堂的Famicom/NES主导了美国市场，但英国的游戏市场当时主要以电脑游戏为主——收入是主机游戏的六倍。
尽管存在这种差异，《恶魔城》仍然在双方玩家中引起共鸣。游戏的开发，源于藤原 Tokuro 对具有挑战性和视觉吸引力的游戏玩法的追求，将街机动作与一丝可爱元素相结合。英国公司Elite Systems迅速获得了移植权，在卡普空Famicom版本发布的同时，甚至在游戏登陆美国NES之前，就发布了Commodore 64和ZX Spectrum的版本。
这些移植版本虽然受到硬件限制的影响，但仍然很受欢迎，展示了全球游戏场景的互联互通，尽管存在区域差异。《恶魔城》的成功表明街机游戏作为共同点，影响了家用主机和电脑游戏，并对游戏设计和叙事模式留下了持久的影响。
## Ghosts'n Goblins 与街机游戏的难度 – Hacker News 讨论
一篇关于《恶魔城》的文章引发了 Hacker News 的讨论，深入探讨了 80 年代街机游戏臭名昭著的高难度。虽然这通常被认为是最大化投币收入，但有人认为难度源于技术娴熟玩家对挑战的需求——需要在休闲玩家和忠实玩家之间取得平衡，以保持他们的参与度。
评论者回忆了街机体验，指出少数优秀玩家可以激励其他人投入更多。对话强调了那个时代有限的游戏机制，导致游戏标题之间存在相似之处（射击游戏、平台游戏等），这是由于硬件限制造成的。
讨论还涉及了《恶魔城》臭名昭著的“幻觉”结局——要求玩家 *两次* 通关游戏——以及像《恶魔城：夜曲》这样的游戏的探索方面。最后，该帖子探讨了 NES 在欧洲不同地区的受欢迎程度，将其在英国的成功与其来自 Spectrum 和 C64 等家用电脑的竞争进行了对比。
## Rivet Actors：无服务器状态化工作负载 Rivet Actors 是一种新的无服务器基础组件，专为构建状态化应用程序而设计。每个 actor 作为一个独立的、可扩展的单元，内置状态管理、存储（SQLite/JSON）、WebSockets、工作流和调度功能——无需复杂的后端基础设施。 Actors 提供即时读写速度，具有内存状态和持久化存储，并且可以从零扩展到数百万，高效处理突发工作负载。它们非常适合 AI 代理（具有持久化内存）、协作文档、聊天应用程序，甚至每个租户的数据库等用例。 Rivet 提供灵活的部署方式：使用 Rust 二进制文件或 Docker 自行托管，或利用其完全托管的全球边缘网络，与 Vercel 和 AWS 等现有云提供商集成。它是开源的（Apache 2.0），并支持 Hono、Elysia 和 tRPC 等流行框架，提供 JavaScript、React 和 Next.js 的客户端。
## Rivet Actors 与 SQLite：现代应用的去中心化数据库
Rivet Actors 是 Cloudflare Durable Objects 的开源替代方案，现在支持 SQLite 存储。其核心思想是**为每个 actor（代表代理、租户、用户或文档）提供独立的 SQLite 数据库。** 这提供了可扩展性——潜在的数百万个数据库——而无需传统水平扩展方法的缺点，例如 Cassandra 或 DynamoDB 中僵化的模式。
主要优势包括强大的隔离性（非常适合多租户 SaaS 和协作文档）、计算和状态共置带来的性能提升以及简化的安全性。它特别适合需要每个代理的消息历史记录和状态管理的 AI 代理。
与替代方案相比，Rivet 提供了一种开源、与供应商无关的方法。与 Turso 不同，读取是本地且快速的。虽然 D1 和 Litestream 等工具管理*一个* SQLite 数据库，但 Rivet 管理*多个*隔离的数据库。在底层，SQLite 在进程内运行，写入通过 FoundationDB 或 Postgres 持久化。
该项目还支持实时功能（WebSockets）并与 React 集成。 计划中的查询引擎可能会利用 DuckDB 进行跨数据库查询。
[https://github.com/rivet-dev/rivet](https://github.com/rivet-dev/rivet)
## 验证规格驱动开发 (VSDD) – 摘要 VSDD 是一种新颖的软件工程方法，将规格驱动开发 (SDD)、测试驱动开发 (TDD) 和验证驱动开发 (VDD) 结合到一个 AI 编排的流程中。它优先考虑一个严格、可追溯的过程，其中规格定义了软件 *做什么*，测试强制执行 *如何构建*，而对抗性验证确保 *不会遗漏任何内容*。 该过程涉及一名人类架构师监督 AI “构建者”和“对抗者”代理，并通过 Chainlink 进行跟踪以确保完全的责任追溯。第一阶段侧重于“规格提炼”，在编码 *之前* 创建严密无缝的规格，包括可证明的属性和将可验证的核心逻辑与外部效应分隔开的“纯度边界”。第二阶段实施严格的 TDD 循环 (红→绿→重构)，由 AI 构建者引导。第三阶段将代码置于 AI 对抗者的严格审查之下，识别规格、测试和实现中的缺陷。第四和第五阶段整合反馈并执行形式化验证，而第六阶段确认“收敛”——当规格、测试、实现和证明都能经受住对抗性审查时。 VSDD 强调“规格至上”，验证优先的架构和无情的否定态度以消除“漏洞”。它专为需要高正确性、长期可维护性和强大安全性的项目而设计，利用 AI 来增强而非取代人类的战略决策。最终，VSDD 旨在创建具有可证明存在理由和可靠保证的代码。
## AI 驱动的规范驱动开发：摘要
这次 Hacker News 的讨论围绕“验证的规范驱动开发”（VSDD），这是一种随着 AI 辅助编码兴起而逐渐流行的流程。其核心思想是优先*明确*系统应该做什么，*然后再*编写代码，利用 AI 根据这些规范生成和测试代码。
一些评论者质疑其可行性——认为它假定先验知识，不适用于需要快速迭代的探索性 AI 开发。但也有人支持它。一个关键点是，由于代码生成成本降低，专注于完善的规范变得更有价值。
这场辩论凸显了“感觉编码”（快速原型设计）和正式规范之间的紧张关系，许多人建议采取混合方法。几位参与者强调了人工监督的重要性，指出 AI 生成的代码可能混乱，需要仔细审查。一些人提倡使用 AI *生成*现有代码的规范，从而辅助迭代改进。
最终，讨论表明 VSDD 并非关于严格的前期规划，而是关于将规范用作动态演化的工件，以指导 AI 开发并控制复杂系统。
格奥尔格·康托尔通常被认为是集合论的创始人，并在1874年证明了存在不同大小的无穷。然而，最近的研究揭示了一个更复杂的故事。播客制作者Goos最初认为康托尔是一位孤独的天才，但后来发现康托尔严重依赖数学家理查德·戴德金。 在1872年的一次关键会议之后，康托尔不断寻求戴德金的建议，最终提出了一个引发突破性进展的问题：实数和整数是否可以“一一对应”？戴德金提供了关键的见解，甚至简化了康托尔最初的证明。康托尔怀着强烈的使命感和对无穷肯定上帝存在的信念，旨在彻底改变数学。 然而，由于担心受到有影响力的数学家利奥波德·克罗内克尔的拒绝——一位坚决反对无穷的学者——康托尔有策略地发表了他的发现。他向《克雷莱杂志》提交了一篇关于代数数（克罗内克尔喜欢的课题）的论文，巧妙地包含了关于实数的革命性证明，并淡化了其重要性。至关重要的是，康托尔声称是唯一的作者，抹去了戴德金的贡献。几十年后被艾米·诺特发现的信件揭示了戴德金曾向康托尔发送了核心证明，这些证明几乎原封不动地以康托尔的名义出现。虽然戴德金私下注意到这个问题，但他和诺特都选择让通信本身说话，维护了专业的沉默准则。
## 康托尔与戴德金：关于署名权的问题
一篇近期文章探讨了格奥尔格·康托尔在其关于无穷和实数线完备性的研究中可能存在的剽窃问题。虽然康托尔被认为是第一个证明实数不可数的人，但该文章认为，他证明代数数的可数性很大程度上依赖于理查德·戴德金的工作，可能缺乏充分的署名。
讨论的中心在于，鉴于戴德金为康托尔最初的证明提供了一个关键的简化，他的贡献是否应该得到联合署名，或者至少得到承认。一些人认为，学术政治的背景——特别是避免与数学家克罗内克发生冲突——可能阻止了适当的署名。
然而，另一些人强调康托尔的整体遗产仍然稳固，因为他是第一个证明存在不同*大小*的无穷。这场争论也涉及报道的准确性，人们对原始文章中的事实错误以及更广泛的浮于表面的科学新闻趋势表示担忧。最终，核心问题是康托尔是否恰当地承认了戴德金对一项基础数学突破的重大贡献。
## Obsidian 获得无头客户端和 CLI 关注 - 摘要
Obsidian 这款流行的笔记应用发布了无头客户端，并强调其命令行界面 (CLI)。这使得在无需运行完整 Obsidian 应用的情况下，即可实现自动同步、远程备份以及与 AI 工具集成。用户对脚本编写、服务器端自动化和代理工作流的可能性感到兴奋。
讨论的重点是同步解决方案的争论。虽然 Obsidian Sync 提供便利性、加密和版本历史记录，但许多用户正在探索替代方案，如 Git、Syncthing 和云存储 (Dropbox、iCloud、Nextcloud)，以避免订阅费用或获得更多控制权。移动同步仍然是 Obsidian 之外解决方案面临的关键挑战。
一个反复出现的主题是对更大灵活性的渴望，包括选择性同步、更轻松地与其他工具集成以及更强大的免费版本。尽管有这些愿望，许多人仍然承认 Obsidian Sync 的价值，并愿意为其易用性和持续的开发支持付费。新的 CLI 被视为对高级用户和自动化爱好者的重要一步。
## Claude 上下文模式：延长 AI 会话时长 Claude 代码使用 MCP 工具时，常常会迅速填满其 200K 上下文窗口，例如，Playwright 快照会占用 56KB，20 个 GitHub issue 占用 59KB。这限制了会话时长，仅 30 分钟后便会损失 40% 的上下文。**上下文模式** 通过充当 Claude 与工具输出之间的服务器，大幅减少数据大小——从 315KB 减少到仅 5.4KB（减少 98%）来解决这个问题。 它通过一个安全的 **沙箱** 实现这一点，在隔离的进程中执行工具调用。只有 *输出* (stdout) 会传递给 Claude，从而防止大型原始数据（如日志或 API 响应）膨胀上下文。支持十种语言运行时，包括通过 Bun 优化的 JavaScript/TypeScript。 内置的 **知识库** 使用 BM25 搜索索引 markdown 和网页内容，返回精确的代码块——而不是摘要——而无需将原始页面内容发送到上下文。 在实际场景中的测试表明，输出大小显著减少（例如，56KB 快照减少到 299B）。这使可用会话时间从约 30 分钟延长到约 3 小时，45 分钟后保留 99% 的上下文。上下文模式易于安装为插件或直接通过 MCP，并且不需要更改现有工作流程。
## Claude 上下文模式：摘要
mksglu 的“Claude 上下文模式”（CCM）是一种旨在大幅减少 Claude 上下文窗口消耗的系统——最高可减少 98%——通过智能处理工具输出实现。CCM 不会将原始数据（如日志、快照或 git 历史记录）直接转储到上下文窗口中，而是将工具调用在隔离的子进程中运行。然后，它仅将简洁的摘要返回给 LLM，同时将完整输出存储在可搜索的本地 FTS5 数据库中。
这种方法避免了上下文膨胀，并允许 LLM 在需要时从数据库请求特定细节。主要功能包括用于提高效率的增量索引，以及使用 BM25 和向量搜索（通过 Model2Vec 和 sqlite-vec）来实现强大的检索。
讨论强调了这种“预压缩”策略的优势，并将其与在上下文已被消耗*之后*尝试修剪上下文的方法进行对比。虽然有人争论其对所有工具类型（特别是 MCP 工具）的适用性，但总结和索引输出的核心原则被视为 LLM 工作流程中的一项有价值的优化，可能提高性能并降低成本。该项目在 GitHub 上可用：[https://github.com/mksglu/claude-context-mode](https://github.com/mksglu/claude-context-mode)。
## 从噪声到图像：AI如何创造视觉内容 AI图像生成，例如扩散模型，在难以置信的巨大图像可能性空间中运作——估计为10<sup>400,000</sup>。这些模型并非从零开始*创造*；它们从随机噪声开始，并根据你的提示逐步将其提炼成连贯的图像。 这个过程发生在更易于管理的“潜在空间”中，这是所有可能图像的压缩表示。文本提示也被转换成高维的“嵌入空间”，作为引导模型旅程的指南针。 关键因素会影响结果：**随机种子**决定起点，**步数**控制提炼频率，而**引导比例**则决定模型遵循提示的程度。更详细的提示提供更清晰的方向。 有趣的是，模型甚至可以在提示*之间*生成图像，探索嵌入空间中不对应特定词语的区域。最终，AI图像生成是对巨大可能性的复杂导航，将混沌转化为视觉上有意义的结果。
## 扩散模型详解：一份新的互动指南
一份新的互动指南 ([lighthousesoftware.co.uk](https://lighthousesoftware.co.uk)) 旨在向大众普及扩散模型——许多人工智能图像生成技术的基础。这份指南由“whilefalse”创作，优先考虑直观理解而非技术细节，重点关注在输入提示词后，这些模型*如何*运作。
该指南提供了去噪过程的逐步可视化，让用户可以看到图像如何从噪声中产生。用户还可以试验提示词，逐步添加词语以观察其影响，并通过插值探索“潜在空间”。
Hacker News上的讨论强调了该指南在建立直觉方面的有效性，许多人赞扬了其独特的视觉化技术。改进建议包括使用像素空间模型以获得更清晰的视觉效果，以及进一步探索语法和词序如何影响结果。该创作者欢迎反馈，并愿意扩展该项目，使其可能成为更全面的学习资源。
与一位747飞行员的对话引发了对职业发展本质的思考。这位飞行员精通他的技艺，但感叹经过数十年后，“没有进步”——他已经掌握了关于驾驶747的一切知识。这引起了作者（一位软件工程师）的共鸣，因为人工智能编码代理正在迅速改变他们的工作环境。
这些代理最初被用作高级搜索工具，现在通常在极少的人工干预下完成整个功能。虽然提高了生产力，但这种转变带来了一个挑战：与传统编码不同，依赖人工智能并不能培养对系统和问题解决的相同深度理解。作者发现，随着每个任务的完成，他们学到的东西越来越少，可能面临着与飞行员停滞不前的相似的未来。
尽管承认人工智能辅助的好处和必然性，作者强调了继续重视基础知识的重要性。提示代理很容易，但真正的成功依赖于*理解*问题领域——随着人工智能处理更多实现工作，这项技能正变得可选。他们建议有意识地练习手工编码，以保持和建立这种关键的专业知识。
## 编程与人工智能的变迁
这次Hacker News的讨论集中在人工智能，特别是大型语言模型（LLM）对编程的影响。许多评论员担心依赖Copilot等AI工具会削弱基础学习和技能发展。一些人回忆起编程需要通过艰苦学习和解决问题来获得深刻理解的时代——他们认为这个过程培养了真正的专业知识。
争论的焦点在于人工智能是更有用的助手，还是会侵蚀核心能力的捷径。一些人认为人工智能就像一个强大的搜索引擎，可以加速任务，但不一定能建立知识。另一些人则认为使用人工智能来处理繁琐的任务很有价值，从而让他们能够专注于更高层次的解决问题。
一个关键点是*生成*代码和*审查*AI生成的代码之间的区别；后者被认为教育意义较小。人们担心，如果未来一代人持续依赖人工智能为他们编写代码，他们可能会缺乏基础技能。最终，这场讨论凸显了效率与精通之间的紧张关系，以及软件开发者角色可能发生的变化——可能更多地转向监督和验证，而不是直接编码。