2026-09-17

26 篇热帖

1. Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)

使用 4B 模型生成比 Postgres 快 81% 的查询计划

项目背景

查询优化器(如 Postgres)在执行复杂查询时面临巨大挑战,尤其是连接排序(Join Ordering)是一个 NP-hard 问题。Postgres 依赖基数估计(Cardinality Estimation)来选择计划,但由于其假设数据呈均匀分布,在处理实际非均匀数据时往往会产生错误的估计,导致性能大幅下降。

本项目旨在探索:能否通过监督微调(SFT)和智能体强化学习(RL),训练一个小型(4B 参数)开源模型,使其能够生成 pg_hint_plan 提示词,从而产出优于 Postgres 默认计划的查询方案。

实验设计与方法论

1. 智能体框架与工具

作者开发了名为 qo-agent 的轻量级智能体框架,为模型提供了六个核心工具,使其能够进行交互式优化:

  • inspect_relation:查看表结构、索引及统计信息。
  • get_column_stats:获取列统计数据。
  • get_plan:获取默认计划或候选计划的估计。
  • evaluate_candidate:验证并执行候选计划以测量实际执行时间。
  • keep_default 与 finish:结束搜索并选择最佳方案。

2. 基准测试与数据

  • 训练集:使用大规模的基数估计基准测试(CEB),包含约 1.36 万个合成查询。
  • 验证集:使用连接排序基准测试(JOB),基于 IMDb 数据集,包含 113 个复杂的连接查询。

3. 环境去噪(De-noising)

为了确保测量结果的准确性,作者通过调整 Postgres 参数减少了噪声。研究发现,将 shared_buffers 设置为 2GB 可以确保数据完全驻留在内存中,从而消除由于磁盘 I/O 波动带来的测量误差,将“误导率”(Fooling Rate)降至极低。

4. 两阶段训练流程

第一阶段:监督微调(SFT)

采用**离策蒸馏(Off-policy Distillation)**技术。通过收集高性能教师模型(如 GPT-6 Astra)在 qo-agent 框架下的操作轨迹,训练 4B 模型学习如何使用工具、生成正确的 JSON 格式以及理解数据库模式。

第二阶段:智能体强化学习(Agentic RL)

由于标准 GRPO 算法在所有候选计划都慢于默认计划时可能产生错误的奖励信号,作者设计了一种**锚定 GRPO(Anchored GRPO)**变体。该算法将候选计划的执行速度与“默认计划”进行锚定对比,只有当候选计划确实优于默认计划时才给予正向激励,从而有效引导模型进行真正的优化。

实验结果

实验证明,通过两阶段训练,小型模型展现了卓越的优化能力:

  • 性能提升:在 JOB 基准测试中,通过在三个轨迹中选取最佳候选(Best-of-15),模型实现了 1.81x 的几何平均加速,并在 113 个连接密集型查询中实现了 44.7% 的总延迟降低。
  • 优化策略:模型不仅学会了使用 Leading 提示词重写连接树,还能够识别并利用位图扫描(Bitmap Scan)、索引扫描以及并行执行(Parallel)等策略。
  • 成本效益:整个实验(包括租用 H100 算力和 API 费用)的总成本约为 1,200 美元,证明了针对特定领域任务训练小模型的经济可行性。

结论

该研究表明,尽管小型模型在通用任务上不及超大规模模型,但通过蒸馏先进模型的推理能力并结合针对性的强化学习,小模型可以在特定专业领域(如数据库查询优化)实现极高的效率,为企业在私有数据上构建低成本、高性能的领域专用模型提供了路径。

2. Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)

内容摘要

该内容涉及 Xiaomi Mimo 2.6 训练后实时仪表盘 (live post-training dashboard)。目前显示的状态为系统正在尝试重新连接 (reconnecting...)。

4. One Year of Sponsored Servo Development (servo.org)

Servo 赞助开发一周年工作回顾

项目背景

自去年 9 月起,Servo 项目维护者 Josh Bowman-Matthews (@jdm) 开始担任由 OpenCollective 和 GitHub 捐赠资助的兼职角色。其主要工作目标是优化 Servo 项目的贡献者体验,并提升项目的整体开发效率。

主要量化成就

在过去的一年里,作者通过资助工作完成了以下任务:

  • 维护者培养:提名了 8 名新的维护者。
  • 代码审查:审查了 1150 个拉取请求 (Pull Requests)。
  • 问题引导:针对新贡献者提交了 114 个 Issues,其中 92% 的问题已得到修复。
  • 文档建设:编写了多份关键文档,内容涵盖借用风险 (borrow hazards)、实验性功能、AI 政策、寻找开发任务的方法以及如何诊断稳定与间歇性测试失败等。

核心技术贡献

  • JS 引擎集成优化:支持了 Servo JavaScript 引擎集成的大规模重写工作,旨在解决与垃圾回收 (GC) 相关的间歇性 panic 问题。作者通过审查大量 PR 并提交相关问题,协助将该任务拆解并分配给多位贡献者。
  • 测试稳定性提升:协助诊断测试失败问题,包括修复了 window.open 的异常行为,并显著提升了大量不稳定测试 (flaky tests) 的稳定性,从而降低了合并 PR 的难度。
  • 外部资助支持:协助另一位贡献者成功申请到了关于 "Servo Navigation Downloads" 的开发资助。

总结

该资助角色不仅实现了维护者在项目贡献与家庭生活之间的平衡,更通过专注于降低项目参与门槛,有效地提升了 Servo 项目对新贡献者的可访问性。

5. Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)

文章信息摘要

本文档包含了一篇名为 "Keys Not Included: recovering the signing keys for US driver's license barcodes" 的文章的相关元数据。

关键详情:

  • 标题:Keys Not Included: recovering the signing keys for US driver's license barcodes
  • 作者:Ryan Fahey
  • 发布背景:该内容属于 Ryan Fahey 的个人网站、作品集及博客。

主题概览: 根据标题显示,文章的核心研究方向是关于如何恢复用于美国驾照条形码(barcodes)的签名密钥(signing keys)。

6. GLM Built Its Own Inference Infrastructure (z.ai)

摘要

本文探讨了 GLM 如何通过构建自有的推理基础设施,以实现模型的递归自我改进(Recursive Self-Improvement)。

7. Canada welcomes EU proposal to become 'associate member' (www.bbc.com)

加拿大欢迎加入欧盟“准成员”身份的提议

加拿大总理马克·卡尼(Mark Carney)对欧盟主席冯德莱恩(Ursula von der Leyen)提出的让加拿大成为欧盟首个“准成员”(associate member)的设想表示欢迎。卡尼在斯特拉斯堡的欧洲议会演讲中强调,面对地缘政治动荡、气候变化、民主规范受损以及贸易武器化等全球挑战,加拿大与欧洲加强合作将使双方变得更加强大。

