Where in the world are people proud of their country’s culture and lifestyle?
当 25 个国家的人们被问及是什么让他们为自己的国家感到自豪时，许多人提到了自己国家的艺术、文化和生活方式。世界上哪里的人会为自己国家的文化和生活方式感到自豪？首先出现在皮尤研究中心。
What Makes People Proud of Their Country?
从印度尼西亚的多样性到法国的美食，25 个国家的人们用自己的语言分享了让他们感到自豪的事情。帖子“什么让人们为自己的国家感到自豪？”首先出现在皮尤研究中心。
ACCF 增加人员——在庆祝其成立 50 周年之际，美国资本形成委员会（一个两党商业倡导组织和附属智囊团，其董事会包括奥巴马前首席经济学家杰森·弗曼 (Jason Furman)，以及此前特朗普总统的首席经济学家凯文·哈塞特 (Kevin Hassett)）宣布了一系列人事变动。 — 乔治·大卫·班克斯 (George David Banks) 现任总裁兼首席执行官 [...]
Trump official: Deep-sea mining just years away
Noble 和来自联邦政府的许多其他高级联邦监管机构出席了 ACCF 主办的峰会，ACCF 是一个商业倡导组织，现在由乔治·戴维·班克斯 (George David Banks) 领导，他在特朗普第一届政府期间担任白宫能源和气候问题高级顾问。
An Onslaught of Climate Change Litigation
尊敬的编辑：您的社论“法庭上失败的气候政变”（《评论与展望》，2 月 9 日）强调了一个可能产生意想不到后果的重要问题。截至 2025 年中期，全球已提交超过 3,000 起气候变化案件，其中超过 60% 在美国提起诉讼。最近联合国环境规划署和 [...]
Better Emissions Data is Smart Industrial Strategy
更好的排放数据是明智的工业战略 作者：乔治·大卫·班克斯 特朗普政府正确地审查了超出法定限度的联邦法规。遏制过度扩张和降低过高的合规成本早就应该了——特别是对于与监管程度少得多的外国竞争对手竞争的美国制造商和能源生产商而言。 [...] 提出的核心问题
West Virginia Can Power AI and Industrial Revival
几十年来，西弗吉尼亚州为美国制造业的主导地位提供了动力，从锻造赢得世界大战的钢铁到生产促进全国繁荣的能源。这个山地之州的河流流淌着熔岩般的希望，山丘上充满了建造桥梁、船舶和天际线的熔炉。如今，在全球供应链担忧和科技武器的影响下 [...]
EU Regulations and California’s Climate Rules Threaten U.S. Small Businesses
对美国燃料和便利零售商的警告：欧盟法规和加州气候规则威胁美国小企业美国企业正在出现一个重大的新风险，该风险不是来自市场力量，而是来自外国监管。随着欧盟推进其企业可持续发展尽职调查指令 (CSDDD)，美国企业，无论大小，以及 [...]
Apple Workshop on Reasoning and Planning 2025
推理和规划是智能人工智能系统的基石，使它们能够规划、交互、适应并最终独立运行。在 Apple，理解和推进人工智能系统的推理能力长期以来一直是一个活跃的研究领域，并产生了大量出版物，这些出版物既探索推进推理前沿的新技术，又进一步加深了该领域对当前方法的能力（和局限性）的理解。去年，Apple 主办了推理和规划研讨会，汇集了 Apple 研究人员和……
Learning to Evict from Key-Value Cache
大型语言模型 (LLM) 规模的不断增长给高效推理带来了挑战，这主要是由于自回归键值 (KV) 缓存的内存需求。现有的逐出或压缩方法可以降低成本，但依赖于启发法，例如新近度或过去的注意力分数，它们只能作为代币未来效用的间接代理，并引入计算开销。我们将 KV 缓存驱逐重新定义为强化学习 (RL) 问题：学习根据令牌对未来解码的预测有用性对令牌进行排名。为此，我们引入了 KV 策略（KVP），这是一个......的框架
Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
Ferret-UI Lite: Lessons from Building Small On-Device GUI Agents
开发与图形用户界面 (GUI) 有效交互的自主代理仍然是一个具有挑战性的开放问题，特别是对于小型设备上模型。在本文中，我们介绍了 Ferret-UI Lite，这是一种紧凑的端到端 GUI 代理，可以跨不同平台（包括移动、Web 和桌面）运行。利用为开发小型模型而优化的技术，我们通过从真实和合成来源中策划多样化的 GUI 数据混合物来构建我们的 3B Ferret-UI Lite 代理，通过思想链推理和可视化工具的使用来增强推理时性能，并且......
Asynchronous Verified Semantic Caching for Tiered LLM Architectures
大型语言模型 (LLM) 现在位于搜索、辅助和代理工作流程的关键路径中，使得语义缓存对于降低推理成本和延迟至关重要。生产部署通常使用分层的静态-动态设计：从日志中挖掘的经过策划、离线审查的响应的静态缓存，由在线填充的动态缓存提供支持。在实践中，这两层通常都由单个嵌入相似性阈值控制，这会导致一个艰难的权衡：保守的阈值会错过安全重用的机会，而激进的阈值则可能会导致语义上不正确的服务......
查询自动完成 (QAC) 是现代搜索系统的一项重要功能，它通过在用户键入时建议完成来提高搜索效率。然而，现有的方法面临着根本性的挑战：传统的检索和排序管道的长尾覆盖率很差，需要大量的特征工程，而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架，通过检索增强生成（RAG）和多目标直接偏好优化（DPO）将 QAC 重新表述为端到端列表生成。我们的方法......
玛丽和我将在佛罗里达州埃斯特罗度过三个月，试图保持温暖并避开马里兰州的冬季天气。不，今年我们没有飞南下，而是开车去的。我们决定开车去，这样我们就可以打包长期住宿所需的东西，我们也带着玛拉基兄弟一起去。我称我们的两只黑猫为玛拉基兄弟，其他人都称呼它们为“斯莫克”和“宾克斯”。从我们在埃斯特罗的地方欣赏湖景我们开的是梅赛德斯 GLC 300，后排座椅折倒后，后舱口就挤满了人。男孩们表现得非常好，前三十分钟里喵了几声，但随后就安静了。宾克斯在第一个小时确实断断续续地气喘吁吁，但后来就安定下来了。经过 11 个小时的车程，我们在佐治亚州金士兰过夜。酒店不错，但面积不大。整个晚上我们都是在警报声中入睡的
Negative Training: How Practice Can Quietly Make You a Worse Pilot
在航空业，我们有时会有这样的态度：一切都可以通过培训来解决。部分原因是它是我们所做一切的基础。 🔸 有人忘记在线做某事？更多培训。 🔸 某些检查没做对？将其添加到教学大纲中。 🔸 制作[…]帖子《消极训练：练习如何悄悄地让你成为一名更糟糕的飞行员》首先出现在《问为什么的飞行员》上。
NIST 将于 2026 年主办年度 Synergy IRASTRO 会议，该会议由 NIST 的 Faint Photonics Group、德国哥廷根马克斯·普朗克研究所和丹麦奥胡斯大学合作举办。会议的目的是
返回冬季嘉年华勇士 481 于 2026 年 2 月 15 日停泊在奥尔顿湾的冰面上。2026 年 2 月 15 日，我是 131 名飞行员之一，将一架飞机降落在美国联邦航空局 (FAA) 绘制的唯一一条位于 48 英里以下的冰跑道上。这是我在过去十年中第七次在奥尔顿湾的冰面上着陆，这是在一个美丽的、几乎完美的飞行日进行的。奥尔顿湾冬季嘉年华的节日气氛充满了我以前从未见过的活力。对我个人而言，这是一次无可否认的成功短途旅行，也是一次跨越州界的令人焕发活力的冬季飞行。而且，整个事情的发展完全与我最好的计划背道而驰。2025 年，成为纽约州奥尔顿湾威廉姆森飞行俱乐部成员。照片由乔的妈妈拍摄！202
