今日速览
2026年11月12日 · 星期四
- agent 进入现实世界,开始碰墙:联合航空禁止第三方 AI agent 替旅客订票(305 条评论);同一天 YC 公司 Pomerado 发布「把任何网站变成 agent 可调用的 MCP」。一边在关门,一边在造钥匙。
- agent 的能力和局限都摆上台面:一个非考古学家用 48 个 agent 三天在激光雷达数据里找到一处玛雅遗址(918 分,当天最高),事后发现 2025 年已有论文记录,agent 查文献时漏了。
- 给 agent 用的基础设施:AWS 官方出了本地模拟器,让 agent 和测试不碰真云;Google 推出 Gemini Decisions API,专做是/否、选择题打分,150–250 毫秒出结果;Atuin 把各家编程 agent 的会话同步、可搜索、可跨工具续接。
- 英伟达风波:《华尔街日报》称董事会准备撤换黄仁勋(587 条评论),《纽约时报》报道他与一名下属高管有私人关系。
- 本地和隐私:Yogurt 开源替代 Granola,会议记录全在本机;华为开源量化工具 MACaQ;苹果发布更快的 RAG 检索研究。
- 其余:Python 之禅作者 Tim Peters 去世(828 分)、Jane Street 数据中心险被误报烟雾淹掉、GitHub Actions 锁文件、浏览器里的逼真沙子模拟等。
1 / 25必读🔥 918 · 💬 335
48 个 AI agent 三天在激光雷达数据里「发现」一处玛雅遗址
作者不是考古学家,靠 agent 看 NASA 激光雷达图找到疑似遗址,墨西哥官方登记里没有;事后发现 2025 年论文已记录过。
agent 能把一个外行的念头在三天内变成一份像样的发现报告,但「查重」这一步还是漏了。
要点
- 作者在秘鲁旅行时起意,问了 Gemini 等,都建议用激光雷达。
- agent 把约 1200 平方公里的激光雷达数据转成图片,48 个 agent 按一份详细指南逐张看。
- 疑似遗址在悬崖边,有平整广场、8–12 米高的椭圆金字塔和可能的蓄水池。
2 / 25必读🔥 646 · 💬 211
AWS 发布官方本地模拟器,不用账号就能测 AWS 代码
在本机、开发服务器或 CI 里模拟 AWS API,免费,用 Rust 写成,还附带给编程 agent 用的安装 skill。
agent 写代码需要一个随便折腾也不花钱、不出事的沙盒,AWS 自己把它做了。
要点
- 请求发给模拟器而不是 AWS,不需要 AWS 账号,没有额外费用;有服务器模式和嵌入式模式。
- 每个版本发布各服务与真 AWS 的「保真度分数」;不支持的行为记录在仓库 issues 目录里。
- 官方明确说不要用它测 IAM 权限、资源策略、KMS 密钥策略等安全相关内容。
3 / 25必读🔥 325 · 💬 305
联合航空禁止 AI agent 替旅客订机票
理由是安全风险和可能违反联邦规定;分析师认为真实原因是不想再多一个中间商,也不想为海量机器人搜索买单。
agent 想替用户办事,第一道墙不是技术,是商家愿不愿意。
要点
- 联合航空称,把账户凭证交给第三方 AI 助手可能泄露敏感信息,导致误购、账户被改或里程被用。
- 公司还说用 agent 值机可能违反联邦规定,比如旅客需亲自确认行李无违禁品。
- 联合航空不想在谷歌、比价网站、OTA 之外再多一个更强的中间商;航班搜索本身也花钱。
4 / 25必读🔥 388 · 💬 587
《华尔街日报》:英伟达董事会准备撤换黄仁勋
报道称起因是两段婚外情,其中一人疑似中国间谍、另一人是员工;董事会最快周三开会决定。
全球最值钱的公司之一可能突然换帅,AI 算力行业的关键人物风险被摆上桌面。
要点
- 《华尔街日报》独家:董事会准备撤换黄仁勋,此前公司调查了他的婚外情,其中一人被指为中国间谍。
- 报道称董事会最快周三开会讨论他的去留。
- 同日《纽约时报》报道他与一名直接下属高管有私人关系。
5 / 25必读🔥 245 · 💬 78
Google 推出 Gemini Decisions API:专做选择题的快速模型
一次请求可问最多 1000 个是/否、单选或打分问题,不生成文字,直接返回概率,端到端 150–250 毫秒。
agent 里大量步骤其实是「选哪个」,不需要写作文,单独做一个便宜又快的判断模型很合理。
要点
- 由新模型 Gemini Decision 1 驱动,支持文字、图片、音频、视频、PDF,输入最长 256K 词元。
- 价格为每百万输入词元 0.10 美元,不收输出费。
- 用途举例:工具选择、内容审核规则检查、模型路由、给上下文打分;官方称校准误差最低。
6 / 25必读🔥 47 · 💬 36
Launch HN:Pomerado 把任何网站变成 agent 能调用的 MCP 接口
YC 公司:agent 先在浏览器里把任务做一遍,再固化成稳定的接口,之后调用 5–30 秒返回,网站改版时自动修复。
网站没有 API,agent 就只能「像人一样点网页」;这家想把一次性的点击变成可复用的接口。
要点
- 创始人来自麦肯锡和 Scale AI,说在医疗、电信等行业部署 agent 时,最大瓶颈是对接老旧网站。
- 流程:用户用自然语言描述任务、回答几个问题,不到一小时拿到 MCP。
- 他们说航空、银行、保险、政府网站都缺 API,而且很多公司出于安全合规禁止 computer use。
7 / 25必读🔥 189 · 💬 69
Atuin Threads:所有编程 agent 会话跨机器同步、可搜索、可换工具续接
在 Claude Code 里开始的任务,可以到另一台机器的 Codex 里接着做;会话端到端加密同步。
agent 会话记录了「为什么这么做」,比代码和命令历史更值钱,但目前散落各处没人用。
要点
- Atuin 原本是同步 shell 命令历史的工具;从 18.24 版起支持搜索、续接、分叉 agent 会话。
- 作者说现在自己机器上一半以上的命令不是自己写的,而是 agent 写的。
- 提供 MCP,让 agent 自己搜过去的会话;可以用官方同步服务器、自建或只存本地。
8 / 25必读🔥 164 · 💬 73
Show HN:Yogurt,免费开源、数据不出本机的 Granola 替代品
会议转写、总结、问答全在本地模型上跑,不加入会议,带本地 MCP 服务器,支持 Mac/Windows/Linux。
总结会议纪要不需要最强的模型,本地小模型已经够用,这让「免费 + 隐私」成为卖点。
要点
- MIT 许可,Electron 桌面应用;转写用 whisper.cpp 或苹果设备端 SpeechAnalyzer。
- 像 Granola 一样后台运行、不加入通话;需要时可通过本地 MCP 把笔记交给前沿模型。
- 作者说现有开源工具缺日历集成、MCP,或要注册账号,体验不够精致,所以花大量时间打磨交互和动画。
9 / 25扫读🔥 98 · 💬 19
93% 的油漆泼溅图都是合法的 Perl 程序(2019)
一篇愚人节学术恶搞论文:把泼溅图做文字识别,结果大多能被 Perl 解释器接受。
Perl 语法宽松到几乎什么都能跑。
要点
- 来自 SIGBOVIK,一个专发搞笑论文的会议。
- 这篇在 HN 已火过多次。
- 对语言和格式设计:「什么都接受」看似友好,其实让错误很难被发现。
10 / 25扫读🔥 828 · 💬 92
Python 之禅作者 Tim Peters 去世
Guido van Rossum 宣布他已于今年 7 月 15 日离世;他还发明了被 Java 和 Android 采用的 Timsort 排序算法。
一个人靠耐心、细致的回答,定下了一个社区的风格。
要点
- 他说服 Guido 让 Python 支持整数和浮点数混合运算;在邮件列表上因大量耐心回答被称为「Timbot」。
- 写了 PEP 20《Python 之禅》;2002 年设计 Timsort。
- Guido 说他从不直接否定别人,而是详细解释为什么行或不行。这是社区文化的来源。
11 / 25扫读🔥 101 · 💬 19
GitHub Actions 支持锁文件,像锁依赖一样锁住工作流
以前的建议是把 action 钉到完整 commit 哈希;现在用 gh actions-lock 生成锁文件,写法回到版本标签。
供应链攻击防护变成一条命令,该开就开。
要点
- 标签可以被改指向恶意代码,所以以前要写一长串哈希。
- 作者介绍了配合 Renovate、Dependabot 和安全检查工具 zizmor 的用法。
- 「供应链攻击」指攻击你依赖的第三方组件,而不是直接攻击你。CI 是常见入口。
12 / 25扫读🔥 401 · 💬 198
一次误报的烟雾警报,差点淹掉 Jane Street 唯一的纽约数据中心
施工粉尘触发烟雾报警,系统按设计关掉空调,机房升温会触发喷淋;团队只能抢在喷水前拔掉所有电源。
每个安全设计单独看都合理,连在一起就可能变成陷阱。
要点
- 喷淋头靠温度触发:烟雾报警先给管道充水,温度够高才喷;同时烟雾报警会关掉机房空调以免助燃。
- 机房散热需求大,空调一停温度飞升,于是「假火警」会变成真喷水。
- 作者是当时的系统团队成员,住得离公司步行 9 分钟,被叫去处理。
13 / 25扫读🔥 137 · 💬 49
长文:AI 时代的 Emacs
一位 Emacs 用户用 Claude Code 一年后反思:AI 让「想要什么就有什么」成真,但没人知道它是怎么工作的。
软件自由的定义被 AI 改写了:从能看懂代码,变成能让电脑做任何你想到的事。
要点
- 作者 2025 年 9 月开始用 Claude Code,说它现在比当时强一个数量级。
- 文中回应了部分人要做一个不接受 LLM 生成贡献的 Emacs 版本的主张。
- 当用户自己能让 AI 定制功能,「功能多」不再是护城河,可扩展性和可理解性更重要。
14 / 25扫读🔥 30 · 💬 10
Stela:让 x86 PC 跑苹果芯片版 macOS 的开源层
UEFI 启动程序,含 arm64 到 x86-64 的翻译器、英伟达显卡的 Metal 驱动和苹果芯片硬件模型;能启动但很慢。
技术上很硬核,但离能用还远。
要点
- 支持 3000 多种 AArch64 指令编码,可在任何 x86-64-v2 的 Intel 或 AMD CPU 上运行。
- 作者警告 v0.1.0 启动成功率很低。
- 它不需要宿主操作系统,相当于直接在硬件上模拟一台苹果芯片 Mac。
15 / 25扫读🔥 159 · 💬 72
Show HN:仿《Papers, Please》的游戏,你来决定投哪家 YC 公司
玩家扮演投资人,在 Demo Day 后检查创始人材料,决定投、不投或暂缓。
创意好,但新手引导没跟上。
要点
- 游戏名《Term Sheet, Please》,作者 Bo Lau。
- 网页可直接玩。
- 多位玩家玩了五分钟就放弃,说看不懂文件,说明玩法再有梗也要先让人明白目标。
16 / 25扫读🔥 55 · 💬 18
华为开源内部量化工具 MACaQ,用于本地推理
可量化文字、图像、视频、音频模型,支持 llama.cpp、vLLM、Diffusers;称 64 分钟量化 1220 亿参数模型,只用 32.5GB 显存。
把大模型压小到个人电脑能跑的工具,又多一个强选手。
要点
- Apache-2.0 许可;称困惑度低于 MR-GPTQ 等方法,或以 11 倍更短时间达到同等效果。
- 支持华为昇腾芯片。
- 「量化」是把模型参数用更少位数存储,换来更小体积和更快速度,代价是轻微精度损失。
17 / 25扫读🔥 64 · 💬 15
犹他茶壶:计算机图形学最有名的 3D 模型
犹他大学图形学团队的茶壶资料页,介绍这个经典测试模型并提供模型文件。
一个随手选的测试物,成了一个领域的符号。
要点
- 原型茶壶来自 Melitta,有评论说 3D 模型比原物扁一些。
- 标准测试物让大家能比较结果,这种「公共基准」的价值常被低估。
18 / 25扫读🔥 146 · 💬 24
苹果研究:用小神经网络让 RAG 检索更快更准
针对固定数据库,离线训练小网络学会把查询引向最佳匹配,在 ICML 2026 发表。
利用「用户的问题长什么样」这一信息,检索可以更省。
要点
- 向量检索是推荐、搜索和 RAG 的核心;传统方法只看文档向量的分布,不看查询的特点。
- RAG 里的查询是短问题,文档是长文本,两者差别很大;生产环境的查询分布通常稳定。
- 对产品:查询模式稳定的场景,可以用这种「先投入训练、后省推理」的思路。
19 / 25扫读🔥 18 · 💬 1
Sierra Online 简史(2017)
回顾经典冒险游戏公司 Sierra 的兴起、衰落和重生。
一家开创性游戏公司的起落。
要点
- 文章为 2017 年的回顾长文。
- 适合对游戏行业史感兴趣的人。
20 / 25扫读🔥 297 · 💬 63
浏览器里的逼真沙子模拟
用 WebGL2 写成,手指推沙、倾斜手机让沙滑动、摇一摇撒开,带声音和震动。
手机上的物理手感,靠传感器和声音放大了体验。
要点
- 不同类型的沙子声音不同。
- 源码在 GitHub 公开。
- 好的小玩具常赢在细节:触觉、声音、手感。
21 / 25扫读🔥 40 · 💬 24
农民开始用无人机播种覆盖作物
美国农业媒体报道:用无人机撒播覆盖作物种子,可以在主作物还没收时就播下。
无人机在农业里找到一个具体、能算账的用途。
要点
- 文中的无人机主要是大疆 Agras。
- 评论指出大疆在美国未来供货不确定,政策风险是这类硬件的关键变量。
22 / 25扫读🔥 6 · 💬 0
《铁巨人》是怎么做活的
Animation Obsessive 的长文,讲动画电影《铁巨人》如何让巨人角色显得有生命。
一部经典动画的制作故事。
要点
- 文章来自动画专题通讯 Animation Obsessive。
- 抓取时 HN 上还没有评论。
- 适合对动画和角色设计感兴趣的人;做角色产品的也可以看看怎样让角色「活」起来。
23 / 25扫读🔥 154 · 💬 142
《纽约时报》:黄仁勋被指与直接下属高管有私人关系
与《华尔街日报》撤换报道同日发出;原文在付费墙后,未抓到正文。
英伟达治理风波的另一条线索。
要点
- NYT 正文未能抓取,以下来自 HN 评论引用。
- 评论引用报道称两人都已婚;有人提到其安保曾扣下拍视频的人并提出付钱让其签保密协议。
- 这类事件的核心问题是利益冲突和董事会监督,而不只是私生活。
24 / 25扫读🔥 49 · 💬 59
吉他指板上最难找的音
音乐学习网站 Gitori 用自己小游戏的数据,统计玩家最难找到的音的位置。
用产品里的用户数据写内容,是个好的增长方法。
要点
- 数据来自网站的「找音」游戏,玩家要在高亮区域找出指定音。
- 学习类产品可以把用户错误数据变成内容,既有用又能引流。
25 / 25扫读🔥 237 · 💬 35
线性规划一分钟,做到 GPT-6 Astra 改模型权重花 8 小时的事
MIT 论文里 Astra 改了 0.016% 的权重让小模型数学能力大涨;作者发现这其实是个线性规划问题。
AI 用蛮力试出来的东西,有时用经典数学一步就能解。
要点
- Astra 编辑 Qwen3.5-0.8B,MATH-500 从 7.9% 升到 48.1%,主要是修好了「思考死循环」。
- 基础模型 93% 的回答撞到 32768 词元上限都没答完。
- 「线性规划」是在约束下求最优解的老方法,速度快、结果可解释。