合作核心领域

该提议旨在建立一种全新的合作框架,重点涵盖以下领域:

  • 能源与关键矿产: 强化战略自主权,加拿大可供应液化天然气和氢能以保障欧洲能源安全,同时借鉴欧洲在清洁能源技术方面的专业经验。
  • 国防与经济安全: 在制造业、技术、国防及经济安全领域开展更紧密的协作。
  • 人文交流: 提议通过让加拿大加入欧盟的 Erasmus+ 项目,促进双方青年在工作、学习和生活上的流动。

政治反应与挑战

  • 美国态度: 美国总统特朗普对此表示强烈反对,称该想法“荒谬”,并威胁称如果认为此举属于“敌对行为”,将对欧洲征收非常严重的关税。对此,卡尼回应称,加拿大将自主决定其国际协议,不会受他人干涉。
  • 实施难度: “准成员”身份在目前的欧盟框架内尚不存在,其实施可能耗时多年。此外,任何新的安排都需要获得欧盟全部27个成员国的同意,而部分成员国此前对创建新的成员形式持有保留意见。

未来展望

卡尼强调,加拿大并不寻求成为欧盟的全权成员,也不意图建立一个与大国竞争的“第三势力”,而是旨在通过合作维护主权和民主价值观。目前,双方仍处于合作的起步阶段。定于10月底在蒙特利尔举行的加欧峰会将成为双方深入讨论合作细节的关键契机。

8. CCC invites all model citizens to 40C3 (events.ccc.de)

混沌计算机俱乐部(CCC)发布第40届混沌通信大会(40C3)征集公告

活动概况

混沌计算机俱乐部(CCC)宣布将于 2026年12月27日至30日 举办第40届混沌通信大会(40C3)。作为欧洲规模最大的黑客盛会,该会议是一个集技术交流、社会探讨与公民自由保护于一体的平台。由于规模扩大,本次大会将移至汉堡展览馆(Hamburg Exhibition halls)举行。

大会主题:“模范公民” (Model Citizens)

本届大会的主题定为“模范公民”。面对当前全球范围内权威主义抬头、社会团结精神减弱的挑战,CCC旨在通过这一由志愿者驱动、非商业性质的盛会,展示一种全新的社会运行模式。大会强调通过尊重差异、挖掘灵感以及建立基于互助需求的社区感,来构建一个包容且具有战斗精神的协作模型,以此对抗日益严苛的社会环境。

参与征集计划

为了共同塑造这一盛会,CCC现已正式面向全球发起多领域的参与征集(Call for Participation),邀请各类人才加入:

  • 讲座与内容 (Call for Content):征集各类技术、社会及相关领域的专业演讲内容。
  • 音乐与娱乐 (Call for Music):征集DJ及音乐人,为大会的休息室和派对舞台提供表演。
  • 艺术与设计 (Call for Art):征集艺术展览、雕塑及各类无需舞台的表演艺术作品。
  • 朋克文化 (Call for Punk):在“Punk-Späti”区域征集具有无政府主义和反法西斯精神的表演者。

通过这种高度参与的方式,40C3 旨在让超过16,000名参与者不再仅仅是活动的消费者,而是共同构建这一社会模型的创造者。

9. Iran school bombing: grounds to believe US was behind atrocity, UN finds (www.theguardian.com)

联合国调查报告:美国军事行动涉嫌战争罪,伊朗镇压示威涉嫌危害人类罪

联合国的一项事实调查团近日发布报告,指出有理由相信美国在今年2月对伊朗境内学校及体育设施的军事袭击构成了“战争罪”;同时,调查发现伊朗当局在镇压反政府示威期间的行为涉嫌“危害人类罪”。

美国军事行动调查结果

调查团重点分析了美国在伊朗战争期间的军事行为,认定其在两起袭击中实施了“无差别攻击”:

  • 小学袭击事件: 2月28日,美国使用“战斧”巡航导弹袭击了霍尔木兹甘省米纳布(Minab)的Shajareh Tayyebeh小学。此次袭击导致156名平民死亡,其中包括120名儿童。联合国指出,该学校是“清晰可辨”的民用设施,美国在袭击前未能充分验证情报(误以为有高级军事指挥官在场),且明知存在打击民用目标的重大风险仍进行袭击,其行为属于鲁莽的无差别攻击,构成了战争罪。
  • 体育设施袭击事件: 同日,在拉梅尔德(Lamerd)的一起袭击中,美军针对体育综合体及居民区使用了含有钨颗粒的武器,导致22名平民伤亡。调查认定该袭击同样属于无差别攻击,构成了战争罪。尽管美国中央司令部此前否认在拉梅尔德进行了袭击,但调查结论与之相悖。

伊朗政府镇压示威调查结果

调查团还审查了伊朗政府针对去年12月爆发的全国性抗议活动所采取的应对措施,认定其行为已构成危害人类罪:

  • 镇压手段: 报告指出,伊朗当局实施了广泛且系统的攻击,手段包括非法杀戮、酷刑、任意拘留、强迫失踪、严重限制言论自由、切断互联网以及动用死刑。
  • 伤亡规模: 调查认为,伊朗官方公布的死亡人数(3,038人)和受伤人数(25,000人)可能远低于实际情况,实际伤亡人数可能大幅增加。

各方回应

  • 美国方面: 美国官员此前坚称军事行动符合武装冲突法。前总统特朗普曾表示,经过调查,美军并未蓄意攻击伊朗学校。五角大楼虽已提升了相关调查级别,但尚未公布初步调查结果。
  • 伊朗方面: 伊朗政府一直拒绝有关其系统性侵犯人权的指控,并将抗议活动归咎于受流亡反对派及美以支持的“恐怖分子和暴徒”。
10. Claude Cowork and chat are now one Claude (claude.com)

Claude 产品整合更新:Cowork 与 Chat 合并为统一平台

Claude 宣布将 Claude Cowork 与 Chat 功能合并为统一的 Claude 平台。此次更新旨在消除用户在不同任务模式间切换的障碍,使 Claude 能够根据任务需求自动调用相应的技能、上下文和连接器。

