我们发现了一个藏在我们其中一间办公室里的精密录音设备。我们利用我们的模型来了解该设备及其来源，查明一名特定员工在几天前放置了它。我们已将此事提交给FBI，并感谢迅速采取行动实施逮捕的探员和检察官。FBI的调查仍在进行中，我们将继续支持他们的工作。目前，我们没有迹象表明此人曾不当访问或外泄模型权重、源代码或客户数据。该员工已被解雇。我们严肃对待保护我们的技术、数据和人员，并将其视为关乎国家重要性的事项。我们的安全计划旨在防范各种威胁行为者，从内部风险、网络犯罪分子到国家行为体，而此案就是一个例子，说明AI如何帮助应对这些复杂的安全威胁。

Parsimony 是一个衡量 AI 编程智能体中多余代码的基准。与解决率/成本指标不同，它衡量净编程单元：语句、调用、比较、名称、字面量等语法元素。它减去删除的代码（净 = 新增 − 删除），并避免按行计数，因此堆砌代码不会得到奖励。模型按其在已解决任务上新增的平均净单元排名，从低到高；失败尝试也计入平均值。已解决数据来自 SWE-bench Verified，不重新运行测试。补丁会被应用，变更文件会被解析；仅限 Python，排除测试、文档、生成文件。它使用相同的 mini-SWE-agent，不过智能体会影响输出。更小并不总是更好：单元衡量的是规模，而非可读性/设计，而且写更多代码的模型往往能解决更多任务。用户可以比较模型、查看排行榜，或通过示例 JSON 提交结果。代码/数据：github.com/La5u/Parsimony。

我带着模糊的路线指引，来到深藏山谷中的牧羊人夏季营地。这算是个主题：我找到的奶酪总在偏远之处，由那些隐居般的人出于纯粹的固执守着老办法做出来。那里美得惊人，只有我和我的背包。山谷尽头是一道陡峭悬崖，上有破败

Spotatui 是一个轻量级的 Rust 终端音乐播放器，也是 spotify-tui 的活跃维护分支。它无需 spotifyd 或官方客户端即可原生播放 Spotify（需要 Premium），但 Spotify 是可选的。它还支持本地文件、Subsonic/Navidrome、网络电台、YouTube、Qobuz，以及在 macOS 上的 Apple Music。功能包括同步歌词、实时可视化器、跨来源队列、播放列表同步、Lua 插件、收听历史/回顾，以及完整的命令行界面。流式播放时约占用 78 MB 内存。桌面应用在 Spotify 风格的窗口中提供相同的播放器。可通过一行脚本、Homebrew、Cargo、AUR、Winget 或 Nix 安装。AI-DJ 和 MCP 集成让编码代理可以控制播放。它基本上可脚本化、可配置，并由社区维护。

Hypermass CLI 是一个命令行工具，可将实时 Hypermass 数据流同步到本地文件夹。安装后，使用 `hypermass subscribe <stream>` 配置流，并使用 `hypermass sync` 在文件发布时持续获取文件。文件会出现在 `<home>/hypermass/subscriptions/<stream-id>` 下，每个载荷一个文件，以载荷 ID 命名，并按发布顺序交付。你可以处理并删除数据文件，但必须保留每个流的隐藏 `.hypermass` 文件夹，它用于跟踪你在流中的位置。`sync` 还会从配置的发布源发布文件。使用 `status`、replay 和 `reload` 监控或管理流。该 CLI 面向数据科学家、开发者、研究人员和生产系统，他们需要一种简单、可重复、跨平台的方式来自动化数据摄取和发布。

1976年7月，阿佩尔和哈肯宣布了四色定理的证明，借助一台运行了1200小时、做出了100亿次判断的计算机；约翰·科赫协助了算法。结果引发了激烈争论。一些数学家接受了它；另一些则拒绝这种依赖计算机验证而非人类可核查推理的证明，称其为“神谕”，或说它根本不是数学。年龄也起了作用：年长的数学家怀疑计算机证明，年轻的数学家则怀疑700页手工计算。比尔·图特、海因里希·赫施和特德·斯沃特的高调支持提升了可信度，尽管《纽约时报》最初拒绝报道此事。1979年，托马斯·蒂莫奇科主张，无法通览的证明不是传统证明；斯沃特回应说，计算机辅助证明只是纸笔的延伸。这一事件标志着人机数学的开端，并提出了关于证明中的信任、验证和优雅的持久问题。

