新加坡表示，美国在调查 Alice Huang 时提供了很少帮助；Alice Huang 是一起间谍阴谋的中心人物，该阴谋导致了对英伟达首席执行官 Jensen Huang 的调查。新加坡因与 Megaspeed 相关的涉嫌虚假申报，从 2025 年 6 月到 2 月扣留了 Huang 的护照，随后在发出严厉警告后释放她，并禁止其重新入境。此案引发了对特朗普政府回应的质疑，因为她的护照是在特朗普总统获知其涉嫌与中国情报部门有关联之后被扣留的。新加坡还说，尽管已向美国司法部和联邦调查局提出，Supermicro 在被问及 Megaspeed 时仍提供“有限的合作”。Supermicro 否认 Megaspeed 是其客户，并表示遵守出口管制。Huang 据报道淡化了自己的角色，新加坡因证据不足释放她，尽管 Megaspeed 仍在调查中。台湾据报道在 2024 年在美国指导下开始监控 Huang。
每日HackerNews RSS
新加坡称美国在疑似间谍公司调查中未予配合 Singapore Says U.S. Not Helpful on Investigation into Suspected Spy's Company
3 天前
Hacker News 讨论串讨论了新加坡声称美国在调查一名疑似间谍的公司时缺乏帮助，特别是没有强制 Supermicro 全面配合。评论者争论美国当局是缺乏法律权力，还是专注于自身调查，同时指出此前 DOJ 对 Supermicro 的指控和传票。其他人强调参议员们正在调查一项涉嫌的行政方案，涉及向中国出售 Nvidia AI 芯片，包括 25% 关税和出口许可证安排。讨论还涵盖美国出口管制、中国的半导体和电动汽车产业、华为/SMIC 竞争，以及裙带主义或腐败指控。总体而言，该讨论串提出了地缘政治、政策和腐败关切，但未达成明确共识。
出现一颗绕太阳公转约需280年的矮行星候选体 Dwarf planet candidate appears which takes roughly 280 years to orbit our sun
3 天前
启用 JavaScript 和 cookies 以继续
一个 Hacker News 帖子讨论了新发现的矮行星候选体 2026 ED138，其绕太阳公转约需 280 年。评论者强调了一个交互式轨道可视化工具，并指出它由 Rubin 天文台/LSST 发现，尽管它位于银河平面，密集的星场通常使得移动物体难以被发现。帖子还讨论了此类天体为何能隐藏、轨道力学以及该天体与冥王星轨道可能的接近程度。大量讨论转向行星分类：有些人认为冥王星被降级是正确的，因为矮行星数量众多且自成一类，而另一些人则认为“矮行星”应是行星的子类别，或批评 IAU 的定义过于随意，尤其是其“清理邻域”标准。用户还讨论了 X 星/第九行星，指出 ED138 太小，不是假想的遥远大质量行星。其他评论包括命名想法、文章中的笔误，以及可能存在更多未发现的太阳系天体。
作者追踪了一段托管 PostgreSQL 安全研究历程，从扩展利用到 PostgreSQL 核心类型混淆问题。他们解释 PostgreSQL 值通过类型元数据解释，准备好的复合类型值可能被篡改，使 PostgreSQL 在不同属性类型下重新解释存储字节。这导致内存损坏并可能执行代码。该问题作为复合类型问题大家族的一部分报告为 CVE-2026-6460，同时还有相关 CVE。作者与托管 PostgreSQL 提供商协调 PoC，并感谢 PostgreSQL 社区和安全团队。他们还描述了学习 PostgreSQL 内部机制、类型表示和内存泄漏原语，以及跨多个相关案例的变体分析。帖子以感谢和邀请演讲作结。
Hacker News 上的一篇讨论涉及一个漏洞，它将一个已有 22 年历史的 Postgres 类型混淆原语变成远程代码执行。评论者争论这是否真正算"远程"代码执行还是权限提升，因为需要经过身份验证的数据库访问，不过也有人指出 RCE 不必未经身份验证，而且存在暴露在外的 Postgres 实例。其他人讨论使用 SQL 本身进行认证/授权，例如通过角色和行级安全将访问控制推入数据库，并探讨该方案的权衡。利用手法包括创建预编译语句、修改底层表/类型，然后执行过期的预编译语句以触发类型混淆。部分评论者将其描述为任意代码执行而非远程，并指出低权限角色也可触达该漏洞。安全影响从内网横向移动到暴露实例不等。一位评论者批评 Postgres 的 Datum 设计——其中指针性取决于单独查询的类型 id——具有内在风险。总体而言，该帖子混杂了对漏洞利用的技术分析与术语和实际影响的争论。
Show HN: AgentRun – 开源、自我改进的托管智能体 Show HN: AgentRun – open-source, Self-improving Managed Agents
3 天前
AgentRun 是一个开源平台，通过自我改进、持久执行和控制平面来增强智能体。它与 Claude Code、Codex、OpenCode 和 pi 等运行框架配合使用。每次运行后，智能体会保留有用的笔记、技能或工作流，因此后续运行可避免重复发现。运行记录保存在一个存储中；如果服务器在运行中途停止，执行会恢复。智能体可以使用沙箱、桌面、手机或浏览器等计算机。用户通过审批、支出上限以及显示状态、失败和成本的控制台保留控制权。它可以在本地通过一个命令运行，也可以在 Docker 中运行，或作为带运行器的服务器运行。AgentRun 包含模板、触发器、工作流、学习和 API。它支持模型密钥、沙箱、持久运行和部署选项。采用 Apache-2.0 许可；需要在 macOS 或 Linux 上使用 Node 24.22.3+。
AgentRun 是由 GREP.AI（YC F26）推出的开源、自我改进的托管智能体平台。它提供基于网络的工作流、沙箱/计算机环境、多种工具与集成、分析功能，以及支持自带智能体，如 Pi、Claude Agents、Codex、OpenCode 和其他兼容 ACP 的运行框架。它可自托管，也可通过托管控制台使用。
评论者讨论了相关实践，包括使用智能体管理的 PR 审查队列、质量指标/证明、多智能体审查循环，以及对自主行为的安全/监督。维护者解释称，自我改进包括反复运行强模型、让其留下复盘记录，并为重复性任务编译确定性工作流以降低成本。用户还提出了关于与更简单运行框架的对比、绕过上限的分离进程，以及平台差异的问题。
Relax 是一个 Rust 即时编译器与 JIT 运行时，可直接从源码运行 Cargo 包，无需 rustc、LLVM 或链接器。它在首次调用时惰性编译每个函数，将热点函数从解释器提升到 O1/O3，并在保留状态的同时将编辑后的函数热补丁到运行中的进程。这带来了快速冷启动、实时测试、断点、性能分析和远程检查。权衡：优化后的输出比 rustc --release 慢（x64 约 1.12 倍，arm64 约 1.24 倍），使用更多内存，不支持所有 crate 或编辑类型，且 relax check 目前尚未比 cargo check 更快。它用一个组织成分层 crates 的 Rust 库替代 Rust 工具链，还支持 Makepad 应用和 AI 代理工作流。Relax 用于开发迭代，而非发布构建。
Hacker News 讨论 Relax，一个面向 Rust 的 JIT 编译器，旨在减少构建时间并支持热补丁。早期测试者报告结果不一：一些项目无法编译或错误编译，而其他项目运行时启动或补丁速度更慢；维护者称许多问题已修复，且 AI 帮助了构建。评论者争论 Rust 的漫长编译时间，将其归因于依赖项、trait 求解、LLVM 优化、proc 宏和一个较小的标准库，同时与 Lisp、Go、OCaml 和 Jai 等快速迭代语言进行比较。其他人指出 AI 正在推动雄心勃勃的 Rust 编译器重新实现及相关项目。总体而言，Relax 前景可期但尚不成熟，在迭代速度、正确性和可靠性之间存在权衡。
Google 正在 Google Antigravity 中推出 Gemini 4 Hydrogen 以及 Orchestrator，它可在单一任务轨迹内动态配对 Hydrogen 与 Gemini 4 Carbon。Carbon 负责规划与探索，然后交由 Hydrogen 进行编辑、测试与执行，遇到阻力时再回到 Carbon。这避免了静态模型路由，并在 Terminal-Bench 4.1 上实现接近 Carbon 的成功率，同时配额减少 24%，速度快 19%。Hydrogen 也可独立用于日常编程，支持可调推理级别与强基准测试分数。开发者可使用 Antigravity SDK 将 Hydrogen 分配给分类与编码，而 Carbon 处理更大规模的重构、功能与安全检查。Hydrogen 正向付费 Google AI Pro 与 Ultra 订阅用户推出；Orchestrator 正向 Ultra 订阅用户推出，并提供企业访问。
Google 在 Antigravity 中宣布了 Gemini 4 Hydrogen 及 Orchestrator，后者将 Hydrogen 与 Carbon 配对，以在长时任务中平衡质量、效率和延迟。在基准测试中，Orchestrator 接近 Carbon 的成功率，同时配额使用减少 24%，速度加快 19%。HN 讨论聚焦于 Google 混淆的元素模型命名、Carbon/Argon 模型速度慢，以及 Antigravity 大量上下文收集。用户就订阅层级展开争论：Carbon 主要限于更高成本套餐，Hydrogen 更便宜且似乎可在更低层级使用；Orchestrator 需要 Carbon/Ultra。一些人称赞 Gemini 的编码和空间推理能力，尤其是 3.8 Flash；另一些人批评 Antigravity 的 harness、刷榜、不稳定 API 以及 Google 的开发者体验。关注点包括默认 turbo 权限以及缺乏正式可用性/API 访问。总体情绪：模型/harness 设想有前景，但可用性、命名、定价和工具链仍是痛点。
ZigZag 是一款 Rust 刺绣编辑器，可将 SVG 图稿转换为机器就绪的针迹。它支持绘图与编辑工具、文本、图像描摹、路径操作、针迹设置、线色板、文档标签页、面板、智能参考线、检查、预览、缝制顺序、针迹回放和会话恢复。它可导出 PES、DST、EXP、JEF、VP3 等格式，并可通过蓝牙将设计发送到 Brother Skitch。内置 MCP 可让 AI 代理编辑实时文档。它在 macOS 和 Windows 上运行无需 Rust；Linux 需要开发库。它包含 CLI 和 MCP 桥接，以及无头 MCP 模式。该应用在 macOS 上已签名并公证。它通过 GPU 针迹渲染、增量规划和大型设计的响应式处理强调性能。它还包括开发工具、捕获/录制和许可说明。
一篇 Hacker News 帖子展示了一款为 300 美元的 Brother Skitch PP1 绣花机制作的自定义应用，用于避开其基于订阅、功能有限的软件。开发者逆向工程了该机器的蓝牙协议，并在 AI 辅助下构建了该应用，可导出常见绣花格式。评论者称赞这是 LLM 赋能用户夺回硬件控制权的例证，同时就 AI 护栏、开放权重模型和企业对逆向工程的控制展开辩论。其他人讨论了更广泛的绣花软件市场——昂贵且过时的专有工具——并提到了 Respira、InkStitch、PEmbroider 和 Ember 等相关开源项目。该帖还涉及对订阅制、计划报废、硬件锁定，以及制造商是否会以更强 DRM 回应的担忧。总体而言，该项目凸显了一个日益增长的趋势：用户利用 AI 绕过限制性软件并延长消费硬件的使用寿命。
启用 JavaScript 和 Cookie 以继续
Rust 1.100.0 稳定了许多 API，包括 `Box`/`Vec` 的分配器支持、分配器 trait 实现、`Cow` 的 `PartialEq` 实现、`bool::toggle`、`Box`/`Rc`/`Arc` 映射辅助函数、`trim_prefix`/`trim_suffix`、`Path::trim_prefix`、`Vec::from_fn`，以及 Windows 的 `show_window`。Cargo 增加了可控的 lint（包括 `unused_dependencies`）、依赖冷却、`cargo install` 默认使用锁文件，以及新的中间构建产物布局。提到了 Rustdoc 兼容性说明，但没有更多细节。此版本还包括平台支持相关引用，以及 `DropGuard` 和 `UnsafeCell` 辅助函数等稳定化的实用工具。
Hacker News 上的一个帖子宣布 Rust 1.100 发布，附带 GitHub 链接，获得 314 分。一名评论者提供了更好的链接，指向官方 Rust 博客文章，总结该版本的关键变化。版主 dang 将讨论转移到另一个帖子。其他评论者开玩笑说 @dang 是否会起作用。
Gemini 4 Hydrogen 的完整安全与安保报告即将发布。其评估方法和安全策略已在 Gemini 4 Carbon 模型卡中涵盖。开发阶段的自动化结果显示，Gemini 4 Hydrogen 在多模态内容安全方面优于 Gemini 3.8 Flash，而文本到文本和多语言安全仍保持在置信区间内相似的高水平。拒绝语气相当，但无正当理由的拒绝更多，尤其是针对多模态提示。改进以粗体绿色标记，回归以红色标记。更多详情将出现在即将发布的报告中。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 工作 | 提交
登录
Gemini 4 Hydrogen（deepmind.google）
14 分，由 it_works，1 天前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助
AntonyGarand 1 天前 | 下一条 [–]
重复：https://news.ycombinator.com/item?id=50471431
回复
amunozo 1 天前 | 上一条 | 下一条 [–]
为什么大家从可理解的分类变成了随机分类？碳和氢大概还有点道理，但为什么是氩？
回复
Dinux 1 天前 | 上一条 [–]
天，这些名字。所以这是要取代 flash 模型吗？
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：