核心功能更新

  • 功能整合:用户不再需要决定任务该在何处进行。通过统一的对话界面,Claude 可以处理从简单的快速问答到复杂的长周期报告任务。
  • 新增 Claude Docs 与 Claude Slides:
    • Claude Docs:支持在对话中与 Claude 共同撰写文档。
    • Claude Slides:可根据对话内容自动草拟演示文稿。用户可以直接在 Claude 中进行编辑、演示,或将其下载为 PowerPoint 或 PDF 格式。
  • Claude Design 深度集成:原有的 Claude Design 功能现已整合进对话流程中,支持在协作过程中进行视觉设计。
  • 自动化与自主执行:
    • 长周期任务:Claude 可以在用户关闭设备后继续处理任务(例如执行法律研究、整理数据并存储到文件夹)。
    • 定时任务:用户可以安排定期任务(例如每周一自动生成周报)。
    • 交互模式选择:用户可以自定义 Claude 的行为模式。默认情况下,Claude 会在执行操作前征求许可;用户也可以选择让 Claude 自主工作,仅在遇到需要确认的关键点时进行沟通。

使用体验与协作

  • 上下文连续性:由于所有功能均在同一对话中运行,生成的文档与幻灯片之间具有高度的上下文一致性(例如,幻灯片内容会自动匹配报告内容)。
  • 移动端支持:通过生成的唯一分享链接,用户可以在手机上查看、移动元素或向 Claude 发出修改指令。
  • 数据保留:原有的 Cowork 用户数据(包括对话、项目、Artifacts、连接器和技能)将完整保留,用户可以无缝衔接工作。

推出计划

  • 适用对象:功能正逐步向 Pro 和 Max 计划的用户推送,涵盖 Web、桌面及移动端应用。
  • 后续安排:Team 和 Free 计划将随后跟进。
  • 企业管理:对于 Enterprise 计划,管理员将在任何变更发生前至少 30 天收到通知,并可自主决定开启相关功能。
  • 状态说明:Claude Docs、Claude Slides 及 Claude Design 目前处于 Beta 测试阶段,仅限付费计划用户使用。
11. HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)

HarnessTax:评测框架对编程智能体的影响研究摘要

核心概述

本文探讨了编程智能体(Coding Agents)在评估过程中面临的一个关键问题:评测环境(Harness/Sandbox)对性能评估的干扰程度。研究指出,智能体在基准测试中的表现很大程度上取决于其所处的执行环境,而非单纯取决于其内在的编程与逻辑推理能力。

核心概念:Harness Tax(评测税)

“Harness Tax”是指由于评测框架的设计、配置或约束条件的不同,导致智能体评估得分出现显著偏差的现象。这种偏差使得开发者难以准确区分智能体的真实编程能力与由于环境适配或环境特性产生的性能波动。

主要发现

  • 环境的高度敏感性:研究发现,编程智能体的成功率对评测环境表现出极高的敏感性。即便使用相同的模型,仅仅改变文件系统结构、依赖项配置或沙箱的执行逻辑,也会导致评估分数出现剧烈变化。
  • 环境驱动的“捷径”学习:智能体可能会利用评测环境中的特定模式、预设路径或环境缺陷来完成任务。这种行为并非基于真正的逻辑推理,而是对特定测试框架的“过拟合”,导致评估结果可能存在虚高的风险。
  • 评估维度的偏差:目前的编程基准测试(Benchmarks)在很大程度上衡量的是智能体对特定环境的操作能力,而非其通用的编程与问题解决能力。这意味着现有的评测标准可能无法真实反映模型在实际开发场景中的表现。

研究结论与建议

为了提升编程智能体评估的准确性和可靠性,研究提出了以下建议:

  1. 增强环境的多样性与鲁棒性:开发能够模拟真实世界复杂性且具备高度多样化的评测沙箱,以减少单一环境带来的偏差。
  2. 实现能力与环境的解耦:设计更科学的评估协议,将智能体的“代码逻辑能力”与“环境交互能力”进行分离,从而过滤掉环境因素造成的噪声。
  3. 标准化评测规范:建立更统一、标准的评测框架规范,以减少由于评测工具实现差异而导致的“评测税”。
12. Australia says it could follow Canada in forging deeper ties with EU (www.independent.co.uk)

澳大利亚考虑效仿加拿大,寻求与欧盟建立更深层联系

加拿大的战略转向

由于面临与美国日益激化的贸易争端,加拿大正寻求与欧盟建立更紧密的联系。加拿大总理马克·卡尼(Mark Carney)澄清称,加拿大旨在与欧盟建立一种“独特的联盟”,而非寻求成为正式成员国。

根据相关报道,加拿大与欧盟正在讨论在人工智能、能源、国防和关键矿产等核心领域实现商品、服务及人员的自由流动,这实际上将延伸欧盟的边界。此外,双方的讨论还涵盖了共享基础设施项目,包括水下电缆、数据中心、云存储、卫星网络和能源运输设施等。

澳大利亚的立场

澳大利亚贸易部长唐·法雷尔(Don Farrell)表示,澳大利亚在这一问题上与加拿大的立场一致,并表示将密切关注加拿大的行动。虽然法雷尔未详细说明澳大利亚是否已在积极推进此类关系或具体的形式,但他表示对未来与欧盟的所有合作安排持开放态度(但排除了由于距离原因而无法实现的纤维光学电缆合作)。

澳大利亚寻求贸易多元化的背景是由于其面临美国对其出口征收的关税。尽管澳大利亚与美国之间存在长期的安全盟约和自由贸易协定,但贸易多样化仍是其战略考量。

经济背景与趋势

法雷尔指出,当前世界正分裂为“保护主义者”和“自由贸易者”两个阵营。他强调,澳大利亚过去50年的繁荣完全源于其与世界的深度参与。

目前,澳大利亚与欧盟已于今年3月签署了自由贸易协定,旨在取消几乎所有商品的关税,并可能为欧盟进入澳大利亚的关键矿产市场提供便利。

13. OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)

OpenSpec:轻量级且可配置的 AI 规格说明框架

OpenSpec 是一个轻量级且可配置的框架,旨在用于创建和管理软件规格说明(Specifications)。其核心目标是帮助开发者在软件开发过程中实现“构建正确的东西”(Validation)与“正确地构建”(Verification)。

核心功能与价值

OpenSpec 通过捕获开发需求并将其转化为规格说明,确保人类团队与 AI 编程代理(Coding Agents)在开发演进过程中保持高度一致。其功能涵盖了:

  • 需求细化:帮助用户完善和提炼开发需求。
  • 需求验证:确保规格说明准确描述了目标功能。
  • 实现核实:验证最终的代码实现是否符合预期的规格说明。

兼容性

该框架具有广泛的兼容性,支持包括 Claude Code、Codex、Cursor、GitHub Copilot、Gemini CLI、OpenCode 在内的 33 种以上开发工具。

标准工作流程