Guitoro 是一款免费、完整的在线虚拟吉他。它提供四种采样乐器——钢弦原声吉他、古典吉他、电吉他和四弦贝斯——音色可选、10 种调弦、最高第 10 品变调夹以及左手模式。在 24 个大小调中任意一个调里，提供 15 个具有真实琴颈指型的和弦；可用 F#m7 等和弦编辑调性，并在 Standard、Easy 和 Up 三种按法之间切换。使用 56 种扫弦/拨弦模式，以任意速度（最低 20%）演奏 51 首歌曲，或粘贴你自己的 ChordPro/和弦网站歌曲并添加反复记号。伴奏乐队提供 15 种鼓风格和 25 条贝斯线，速度 10–220 BPM，并带节拍器。独奏模式支持带锤弦、推弦和颤音的旋律。音箱与效果器包括过载、失真、法兹、EQ、混响和延迟。最多录制 10 分钟，可回放或导出 WAV/压缩音频。麦克风调音器覆盖吉他、贝斯、尤克里里和特殊调弦。一切都在浏览器中运行。

启用 JavaScript 和 Cookie 以继续

在9月30日迪拜航空恐怖劫机未遂事件后，以色列正在实施限制措施，实际上禁止许多穆斯林飞行员和客舱乘务员执飞载客前往以色列的航班。该命令并未明确提及宗教，但针对来自与以色列没有正式外交关系的国家的31种国籍，包括阿尔及利亚、突尼斯、伊朗和巴基斯坦公民，以及持有这些国籍的法国公民。报道称，法国航空正在遵守该规定；而在执行过程中，埃塞俄比亚航空一架航班因一名飞行员的国籍被拒绝，一架货机因一名飞行员是印度尼西亚人而被迫在空中返航。该政策出台前，以色列交通部因在迪拜航空事件后安保执行松懈而受到批评。涉嫌袭击者因极端伊斯兰主义观点被阿曼禁止飞行，目前正在迪拜接受审讯

`ai-deslop` 是一个 Oxlint 插件，提供有主见的规则，用于标记低信号、AI 生成的“slop”代码。它引入了来自 `dmmulroy/anti-slop`（MIT）的通用规则，并在 `deslop/*` 命名空间下添加了更多规则。使用 `npm install --save-dev ai-deslop` 安装；`@oxlint/plugins` 是运行时依赖。它提供面向 Bun、Deno 和 Node 的已编译 JS。在 Oxlint 中通过 `jsPlugins` 和 `deslopConfigs.recommended` 配置。推荐规则涵盖不安全类型模式（unknown 参数/返回值、断言、类型拓宽、对象参数/字典）、性能问题（filter/map、reduce 展开、Reflect）、测试反模式（模块模拟、仅模拟调用断言）以及标准 TypeScript 规则（已弃用、浮动 Promise、require 导入、不必要条件、不可达）。可选规则处理重复 const/类型、重命名导入和 Tailwind 类名。鸣谢 anti-slop（MIT）。

XBOW 在六天内构建了一个由大语言模型辅助的 Chrome 全链漏洞利用，API 成本约 4 万美元，并赢得了谷歌首个 25 万美元的全链 VRP 奖励。该利用链使用三个漏洞，同时突破了 V8 的进程内沙箱和 Chrome 的渲染器沙箱：一个 Maglev 去优化缺陷复用了可变的 HeapNumber，从而在 V8 的指针压缩笼内获得读/写能力；一个 Blink 中动画 WebP 的 TOCTOU 将缓存的几何数据与已更改的字节结合起来，产生一次选定的原生写入；以及一个 Crashpad 竞态，它信任被挂起渲染器的内存，使代码能在未沙箱化的处理程序中执行并启动计算器。AI 代理负责漏洞搜索、概念验证和利用阶段，而 XBOW 研究人员指导目标、接口和后备方案。这三个漏洞都涉及改变某种被认为不可变的东西。Chrome 修复已公开。这项工作表明，大语言模型大幅降低了全链漏洞利用的时间与成本门槛，同时增加了碰撞风险，并使防御更加紧迫。

