**Wattage** 是一款离线、隐私优先的诊断工具，可作为 AI 智能体的“能耗计”（Kill-A-Watt meter）。它通过分析 OpenTelemetry (OTel) 追踪数据，识别代币浪费，以真实货币计算成本，并针对冗余工具调用、提示词缓存不足以及智能体循环无法收敛等低效问题提供可操作的修复建议。
**核心功能：**
* **收敛引擎：** 使用先进的检测技术捕捉智能体“抖动”和停滞的循环，这是标准精确匹配工具无法做到的。
* **可操作的报告：** 生成终端报告、HTML 火焰图和 README 徽章。它能识别模型不匹配和冗余输出等问题，并按成本和质量风险对修复优先级进行排序。
* **CI 集成：** 作为成本回归关卡。如果智能体的变更导致价格大幅上涨或评分下降，它可以中断 CI 构建，从而确保部署期间性能的稳定性。
* **零配置：** 完全离线运行，无需 API 密钥，通过摄取 JSON 追踪数据提供透明且基于证据的数据，而非估算值。
Wattage 非常适合希望通过自动化、可验证的反馈循环来优化生产环境 AI 智能体成本与性能的开发者。
每日HackerNews RSS
抱歉。
近期一篇关于打造“设置后即无需维护”时钟的《Ars Technica》文章，在 Hacker News 上引发了热烈讨论。作者 Lee Hutchinson 记录了他创作这款定制时钟的过程，并坦承自己依赖大语言模型（LLM）来解决 Python 编程和 3D 建模中的难题。
评论者对该项目的必要性和复杂性各执一词。许多用户指出，“自动对时”技术（如 NIST 无线电控制时钟）已经存在数十年，无需现代物联网集成、互联网连接或复杂的电源管理，即可提供可靠且维护成本极低的计时功能。
除了技术层面的讨论，该话题还延伸到了人工智能在工程学中角色的哲学探讨。一些用户担心，在相对简单的任务上依赖大语言模型，反映出技术人员基础解决问题能力的下降。另一些人则为作者辩护，认为利用人工智能工具弥补个人技能短板是完成项目的务实方法。与此同时，作者本人也为自己的流程进行了辩护，澄清他自行处理了设计、系统工程和部署工作，仅将人工智能作为一种针对性的生产力辅助工具。
这段内容是 PDF 文件的二进制原始数据，无法翻译为中文。
这篇 Hacker News 讨论帖探讨了亚伯拉罕·弗莱克斯纳（Abraham Flexner）于 1939 年发表的文章《无用知识的有用性》（*The Usefulness of Useless Knowledge*），该文探讨了由好奇心驱动的研究的价值，特别是关于普林斯顿高等研究院（IAS）的创立。
评论者“oliculipolicula”强调了 IAS 的历史背景，指出它起源于全球动荡时期，并演变成了一个类似于贝尔实验室（Bell Labs）的“极度开放”的研究环境。讨论还涉及了乔治·戴森（George Dyson）对 IAS 的历史叙述，并转入对现代计算基础设施演变的批判。具体而言，该评论者认为当代云计算和虚拟机代表了向资源可扩展性和可迁移性的转变，使得按需计算能力能够超越早期研究机构曾经面临的物理限制。总的来说，这场对话将纯科学探索的哲学与分布式计算和并行处理的现代实际应用联系了起来。
**世界模型优化器 (WMO)** 是一个旨在将现有智能体轨迹转化为持续性能改进系统的平台。通过利用世界模型模拟、元框架优化和模型蒸馏，WMO 能够帮助用户在实现前沿级智能体质量的同时，降低超过 40% 的运营成本。
**核心功能包括：**
* **智能路由：** 基于您的 OpenTelemetry (OTel) 轨迹调整并部署路由器，自动为特定任务选择最具成本效益的模型。
* **模拟与测试：** 利用内置的世界模型模拟智能体环境，实现稳健的闭环评估与优化。
* **自动化优化：** 使用命令行界面 (CLI) 优化提示词、工具、策略和运行时代码。只有通过严格评估关卡的配置才能成为“冠军”版本。
* **安全执行：** WMO 与 E2B 沙盒集成以实现隔离且可扩展的执行，并通过外部管理凭据来维护安全性。
* **开发工作流：** 该平台支持本地代码实时同步、分离式后台执行，以及用于对比基准性能的清晰报告。
WMO 简化了从原始轨迹到自主改进智能体栈的过渡过程，为本地开发和托管式生产级优化提供了必要的工具。
Experiential Labs 推出了开源工具 **world-model-optimizer (wmo)**，旨在降低 AI 智能体的运行成本，同时保持前沿水平的性能。
该平台利用您现有的智能体跟踪记录（traces），通过以下三种主要方法持续改进小型专用模型：
* **蒸馏（Distillation）：** 使用来自大型开源前沿模型的数据来训练更小、更高效的模型。
* **模型路由（Model Routing）：** 根据任务复杂度，自动将任务分配给前沿模型或您蒸馏出的模型。
* **Token 压缩（Token Compaction）：** 去除提示词中的冗余信息，以减少延迟并降低成本。
用户可以在本地运行 `wmo serve` 来创建一个兼容 OpenAI 的端点；该端点会进行请求路由，并随着新跟踪记录的收集不断提升性能。对于偏好托管基础设施的用户，Experiential Labs 提供了托管解决方案，承诺相比使用标准前沿模型至少可节省 40% 的成本。
感兴趣的用户可以在 YouTube 上观看演示，或在 [experientiallabs.ai](https://experientiallabs.ai) 加入等候名单。
**cursor-bridge** 是一款轻量级、零配置工具，让你可以通过现有的 **Cursor 订阅**免费使用 **Claude Code CLI**。 通常情况下，使用 Claude Code 需要额外购买 Anthropic API 额度。`cursor-bridge` 通过将请求路由至 Cursor 后端（其中已包含订阅内的“Auto”模型）绕过了这一限制。 **主要优势：** * **零配置：** 无需管理代理、环境变量或后台守护进程。它是一个单一的、静态编译的 Rust 二进制文件（约 780 KB）。 * **无缝集成：** 它会自动处理身份验证（通过 macOS 钥匙串或 Linux 环境变量）、启动 Claude CLI，并在终端会话结束时自动清理。 * **高效：** 与需要手动设置和持续运行后台进程的 Node.js 代理不同，`cursor-bridge` 随命令的启动而生，随命令的结束而灭，避免了端口冲突和进程冗余。 **要求：** * 拥有有效的 Cursor 订阅，且 `agent` CLI 已完成身份验证。 * 已在 PATH 中安装 `claude` CLI。 只需运行 `cursor-bridge` 即可开启交互式会话。这是一个即用即走的方案，让 Cursor 用户能够免费使用 Claude Code 的代理功能。
一款名为“Cursor Bridge”的新工具近日在 Hacker News 上引起关注，它允许用户通过现有的 Cursor 订阅使用 Claude Code。该工具充当了一个轻量级中间件，使用户能够绕过额外的 Anthropic API 费用，从而利用 Cursor 的“无限”访问权限来运行 Claude Code，且无需额外配置。
该项目引发了关于“无限”订阅模式可持续性的争论。批评者认为，这种激进的“价值榨取”行为——将无限访问权限视为绕过服务商限制的漏洞——不可避免地会导致公司取消此类优惠，或强制实施更严格的使用限制。虽然一些用户欣赏 Cursor 带来的便利和卓越的客户端体验，但另一些人则警告称，此类变通方法可能会迫使服务商为了遏制滥用而放弃慷慨的定价结构，从而损害整个社区的利益。
世界上最高龄的职业足球运动员三浦知良，在59岁时为日本第三级别联赛球队福岛联队打入了他近四年来的首粒进球。 在上周六举行的天皇杯比赛中，三浦知良在第52分钟破门得分，帮助福岛联队以5-0领先，最终球队以7-0大胜磐城古河（Iwaki Furukawa）。 这是他自2022年11月代表铃鹿得分手队（现为铃鹿竞技队）对阵大阪FC以来，在正式比赛中打进的首粒进球。 他在日本被称为“卡兹国王”（King Kazu），是该国最受欢迎的运动员之一，也是1993年日本职业足球联赛（J联赛）创办时的标志性人物。 他于1986年在巴西桑托斯队开启职业生涯，此后还曾在意大利、克罗地亚和澳大利亚的俱乐部踢球。 这位前锋已将他从J2联赛横滨FC租借至福岛联队的期限延长至2027年6月，他的漫长职业生涯将进入第42个赛季。 三浦知良于2005年签约横滨FC，但自2020年以来未曾代表该队出场过。 他曾为日本国家队出场89次，打进55球，此前他曾表示希望能够踢到60多岁。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录日本传奇球星三浦知良（59岁）打入自2022年以来首粒进球 (bbc.com)12分 由 brudgers 发布于 27 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
jmclnx 11 分钟前 [–]
太棒了！回复
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
🛡️ 请稍候 我们正在检查您的网络连接，以防止自动化滥用行为 为什么会出现此页面？ 遇到问题？请联系客服
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
私人任务发射升空，旨在延长燃料耗尽的通信卫星寿命 (phys.org)
5 点 | jnord | 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
inigyou 5 分钟前 [–]
发射新卫星不是更容易吗？
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文讲述了一位教育工作者使用 20 世纪 70 年代的栈式拼接语言 Forth 向中学生教授编程的经历。为了避免现代编程语言抽象的语法，并让学生建立更基础的计算思维，作者放弃了 Python 和 Scratch 等常用工具。
为了降低初学者的理解难度，讲师使用纸盘演示了基于栈的数据结构是如何运作的。通过网页版的“Easy Forth”环境，学生无需安装复杂软件，即可专注于创作数字艺术和修改代码。
尽管作者反思认为 Forth 对部分学生来说可能过于底层，并指出即时视觉反馈往往比语言选择本身更为关键，但该课程成功地揭开了计算的神秘面纱。最终，作者强调，相比于选择哪种语言，提供以人为本的自主学习环境更为重要。在人工智能日益普及的时代，作者认为经验丰富的程序员投身教育事业至关重要，通过人与人的互动而非依赖自动化工具，为学生创造构建基础技能的机会。
这篇 Hacker News 帖子讨论了 Anna Liberty 所写的文章《教孩子学 Forth》。讨论中既有怀旧之情，也有关于该语言是否适合儿童学习的争论。
一位用户尽管个人非常喜欢 Forth，但对在课堂上教授这门语言表示怀疑。对此，作者（rbanffy）分享了他们如何通过 HP-35 计算器教孩子使用逆波兰表示法（RPN），并指出孩子很快就掌握了相关概念。讨论还涉及了 GraFORTH 等语言在 Apple II 上的历史表现。
讨论一度因为一位用户提到作者的背景（通过其“关于”页面发现）而变得充满争议，该用户建议作者寻求专业心理治疗，这一言论立即遭到了其他人的质疑。总的来说，这次讨论既体现了对 Forth 简洁性的技术赏识，也反映了网络讨论中常见的主观且激烈的特质。
像 Lean 这类依赖类型语言提供了一种强大的方法，可以正式编码并强制执行通常仅存在于注释中的软件不变量。从历史上看，其采用的障碍在于需要巨大的“证明工程”工作量，这往往超过开发时间的十倍之多。 然而，将大语言模型（LLM）作为一种证明自动化形式，正在改变这一局面。通过自动处理证明义务，LLM 有望使形式化验证能够应用于日常软件开发。 作者通过在 Lean 中实现一个 Zstandard 解压器展示了这一转变。在解释 Zstandard 有限状态熵（FSE）编码器的复杂性时，作者强调了 Lean 的实际优势：严格求值、命令式语法糖以及高效的内存管理。更重要的是，作者利用 LLM 成功生成了复杂的证明（例如验证 FSE 表构建的正确性），而这些证明若通过人工完成，耗时将令人望而却步。 尽管性能和扩展性方面的挑战依然存在，但依赖类型与 LLM 的结合，标志着形式化验证向成为日常编程实用工具迈出了重要一步。这种演进预示着未来的软件正确性将通过数学保证，而非仅仅寄希望于测试。
Hacker News 的讨论探讨了大型语言模型（LLM）使形式化验证和定理证明在主流软件开发中变得实用的潜力。
支持者认为，通过将定理证明器直接嵌入编程语言中，开发人员可以利用 LLM 根据形式化规范验证代码，从而有效取代传统的测试方法。尽管有人指出已验证的汇编和加密程序已经得到应用，但其他人则持谨慎态度。批评者指出，LLM 在“证明工程”方面仍面临困难，即在选择合适的抽象概念并以能够实现高效验证的方式定义问题时，这是一项高层次的任务。此外，还存在一个持续存在的“对齐”挑战：除非由理解底层逻辑的人类明确强制，否则 LLM 可能会出现过拟合或回避复杂的证明义务。
最终，参与者认为软件可靠性的真正瓶颈不仅在于验证成本，还在于为复杂且充满极端情况的现实世界应用定义“正确性”的难度。虽然 LLM 降低了形式化方法的成本，但在设计代码背后的基础和意图时，人类的角色依然至关重要。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
多路图灵机（2021 pre-ai）（wolframphysics.org）
11 分，发布者：marysminefnuf，1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
marysminefnuf 1 小时前 [–]
辫子与计算之间的数学联系
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：