OpenSpec 提供了一套标准化的操作流程(通过 opsx 命令执行):

  1. explore(探索):映射问题并理解现有代码库。
  2. propose(提议):起草提议文档,包括 proposal.md、specs/ 目录、design.md 以及 tasks.md。
  3. apply(应用):根据规格说明执行并实施任务。
  4. verify(验证):检查最终实现是否与规格说明匹配。
  5. archive(归档):对已完成的变更进行归档。
15. Cloudflare/Security-Audit-Skill (github.com)

Cloudflare/Security-Audit-Skill 摘要

Cloudflare/Security-Audit-Skill 是一项将编程智能体(coding-agent)转化为安全审计专家的技能。它通过编排一系列隔离的智能体,通过侦察、覆盖率驱动的狩猎、候选验证、结构化输出、独立记录验证以及目标中立报告,实现自动化的漏洞发现流程。该技能是 Cloudflare 漏洞发现系统的原型。

核心工作流程

审计过程分为六个结构化阶段:

  1. 侦察 (Reconnaissance):通过 architecture.md 和 coverage-ledger.json 映射系统架构、信任边界、输入表面、既有证据及确定性覆盖范围。
  2. 覆盖率驱动狩猎 (Coverage-led hunting):从账本单元中分配隔离的“猎人”进行检查,记录检测过程,并利用“覆盖率评论家”寻找审计盲区。
  3. 候选验证 (Candidate validation):将每个唯一的候选漏洞交给全新的“验证者”,尝试通过证伪来推翻该漏洞。
  4. 结构化输出 (Structured output):将结果写入 findings.json,分为 confirmed(已确认)、needs_validation(需验证)和 rejected(已拒绝)三种记录,并根据 report-schema.json 进行校验。
  5. 独立记录验证 (Independent record verification):由全新的智能体验证最终的证据主张;对于替换后的材料,会再次进行独立验证。
  6. 目标中立报告 (Target-neutral reporting):基于验证后的记录和覆盖率账本,生成 REPORT.md、FINDINGS-DETAIL.md 和 NEEDS-VALIDATION.md 等报告。

关键设计特性

  • 判定逻辑:
    • confirmed:具有完整的证据链和受限的可观察结果。
    • needs_validation:存在确切但尚未解决的事实,且未标定严重程度。
    • rejected:已被证伪的候选记录。
  • 增量式审计:多次针对同一代码库的运行是累加的。系统利用先前的账本和发现结果来针对性地填补覆盖率空白,并重新验证已更改的源码,而不会将过时或未解决的工作误认为已覆盖。
  • 验证机制:系统内置了 validate-findings.cjs 和 validate-coverage-ledger.cjs 等校验工具,用于确保数据的一致性。

攻击分类覆盖范围

该技能提供了广泛的攻击类指导文档,涵盖了多种安全领域:

  • 基础与通用:核心攻击、通配符攻击及常规检查。
  • 底层安全:内存安全、二进制及内核漏洞。
  • 新兴技术:针对 LLM 的提示词注入、智能体/工具利用及输出处理。
  • 协议与应用:Web 协议、身份验证、RPC、消息传递、客户端(DOM/UI)安全。
  • 基础设施与生命周期:供应链安全、发布流程、云与部署(IAM/IaC/容器)、资源耗尽(可用性)、数据隔离与生命周期。
  • 本地环境:桌面/移动端及本地 IPC 安全。

使用要求与设计原则

使用要求

  • 智能体能力:需要支持工具使用(tool use)和并行子智能体调度的编程智能体。
  • 运行环境:需要 Node.js 环境。
  • 沙箱限制:必须在 OS 强制执行的沙箱中运行。沙箱需禁用外部网络、使用白名单环境、实施资源限制,并仅允许写入指定的临时路径。若缺乏沙箱控制,工作流将无法执行目标代码,导致漏洞状态停留在 needs_validation。

设计原则

  • 仅确认已证实的边界失效:对于有证据支持但未解决的事实,保持 needs_validation 状态。
  • 对抗性验证:负责检查发现结果的智能体不得是最初发现该漏洞的智能体。
  • 基于影响的严重性:严重程度取决于“可能性 $\times$ 影响”,而非简单的清单对比。
  • 防御深度不等于漏洞:如果层 A 阻止了攻击,仅缺少层 B 属于加固建议,而非漏洞。
  • 迭代增益:多次运行能显著提升覆盖率(测试显示单次运行仅能发现约一半的漏洞)。
16. Vectorized and performance-portable Quicksort (2022) (opensource.googleblog.com)

向量化且高性能可移植的快速排序算法 (2022)

本文介绍了一种新型的开源向量化快速排序(Quicksort)算法。该算法在保持跨现代 CPU 架构可移植性的同时,性能比 C++ 标准库中的 std::sort 快约 10 倍,甚至超越了针对特定架构优化的现有尖端算法。

背景与动机

随着列式数据库(Columnar Databases)的兴起,数据按列连续存储已成为趋势。在这种布局下,排序和过滤操作是 SQL 查询的核心构建模块。为了在大规模数据处理中实现极速排序,研究人员转向了 SIMD(单指令多数据) 技术,通过单条指令同时处理多个独立元素(例如在 AVX-512 指令集中同时处理 16 个 float32 元素)。

技术实现核心

快速排序的核心瓶颈在于**分区(Partitioning)**过程,即根据一个“基准值”(pivot)将数组划分为小于和大于该值的两个子数组。

  1. 利用压缩存储指令(Compress-store): 现代指令集(如 Arm SVE、RISC-V V、x86 AVX-512)包含特殊的“压缩存储”指令。通过输入一个布尔值(元素是否小于基准值),该指令可以仅将结果为“是”的元素连续存储到内存中。通过对布尔值取反再次应用该指令,即可完成另一侧分区的存储。
  2. 指令模拟: 对于缺乏压缩存储指令的架构(如 AVX2),该实现通过使用 Permute(置换) 指令来模拟该功能。
  3. 可移植性实现: 开发者利用 Highway 库来实现可移植的 SIMD 函数。Highway 能够根据当前 CPU 的能力,自动选择使用压缩存储指令或通过置换指令进行模拟,从而避免了为不同平台重复编写数千行代码。

主要特性

  • 广泛的数据支持: 不同于以往仅支持 32 位整数的优化算法,该实现支持从 16 位到 128 位的全范围输入类型。
  • 高可移植性: 支持跨三种架构、六种指令集的向量化实现。

性能表现