联邦监管机构和七个州正寻求裁定马丁·什克雷利藐视法庭，指控他违反了终身禁止参与制药行业的禁令。美国联邦贸易委员会称，什克雷利已于2022年5月出狱，他交易了至少60家制药公司的股票，并在YouTube、X和Reddit上讨论生物技术投资和公司。2022年的禁令源于其Vyera/Turing Pharmaceuticals阻挠Daraprim仿制药竞争的计划；该公司将Daraprim的价格从每片17.50美元提高到750美元；该禁令对其实施终身行业禁入，并处以超过6400万美元罚款。监管机构请求法院要求什克雷利解释为何不应被裁定民事藐视法庭，并实施制裁：出售制药公司股票，交出交易利润及利息，且不允许用亏损抵扣，并逐步加重处罚，包括可能监禁。什克雷利尚未被裁定藐视法庭。

纳维·皮莱被宣布为2026年诺贝尔和平奖得主，但她面临指控：在担任联合国人权事务负责人期间，她帮助中国政府识别维吾尔异见人士。维吾尔活动人士和人权组织称，她的办公室未经同意与北京分享敏感信息，可能使异见人士及其家人面临迫害。世界维吾尔代表大会前主席多里坤·艾沙表示，有关他和其他人权捍卫者的信息被披露。联合国举报人艾玛·赖利指控皮莱的办公室向中国提供了50多名异见人士的身份，这些人的亲属后来遭遇恐吓、拘留、酷刑或失踪。联合国观察组织敦促诺贝尔委员会作出解释。该奖项提到皮莱对法律原则和道德准则的坚守。中国否认关于在新疆对维吾尔人和其他穆斯林少数群体实施种族灭绝的指控。这一争议使诺贝尔奖决定再次受到审视。

XY 音乐 乐谱 正在加载乐谱… 下载 PDF 原始乐谱 播放位置 小节 — 0:00 / 0:00 速度 0.5× 0.75× 1× 1.25× 1.5× 2× 音量 MIDI 关闭 连接设备… 跟随播放 正在加载乐谱… 内置钢琴 · 可选外部 MIDI · FreePats CC0 正在加载乐谱…

迪士尼和ABC向一家联邦法院表示，FCC下令对ABC旗下全部八家电视台的牌照进行提前审查，是为了就该电视网的节目向其施压，同时规避司法审查。据TheWrap报道，迪士尼在一份文件中辩称，FCC原本可以采用传票、罚款或停止令——其中一些需要法院介入——并援引10月6日的一场听证会，政府律师在会上承认存在其他选择。FCC于4月28日下令进行这些审查，要求5月28日前提交续期申请，尽管这些牌照要到2028至2031年才需续期。迪士尼在抗议下遵从，并于8月起诉。路透社指出，这些审查是在特朗普呼吁ABC解雇吉米·坎摩尔之后进行的，而FCC已有50多年未下令提前审查。FCC否认报复，称审查源于对迪士尼雇佣做法的反歧视调查，任何言论影响都是其自找的，并称法院缺乏管辖权。迪士尼寻求初步禁令，以阻止这些审查。

正在加载页面… Specr 实验室 作者：Shaun Pedicini @wunderbaba 更多项目 联系

巴西第一轮选举出现右翼浪潮，参议员弗拉维奥·博索纳罗以微弱优势击败卢拉。两人将进入10月25日的第二轮决选。近期民调显示，博索纳罗略占上风或统计上持平；Polymarket 给出他约86.5%的胜算。市场因预期博索纳罗获胜而上涨：EWZ 大涨12.5%，单日外资流入达到创纪录的20亿美元，高盛报告交易量创纪录。中长期利率收窄，EWZ 可能还有进一步上行空间。博索纳罗已获得四个中右翼政党的支持，瑞银/Ideia 认为其胜选概率为85%。他还必须赢得第二轮选举、组建可信的经济团队、提出可交付的财政计划，并争取国会支持。