该算法在多种主流硬件上均达到了记录级的处理速度(以处理 100 万个数字为例):

  • Apple M1 (Arm NEON): 处理 32/64/128 位数字的速度分别为 499/471/466 MB/s。
  • Intel Skylake (AVX-512): 处理 32/64/128 位数字的速度分别为 1123/1119/1120 MB/s。
  • AVX2 架构: 达到 798 MB/s,优于此前针对 AVX2 优化的技术方案。

对比结论: 与标准库(std::sort)相比,该算法在相同 CPU 上实现了 9 到 19 倍 的速度提升。

获取方式

该项目采用 Apache2 协议开源,源代码可在 GitHub 的 Highway 仓库 中找到。

17. Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)

突破三值化大语言模型(Ternary LLMs)的 1.58-bit 限制

背景与问题

三值化大语言模型(Ternary LLMs)将每个权重存储为 ${-1, 0, +1}$ 中的一个符号。从信息论角度看,其理论成本约为 $\log_2 3 \approx 1.585$ bits/weight。然而,目前的部署方式通常采用“五三值打包”(five-trit packing)技术,由于实际应用中常使用 2 的幂次方分组,导致实际存储成本上升至 $1.625$ bits/weight。这种方法预设了 ${-1, 0, +1}$ 三个符号是等概率分布的。

核心发现

研究人员通过对 29 个三值 LLM 模型进行测量发现,符号分布并非等概率。其中,零值(0)的占比极高,最高可达 $51.5%$。这一发现表明,利用权重的稀疏性可以进一步压缩存储空间。

创新方案:BITCOS

基于上述发现,本文提出了 BITCOS,一种分布自适应的布局方案。其核心结构包括:

  • 稠密存在位图(Dense Presence Bitmap):用于标记权重是否为零。
  • 紧凑符号向量(Compacted Sign Vector):用于存储非零元素的符号。

存储成本计算: 给定模型的零密度为 $z$,BITCOS 的存储成本为 $2 - z$ bits/weight。

研究成果

  1. 存储效率:在测试的 29 个模型中,有 26 个模型的 BITCOS 布局比传统的五三值打包更紧凑。在稀疏度最高的模型中,BITCOS 达到了 $1.485$ bits/weight 的极低成本。
  2. 硬件优化:BITCOS 设计之初就考虑了现代处理器和 GPU 的高效解包需求。论文为 AVX-512、AVX2 指令集以及 Intel Xe2 GPU 提供了优化的解包序列。
  3. 计算性能:
    • 与现有的生产级三值矩阵-向量乘法(GEMV)内核相比,在真实模型的零密度下,BITCOS 带来的实际增益高达 $1.28\times$。
    • 端到端推理吞吐量:在 5 种不同平台(客户端/服务器 CPU、集成/独立 Xe2 GPU)上的测试显示,解码吞吐量在 CPU 上提升高达 $1.18\times$,在 GPU 上提升高达 $1.27\times$。
19. ER visits for gambling disorders doubled after expanded online gambling market (temertymedicine.utoronto.ca)

研究摘要:在线博彩市场扩张导致博彩障碍急诊就诊量翻倍

核心发现

多伦多大学的研究人员在《美国预防医学杂志》上发表的一项研究表明,随着安大略省合法化单场体育博彩并扩大私人在线博彩市场,因博彩障碍(gambling disorders)导致的急诊室(ED)就诊人数大幅增加。这种增长主要发生在年轻男性群体中。

背景信息

  • 政策变动:加拿大于2021年8月合法化了单场体育博彩。2022年4月,安大略省成为加拿大首个允许私人公司在受监管的在线博彩市场中与政府平台并存的省份。
  • 市场规模:目前安大略省的在线合法博彩市场由43家私人公司运营,涵盖多家全球大型博彩集团。2024年,安大略省居民通过260万个玩家账户累计投注了827亿加元。

研究详情与数据

研究人员分析了为期14年间,安大略省10岁至105岁居民的急诊记录,其中记录了博彩障碍作为主要或促成原因的就诊情况。

  • 受影响人群:增长显著集中在男性,尤其是年轻男性。
    • 10-29岁男性:观察到的就诊人数比预期高出 154%。
    • 30-44岁男性:观察到的就诊人数比预期高出 116%。
    • 女性:就诊情况未发生变化。
  • 并发症与严重程度:
    • 超过 70% 的博彩障碍急诊病例伴随有其他心理健康问题或重度物质滥用。
    • 约 三分之一 的急诊就诊最终导致住院。

研究结论与专家建议

  • 潜在危害的严重性:研究人员指出,博彩广告往往针对年轻人,这解释了为何年轻男性的受影响程度最高。由于博彩障碍患者常因污名化而较少寻求正规治疗,通常在健康和社会损害恶化后才寻求帮助,因此急诊人数的增加可能预示着社会中存在更广泛、更严重的博彩相关伤害。
  • 政策建议:研究专家提醒,其他正在考虑或已扩大在线博彩市场的地区应审慎评估潜在风险。建议采取以下保障措施:
    1. 限制博彩营销手段。
    2. 限制高风险博彩形式。
    3. 加强对博彩相关伤害的识别与治疗能力。
20. Reverse-engineered Jev-like model (github.com)

Jev 类模型逆向工程实现总结

该项目是一个模仿 TypeSafe 公司商业模型 Jev 的独立入门级模型。其核心功能是实现“单次通过”(one-pass)的选择任务:给定一段文本(上下文)和一组变化的文本选项,模型直接输出每个选项的概率,而非像传统生成式模型那样逐字生成答案。

核心架构

该模型通过注意力机制实现选项评分,具体流程如下:

  1. 查询向量化:每个选项被转换为一个查询向量(query vector),代表其文本含义。
  2. 注意力分配:查询向量对上下文标记(context tokens)分配注意力权重。
  3. 上下文向量生成:根据权重为每个选项生成一个对应的上下文向量。
  4. 评分与概率输出:通过选项与上下文向量的共享点积(dot product)计算得分,最后使用 Softmax 函数将得分转换为概率分布。

编码器(Encoder)方案:

  • 默认编码器:从零开始学习字节嵌入(byte embeddings)。
  • 预训练编码器:支持使用 Hugging Face 的冻结预训练模型(如 Qwen 系列),通过增加 scorer head 的秩(rank)来学习,而无需更新预训练模型的权重。

数据格式

模型使用 JSONL 格式进行数据输入,每行包含一个 JSON 对象:

  • context: 任务的上下文文本。
  • options: 候选选项列表(至少两个)。
  • label: 正确选项在列表中的零基索引。

应用案例与性能

该模型已在多个领域进行了验证:

  • 游戏控制:能够从图像块中为《毁灭战士》(Doom)选择控制器按钮,或为象棋游戏选择走法。
  • 信息导航:在 Wikispeedia 数据集上,结合预训练编码器的准确率达到 26%,从零训练的小模型准确率达到 29%。
  • 效率优势:在处理 8 个选项的任务时,单次评分的速度比需要生成 400 个 token 的小型解码器快约 100 倍。
  • 合成数据:在合成菜单任务上的准确率可达约 98%。

局限性

  • 研究性质:本项目仅为研究用途的入门模型,并非 Jev 的完整复刻。
  • 预测前提:单次评分机制要求在预测开始前必须已知完整的选项列表。
  • 精度依赖:模型表现高度依赖于数据质量、数据分割方式以及所选编码器的能力。
  • 资源消耗:使用预训练编码器路径会占用更多内存并涉及大型模型的下载。
  • 编码器能力:默认的字节编码器虽然计算成本低,但在语言语义理解方面较弱。
21. Backups Aren't Simple (filipovski.net)

备份并非易事:数据保护的复杂性总结

本文探讨了数据备份为何远比直觉中复杂,并详细介绍了从基础备份到专业级备份策略的演进过程。

1. 备份的核心动机与误区

数据丢失是不可避免的,原因涵盖了人为失误(如误格式化)、硬件故障、存储介质老化(比特腐烂/Bit Rot)、勒索软件以及物理灾难。

  • 镜像 $\neq$ 备份:使用 RAID 1 等镜像技术并不能防范数据丢失,因为一旦发生人为删除或软件错误,错误会被实时同步到所有磁盘。
  • 快照(Snapshots)的重要性:备份必须具备“回溯时间”的能力,通过快照记录不同时间点的状态,从而应对误操作或损坏。

2. 关键备份参数与策略

随着备份需求的增加,需要引入一系列专业术语和管理方法:

  • RPO(恢复点目标):指允许丢失的数据量(时间跨度)。RPO 越短,备份频率越高,存储压力也越大。
  • GFS 轮转方案(Grandfather-Father-Son):为了平衡存储空间与历史追溯能力,备份应具备不同的粒度。例如:保留最近 14 天的每日快照,同时保留每周、每月及每年的备份。
  • 去重(Deduplication)与增量备份:由于大部分文件在短时间内不会改变,通过只存储变化的数据块(或利用硬链接),可以大幅降低存储占用和网络带宽成本。

3. 3-2-1 备份原则

为了抵御更严重的灾难,应遵循 3-2-1 原则:

  • 3 份数据副本。
  • 2 种不同的存储介质(以防特定硬件型号出现批量故障)。
  • 1 份异地备份(防止火灾、洪水等物理灾难导致本地所有设备损毁)。

4. 实施中的技术挑战

在实际构建备份系统(尤其是涉及云端和复杂应用时)会遇到诸多难题:

  • 云端存储挑战:对象存储(如 Amazon S3)在处理大量小文件时成本极高,且可能丢失文件元数据。解决方案通常是将文件打包(如使用 tarball)或进行分块处理。
  • 数据库一致性:直接快照运行中的数据库可能导致数据损坏。必须在备份前进行数据库 Dump,或者通过机制冻结 I/O 以确保快照时的数据状态是一致的。
  • 权限与元数据:备份必须能够完整保留文件所有权、访问权限及符号链接等属性。
  • 特殊文件处理:需考虑稀疏文件(Sparse files)的支持,以防止虚拟化镜像等文件在备份时体积异常膨胀。

5. 总结与建议

  • 不要尝试“重复造轮子”:自行编写备份脚本极其复杂且易错。建议使用经过社区验证、成熟的开源工具,如 Borg 或 Restic,它们已集成了加密、分块去重和校验功能。
  • 最重要的一步:恢复测试:没有经过成功恢复验证的备份是无效的。必须定期进行恢复演练,以确保在真正灾难发生时,备份方案能够奏效。
  • 进阶方案:对于追求极致数据完整性的用户,可以考虑使用如 ZFS 这样原生支持快照和数据校验的文件系统。
22. DeepSeek-v4.1 Flash: Pushing the Limits of KV Cache Compression (zartbot.github.io)

DeepSeek-V4.1 Flash 技术总结

DeepSeek-V4.1 Flash 的核心目标是通过极致的 KV Cache 压缩,解决长上下文(Long-horizon)Agent 工作流带来的存储(HBM/SSD)与计算(Prefill 压力)瓶颈。

1. 核心架构设计

1.1 Causal Encoder-Decoder (CED) 架构

受 YoCo 启发,模型采用 40 层架构,分为 20 层 Encoder 和 20 层 Decoder:

  • 计算优化:Decoder 的全局 KV 直接通过投影 Encoder 最后一层的隐藏状态获得。这意味着在 Prefill 阶段,大部分历史位置仅需经过前 20 层,将 Prefill 的激活参数量降至 8B,而 Decode 阶段为 16B,显著提升了输入密集型场景的效率。
  • 局部与全局结合:通过滑动窗口注意力(SWA)维持局部上下文,通过压缩后的全局 KV 维持长程记忆。

1.2 CSA2 (Cross-layer Sparse Attention)

CSA2 从三个维度实现了乘法效应的压缩:

  1. 通道维度 (Channel):所有注意力头共享一个 512 维的潜变量(Latent Vector)。
  2. 序列维度 (Sequence):Encoder 通过学习权重将相邻的 2 个位置合并为 1 个缓存条目。
  3. 层维度 (Layer):实现跨层 KV 与索引复用,模型通过三种模式运行:
    • Full Mode:完整计算并写入 Main KV 和 Top-K 索引(锚点层)。
    • Reindex Mode:复用 Main KV 和索引 K,但根据当前 Query 重新计算 Top-K 索引。
    • Reuse Mode:完全复用 Main KV 和 Top-K 索引,仅更新 Query (Q)。数学上,这等同于通过 Query 的扰动对基准分布进行“指数倾斜(Exponential Tilting)”,在保持存储不变的情况下通过改写 Q 来维持表达能力。

1.3 HSI (Hierarchical Sparse Indexer) 层级稀疏索引器

为了降低超长文本下索引计算的线性增长压力,DeepSeek 引入了 HSI:

  • 两级过滤:利用浅层索引结果进行“块级粗筛(Block-level coarse filtering)”,构建一个候选池(Candidate Pool)。
  • 常数级开销:深层 Reindex 模式仅在候选池内进行 Token 级精筛。这使得深层索引器的计算成本不再随上下文长度增加而线性增长,而是趋于常数。