沙特领导的联军警告平民在针对性行动前撤离萨那的Al-Sabahah中央燃料站。胡塞武装则敦促沙特公民撤离沙特阿美达曼总部、利雅得哈立德国王机场以及沙特阿美利雅得炼油厂附近的地区。根据一份NOTAM，利雅得国际机场自周末致命袭击以来一直关闭，预计至少关闭到周六。沙特官员誓言，在机场遭袭造成至少13人死亡后，将作出“严肃”回应。胡塞武装表示，他们将继续抗击“沙特的残暴侵略”。也门总统领导委员会主席拉沙德·阿里米表示，“也门黎明”行动正在推进，以结束胡塞政变，“绝不回头”。美国一直置身事外，据报道正向沙特联军提供情报和目标信息。预计针锋相对的升级将持续下去。

一项新的盖洛普治理民调（9月1日至17日）发现，美国人对联邦政府的信任在五项指标上均处于历史最低点。仅33%信任行政部门，28%信任立法部门，33%信任联邦政府处理国际和国内问题；46%信任司法部门，为历来最低。对处理国际问题的信任较去年下降12个百分点，对行政部门的信任下降8个百分点，对处理国内问题的信任下降5个百分点。对行政部门和国际事务的信任低于此前低点。在共和党统一执政下，民主党人的信任极低；独立人士创下历史新低，而共和党人仍相对信任。仅51%信任“美国人民整体”，为有记录以来最低；42%信任政客。地方政府仍最受信任（67%），州政府为55%。总体而言，联邦信任处于盖洛普有记录以来的最低水平；下降可能与美国与伊朗的战争以及乌克兰和加沙的冲突有关，且信任集中于执政党。

Gemini 4 Argon 在物理推理、代码生成和视觉-语义理解方面实现了飞跃，加速机器人技术迈向物理 AGI。它在 ERQA 上得分 87%，在 3D 空间推理方面超越前沿模型。Argon 适用于机器人全生命周期：机器人控制（Spot 移动操作、零样本控制、视频世界模型引导）；Real2Sim（从机器人视频、人类第一视角视频或草图重建经校准的 MuJoCo 孪生体）；物理理解（事后标注、灵巧度与进度/价值估计、纯视觉解谜）；以及研究/自我改进（仿真数据生成、硬件试错与反思、在 MuJoCo WebAssembly 中单提示复现论文）。示例收益包括将真实世界 VLA 成功率从 56% 提升到 75%，并将完成时间从 35 秒缩短到 24 秒。通过对多视角视频、3D 几何、接触力学和本体感觉进行推理，Argon 理解物体如何与智能体进行物理交互。它可通过 Google AI Studio、Gemini API（型号为 gemini-4-argon）以及 Google Antigravity 使用。

Anthropic 称，智能体编程使编码不再是瓶颈；如今开发者基础设施成了限制。随着合并变更从 2026 年 5 月的约 2,500 次/天增长到 9 月的 30,000 次/天，Git 的离线、去中心化设计在 100GB 单体仓库和每日 2500 万次检出下不堪重负。Anthropic 构建了内部 VCS——Scion，并在五个月内迁移了其单体仓库，同时还构建了评审、搜索、IAM 和合并工具。Scion 假设客户端始终在线、客户端-服务器角色非对称、提交/变基在服务端进行、水平扩展、无锁变更集以及稀疏/虚拟检出。它将变更集用作预写日志条目、派生数据结构和分层缓存，实现了 99%+ 缓存命中率、CPU/内存比 git 镜像低 200 倍，以及更快的 CI（CPU 节省 25%）。一个七人团队在五个月内构建了 Scion 和 Antique，同时合并量增长了 10 倍。Claude 编写了大部分代码；工程师设定约束、拒绝过度工程，并审查意图。Anthropic 分享的是经验教训，而不是通用 Git 替代品，以帮助生态系统为智能体规模开发做好准备。