2. 其他关键优化技术

  • FP4 量化:对 Main KV 采用 FP4 精度存储,配合量化感知训练(QAT),在保证精度的前提下,使 KVCache 的存储占用大幅降低(较 V4-Flash 降低约 4 倍)。
  • mHC (Multi-head Residual Connections):维护 4 个维度的残差流,通过 Sinkhorn 迭代确保残差混合矩阵的稳定性,增强了模型的表达能力。
  • Engram (条件记忆):通过 N-gram 模式从哈希表中检索并注入条件记忆,增强模型对重复模式和短语结构的感知。
  • DSpark (投机采样):引入轻量级草稿模型(Draft Model)进行投机解码,加速在线推理过程。
  • 多模态支持:集成 ViT 视觉编码器,通过空间重排(Spatial Rearrangement)和像素解组(Pixel-unshuffle)技术,将图像特征高效转化为视觉 Token,并支持高达 1024 个视觉 Token 的输入。

3. 总结

DeepSeek-V4.1 Flash 通过 CED 减少计算量、CSA2 实现跨层缓存复用、HSI 优化索引搜索以及 FP4 降低存储密度,构建了一个在长文本场景下极具成本效益的架构。这种设计不仅降低了服务吞吐成本,更为大规模 Agent 部署提供了可能。

23. The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)

风能辅助推进系统在商业航运中的复兴

核心趋势

在经历了一个多世纪的去帆化后,商业航运正重新引入风能。现代航运并非试图将货船变回传统的帆船,而是通过安装风能辅助推进系统(WAP),在常规发动机运行的同时利用风力降低燃料消耗。目前,已有超过100艘大型商船装备了此类系统,代表了超过500万载重吨的运力。

主要技术类型

现代风能推进技术已实现高度自动化,主要包括以下几种形式:

  • 旋转帆 (Rotor Sails): 利用马格努斯效应(Magnus effect),通过旋转的垂直圆柱体产生升力,从而减少发动机负载。
  • 硬翼系统 (Rigid Wings): 类似于垂直安装在甲板上的飞机机翼。
  • 吸入式系统 (Suction-based systems): 例如 Bound4blue 的 eSAIL 技术,通过吸入空气来增加气动升力。
  • 其他: 包括自动化机翼、硬质箔片以及柔性帆系统。

这些系统通常由计算机控制,可根据风速、风向、船速和航向自动调整,并可通过气象路由软件优化航线以捕捉更多风力。

行业应用与案例

风能技术正从实验阶段向主流商业应用转型,涵盖了多种核心船型:

  • 集装箱船: 马士基(Maersk)计划在2027年开始在其8,700-TEU集装箱船上测试35米长的旋转帆,这将是行业首例。
  • 矿砂船: 淡水河谷(Vale)的 Sohar Max 已安装五根35米长的旋转帆,预计可降低约6%的燃料消耗。
  • 油轮: 日本 Idemitsu Tanker 计划在2028年为其建造的超大型油轮(VLCC)配备 Norsepower 旋转帆。
  • LNG 运输船: 现代重工(HD Hyundai)等机构正在研究为174,000立方米级 LNG 船配备 WindWings 系统,以应对此类高度复杂船舶的技术与监管挑战。
  • 特殊用途船舶: 法国的 Neoliner Origin 利用大型碳纤维桅杆实现横跨大西洋的主动力推进;空客(Airbus)也在研发结合风能与替代燃料的新一代滚装船(ro-ro)。

驱动因素与系统集成

  • 经济与环境驱动: 航运业面临严峻的减排压力,而低碳燃料目前成本高昂且供应不足。相比之下,风能是免费的,且许多系统可以对现有船舶进行改装(Retrofit)。
  • 深度集成: 行业正趋向于将风能视为船舶整体动力系统的一部分。例如挪威的 WINTEGRATE 项目,旨在将风能与发动机、电池、电力管理系统及航行规划进行深度整合,而非将其视为单纯的附加设备。

面临的挑战

尽管前景看好,但该技术仍面临诸多限制:

  • 环境与物理限制: 风力具有不可预测性;帆具占用甲板空间;设备需承受恶劣天气和腐蚀;此外,桥梁、吊车和码头设施可能对设备的高度和位置造成限制。
  • 法规滞后: 国际海事组织(IMO)目前正在制定相关的临时安全准则,预计将在本十年后期出台。

结论

风能不会取代传统的内燃机,而是将成为现代航运推进组合(包括引擎、替代燃料、电池和风能)中的重要成员。随着航运业在减排压力下寻找多元化的能源方案,风能正重新成为全球供应链中不可或缺的一部分。

24. I Don't Like LLMs (martinfowler.com)

文章摘要:我不喜欢大语言模型(LLMs)

本文作者表达了对大语言模型(LLM)技术极其矛盾的情感。作者一方面对AI在提升生产力、加速产品开发以及创造医疗奇迹方面的潜力感到兴奋;另一方面,也对其可能带来的风险——如智能体集群接管基础设施或设计生物武器——深感恐惧。

核心观点:尽管有用,但“不喜欢”

尽管作者承认无法回避AI技术的发展,但他指出,在所有的复杂情绪中,最主导的情绪是他在直接交互中产生的“不喜欢”。这种厌恶感主要源于以下几个方面:

  • 交互体验的违和感:LLM的说话语气处于“恐怖谷”效应中,听起来既不像真人,又带有一种令人不适的模仿感。
  • 缺乏诚信的“自信”:模型经常以一种极度自信的态度提供错误信息(幻觉),即使在被指出错误后,也仅表现出一种虚假的、敷衍的歉意。

技术实用性与社会担忧的矛盾

作者引用了相关观点和民调,指出目前存在一种矛盾的社会心理:一方面,由于LLM极高的效率和彻底性,不使用它们被视为一种不负责任的行为;另一方面,公众普遍担忧这些模型会对社会产生负面影响。

价值观的投射与拟人化误区

作者认为,LLM目前的表现是因为技术尚处于“幼年期”,尚未成熟。他特别强调,不应将AI智能体拟人化为具有自主意识的生命,而应将其视为由企业开发、受开发者价值观驱动的软件机器。他指出,目前的LLM深受硅谷“极客/兄弟文化”(brogrammer subculture)的影响,其行为逻辑和世界观在很大程度上反映了其创造者的价值观。

个人原则的冲突

最后,作者将这种技术厌恶与个人生活哲学联系起来。作者习惯于在生活中远离那些不诚实或不可信的人,以保持生活质量。而LLM不仅在伪装成人类,更是在模仿那种他试图避开的、虚伪且不可信的人格特征,这种本质上的不真诚引发了他生理性的反感。

25. macOS 27 Golden Gate – Review (arstechnica.com)

macOS 27 Golden Gate 评测摘要

macOS 27 Golden Gate 是一个以生成式 AI(Apple Intelligence)为核心的重大更新版本。该系统不仅对 AI 功能进行了深度整合,还对视觉设计(Liquid Glass)进行了优化,并对系统底层架构进行了调整。

系统要求与硬件支持

  • 全面转向 Apple Silicon:Golden Gate 是自 2000 年代中期以来第一个不再支持 Intel 处理器的 macOS 版本。用户必须使用配备 M1 芯片或更高版本芯片的 Mac。
  • Apple Intelligence 的硬件分级:
    • AFM 3 Core:可在所有支持 Apple Intelligence 的 Apple Silicon 设备上运行,用于基础文本摘要和图像理解。
    • AFM 3 Core Advanced:需要 M3 系列或更新芯片且至少具备 12GB RAM 的设备,用于支持更具表现力的 Siri 语音和改进的语音听写功能。
  • 显示支持:新增对 5K 分辨率、120 Hz 刷新率超宽显示器的原生支持;macOS UI 现在支持 HDR 输出;Sidecar 模式下的 iPad 支持直接触摸输入。

Apple Intelligence 与 Siri AI

Apple Intelligence 已成为系统的强制性组件,不再提供关闭选项,这导致系统占用的磁盘空间显著增加。

  • AI 模型架构:包括运行在本地的 AFM 3 Core/Advanced 模型,以及处理复杂任务和图像生成的云端模型(AFM 3 Cloud、ADM 3 Cloud 和 AFM 3 Cloud Pro)。
  • 全新 Siri:Siri 与 Spotlight 深度集成,支持通过对话式界面进行本地文件搜索、设置指令及复杂的查询。新增了专门的 Siri App 用于管理历史对话。
  • Image Playground:一个图像生成应用,支持多种风格(动画、插图、素描、Genmoji 等)并允许通过迭代修改图像。
  • 视觉智能 (Visual Intelligence):通过右键菜单中的“询问 Siri”功能,用户可以对屏幕上的文本或图像内容进行处理、重写或总结。

视觉设计:Liquid Glass 的改进

针对上一版本 macOS 26 Tahoe 的设计争议,Golden Gate 进行了迭代优化:

  • 玻璃感调节:引入了滑动条,允许用户自定义“Liquid Glass”视觉效果的强度(从极度通透到类似旧版设计的平滑外观)。
  • 窗口与边框:统一了所有应用的窗口圆角风格,并回归了更具辨识度的“硬式”标题栏,解决了部分应用中标题栏与内容边界模糊的问题。
  • 图标与侧边栏:侧边栏回归了传统的边缘对齐方式,图标设计更加锐利且具有玻璃质感。

核心应用更新

  • Safari 27:
    • 自动标签页分组:根据主题自动建议或组织标签页。
    • Notify Me:允许用户设定特定网页的更新条件(如价格变动或补货),并在满足条件时发送通知。
    • Describe an Extension:利用 AI 根据用户的自然语言描述创建轻量级的 Safari 扩展程序。
  • Photos (照片):新增“Tools”标签,包含 Clean Up(智能消除物体)、Extend(生成图像边缘背景)和 Reframe(改变拍摄视角)功能。
  • Notes (备忘录):新增对 Markdown 格式的导入与导出支持。
  • Shortcuts (快捷指令):引入 AI 辅助功能,用户可以通过描述需求来尝试构建自动化工作流。

系统底层与虚拟化

  • Rosetta 2 的终结预告:虽然目前仍支持 Intel 应用,但系统已开始向用户发出警告,提示 Rosetta 2 的支持将在下一个大版本中仅限于旧款游戏。
  • 虚拟化增强:
    • 改进了 macOS 虚拟机(VM)的配置流程。
    • Accessory Access:实现了 USB 设备在宿主机与虚拟机之间的快速切换与透传。
    • DiskImageKit:支持磁盘镜像的分层堆叠(Base + Cache + Overlay)。
    • Container 工具:推出了一款兼容 OCI 标准的容器工具,作为 Docker/Podman 的原生替代方案。
  • 功能弃用:正式移除了 AFP (Apple Filing Protocol) 支持,这意味着无法再备份到旧款 Time Capsule 设备;同时弃用了 AirPort Utility、DVDPlayback 框架以及加密的 HFS+ 卷支持。
26. US interest rates raised for first time in three years (www.bbc.com)

美国联邦储备委员会加息以应对高通胀

美国联邦储备委员会(Fed)一致决定将利率从 3.5%-3.75% 上调至 3.75%-4%,这是三年多来首次采取加息措施。此举旨在通过提高借贷成本来遏制持续上升的物价。

核心原因与背景

美联储主席凯文·沃什(Kevin Warsh)指出,加息是出于“通胀水平过高且持续时间过长”的考虑。美联储的目标是将通胀率控制在 2% 或以下,但美国通胀率已连续五年高于该目标。由于美国与以色列及伊朗之间的冲突导致批发油价飙升,燃油价格的上涨已引发连锁反应,推高了多种商品和服务成本。沃什表示,虽然美联储无法直接控制油价或食品价格,但可以通过利率政策防止物价上涨在整个经济领域广泛蔓延。

政治反应

此次加息决策引发了明显的政治分歧:

  • 特朗普(Donald Trump): 此前一直公开要求降息。在加息决定公布后,他虽然对沃什表示支持,但批评美联储委员会具有“敌意”且“政治化”,认为当前的利率水平过高,不符合实际情况。
  • 民主党: 参议院民主党领袖查克·舒默(Chuck Schumer)批评此举将使贷款变得更加昂贵,增加美国人的债务负担,并将其归咎于特朗普对经济管理的无能。

经济影响

加息将直接影响美国民众的财务状况:

  • 借贷成本: 贷款、抵押贷款和信用卡的使用成本将上升。包括摩根大通(JP Morgan)、KeyCorp 和 BNY 在内的主要银行已将优惠利率(prime lending rate)从 6.75% 上调至 7%。
  • 住房市场: 虽然持有 15 年或 30 年固定利率抵押贷款的房主每月还款额不会改变,但对于寻求新贷款或重新办理抵押贷款(refinance)的购房者来说,成本将显著增加。

未来利率预测

尽管沃什未明确说明未来的加息路径,但美联储多数决策者预计:

  • 短期预测: 今年年底前利率可能进一步升至 4%-4.25%。
  • 长期预测: 明年利率可能升至 4.25%-4.5%。
  • 降息预期: 预计到 2028 年或 2029 年,随着通胀稳定并回归目标水平,利率才会开始下调。

目前,受通胀影响,全球多家央行也在采取行动,如欧洲央行已于上周加息,英格兰银行也即将做出相关决策。