Coris，一家由 YC、Lux、Pathlight 支持的、面向风险与金融运营的 AI 平台，正在帕洛阿尔托招聘一名后端工程师。GoFundMe、Clio 和 Cherry 等客户使用 Coris 来入驻商户、监控风险并阻止欺诈。该职位负责很大一部分后端工作：通过 API、webhook 和 SFTP 进行处理器/平台集成（Stripe、Adyen、Fiserv、TSYS、Repay）；合作伙伴 API；风险/信号/规则引擎；以及每月数亿事件和数十亿 Postgres 行规模的生产运营。你将编写生产级 Python/Django、SQL，以及一些 TypeScript/Next.js，并在有价值时使用 AI 原生工作流和 LLM。它适合喜欢混乱集成、客户升级、生产环境所有权和创业公司强度的工程师。有支付/风险经验者优先。在帕洛阿尔托现场办公，每周五天。

普京是个混蛋

以色列媒体报道称，内塔尼亚胡政府希望加入在也门打击胡塞武装的行动，并正在寻求沙特领导的联军许可。沙特战机正在轰炸胡塞武装控制区，以支持也门设在亚丁的政府。《国土报》称，内塔尼亚胡通过美国斡旋，向王储穆罕默德·本·萨勒曼提出提供军事帮助，以加深关系并对抗共同敌人，但穆罕默德·本·萨勒曼拒绝了，因为担心国内和教士阶层反弹。利雅得和特拉维夫长期以来一直低调合作，对抗伊朗和什叶派影响，并且双方都与胡塞武装交战；加沙战争期间，胡塞武装曾向以色列发射导弹。在利雅得机场遭袭后，内塔尼亚胡谴责这起“恐怖袭击”并表示哀悼。更紧密的沙特-以色列军事联盟会让特朗普政府满意，该政府寻求达成《亚伯拉罕协议》，尽管沙特军事能力有限，这可能仍会吸引穆罕默德·本·萨勒曼。

在布伦特原油价格高于每桶100美元、伊朗战争扰乱能源供应之际，ZeroHedge将于今晚美国东部时间7点举办一场关于石油市场的辩论。Paul Sankey和Arjun Murti将在Erik Townsend主持下，评估中东能源基础设施受损情况及前景。针对霍尔木兹海峡航运的袭击仍在继续；9月海湾原油出口已恢复至战前水平的91%，但成品油出口仍仅为60%。Kpler估计，该地区炼厂加工量从每日990万桶降至8月约730万桶，且2027年第二季度前不太可能全面恢复。卡塔尔能源公司表示，修复两列遭伊朗袭击的LNG生产线将需要三到五年，相当于10至20年的挫折。辩论将涵盖炼油设施受损、原油与成品油价格、局势进一步升级，以及高能源价格是暂时性的地缘政治冲击，还是更长期的结构性短缺。观众可在ZeroHedge主页、X和YouTube上观看。

客户端挑战 JavaScript 已在您的浏览器中被禁用。请启用 JavaScript 以继续。此网站的一个必需部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用其他浏览器。

一名联邦法官暂时叫停了华盛顿东波托马克高尔夫球场进一步的砍树作业，特朗普总统计划对该球场进行翻新。在10月12日的紧急听证会上，法官安娜·C·雷耶斯对司法部直到10月9日晚、即假期周末前，才就砍伐数百棵树的计划通知法院一事极为愤怒。该命令禁止在东部时间10月13日下午2点前继续砍伐，并威胁若违反将以藐视法庭论处。华盛顿特区保护联盟和两名高尔夫球手提起诉讼，指控翻新工程违反《国家环境政策法》。原告称10月10日砍伐了529棵树；政府称是430棵。雷耶斯此前要求，砍伐超过10棵树前必须通知。一名公园主管作证称，授权于10月6日下达，讨论于9月下旬开始，砍伐与2019年的一项计划有关。诉讼还指控，白宫东翼拆除产生的废弃物被倾倒在球场，而未进行规定的环境审查。白宫助理斯蒂芬·米勒批评了这名法官。