The state of US-Japan economic relations in a changing global economy
这次及时而深入的网络研讨会探讨了美国和日本之间不断发展的经济关系——世界上最重要的双边伙伴关系之一。随着全球贸易格局的转变和地缘政治紧张局势重塑印太地区，本次讨论汇集了领先的经济学家和政策专家，以评估当前的贸易和投资动态、供应链弹性以及新兴的合作和竞争领域。小组成员探讨了美日经济关系如何适应技术变革、疫情后供应链重组以及中国……
SCOTUS Ruling Against Emergency Use of Tariffs
在最高法院做出反对特朗普总统使用关税的决定后，我想引用卡托研究所两位法律学者关于该决定的声明。卡托研究所宪法研究主席伊利亚·索明 (Ilya Somin) 和肯尼思·西蒙 (B. Kenneth Simon) 表示：“今天，最高法院正确地裁定，《国际紧急经济权力法》没有赋予总统‘对来自任何国家、任何产品、以任何价格、在任何时间内征收关税的权力。’这是宪法权力分立、自由贸易的重大胜利，也是数百万美国消费者和企业作为一个国家而承受更高税收和更高价格的重大胜利。”卡托研究所罗伯特·利维宪法研究中心法律研究员布伦特·斯科鲁普 (Brent Skorup) 表示：“最高法院今天就本学期最重要的案件之一做
Learning to Evict from Key-Value Cache
大型语言模型 (LLM) 规模的不断增长给高效推理带来了挑战，这主要是由于自回归键值 (KV) 缓存的内存需求。现有的逐出或压缩方法可以降低成本，但依赖于启发法，例如新近度或过去的注意力分数，它们只能作为代币未来效用的间接代理，并引入计算开销。我们将 KV 缓存驱逐重新定义为强化学习 (RL) 问题：学习根据令牌对未来解码的预测有用性对令牌进行排名。为此，我们引入了 KV 策略（KVP），这是一个......的框架
Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
Asynchronous Verified Semantic Caching for Tiered LLM Architectures
大型语言模型 (LLM) 现在位于搜索、辅助和代理工作流程的关键路径中，使得语义缓存对于降低推理成本和延迟至关重要。生产部署通常使用分层的静态-动态设计：从日志中挖掘的经过策划、离线审查的响应的静态缓存，由在线填充的动态缓存提供支持。在实践中，这两层通常都由单个嵌入相似性阈值控制，这会导致一个艰难的权衡：保守的阈值会错过安全重用的机会，而激进的阈值则可能会导致语义上不正确的服务......
查询自动完成 (QAC) 是现代搜索系统的一项重要功能，它通过在用户键入时建议完成来提高搜索效率。然而，现有的方法面临着根本性的挑战：传统的检索和排序管道的长尾覆盖率很差，需要大量的特征工程，而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架，通过检索增强生成（RAG）和多目标直接偏好优化（DPO）将 QAC 重新表述为端到端列表生成。我们的方法......
玛丽和我将在佛罗里达州埃斯特罗度过三个月，试图保持温暖并避开马里兰州的冬季天气。不，今年我们没有飞南下，而是开车去的。我们决定开车去，这样我们就可以打包长期住宿所需的东西，我们也带着玛拉基兄弟一起去。我称我们的两只黑猫为玛拉基兄弟，其他人都称呼它们为“斯莫克”和“宾克斯”。从我们在埃斯特罗的地方欣赏湖景我们开的是梅赛德斯 GLC 300，后排座椅折倒后，后舱口就挤满了人。男孩们表现得非常好，前三十分钟里喵了几声，但随后就安静了。宾克斯在第一个小时确实断断续续地气喘吁吁，但后来就安定下来了。经过 11 个小时的车程，我们在佐治亚州金士兰过夜。酒店不错，但面积不大。整个晚上我们都是在警报声中入睡的
返回冬季嘉年华勇士 481 于 2026 年 2 月 15 日停泊在奥尔顿湾的冰面上。2026 年 2 月 15 日，我是 131 名飞行员之一，将一架飞机降落在美国联邦航空局 (FAA) 绘制的唯一一条位于 48 英里以下的冰跑道上。这是我在过去十年中第七次在奥尔顿湾的冰面上着陆，这是在一个美丽的、几乎完美的飞行日进行的。奥尔顿湾冬季嘉年华的节日气氛充满了我以前从未见过的活力。对我个人而言，这是一次无可否认的成功短途旅行，也是一次跨越州界的令人焕发活力的冬季飞行。而且，整个事情的发展完全与我最好的计划背道而驰。2025 年，成为纽约州奥尔顿湾威廉姆森飞行俱乐部成员。照片由乔的妈妈拍摄！202
Airbus granted Transport Canada type certification for the H175
新闻稿 厄客斯直升机公司已获得加拿大民航运输部 (TCCA) 批准在加拿大运营 H175 直升机，为该飞机进入加拿大市场奠定了基础。 H175 是一个经过验证的尖端平台，能够支持多种操作，包括：能源、搜索和救援 (SAR)、紧急医疗服务 [...]
Tecnam is proud to announce that the Italian Flight Training Organization Cantor Air
新闻稿 他的最新协议标志着 Cantor Air 机队现代化战略迈出了重要一步，加强了建立在创新、安全和卓越运营共同价值观基础上的合作伙伴关系。新型双引擎飞机将加入学院现有机队（其中已包括 Tecnam P2008JC 和 P2010 TDI），进一步简化学员的培训途径。 [...]
The Straits Times: To recognise or not? Behind ASEAN’s lack of consensus on the Myanmar polls
在最近于 1 月 28 日至 29 日举行的东盟会议上，各国外交部长未能就承认缅甸选举达成一致，突显出该地区集团内部在如何......问题上陷入僵局。 《海峡时报》：承认还是不承认？东盟对缅甸民意调查缺乏共识的背后首先出现在新加坡国际事务研究所。
值得称赞的是，美国总统唐纳德·J·特朗普显然希望他能够“化剑为犁”，将土耳其、卡塔尔和巴基斯坦等公开支持伊斯兰主义、支持恐怖主义的国家纳入他所谓的“委员会”
Zangezur Energy Corridor Enhancing Regional Energy Connectivity
内容提要：1月29日，由AzerEnerji主导的新高压输电系统正式开工建设。该项目被称为“赞格祖尔能源走廊”，将通过特朗普国际和平与繁荣路线（TRIPP）（也称为赞格祖尔走廊）将阿塞拜疆纳希切万自治共和国纳入巴库国家电网。该项目将[…]后赞格祖尔能源走廊增强区域能源连通性首先出现在詹姆斯敦。
Iran is “Playing With Fire” | JINSA’s Vice Admiral (ret.) Robert Harward on Fox News
JINSA 伊朗政策项目成员 VADM（退役）美国中央司令部前副司令罗伯特·哈沃德 (Robert Harward) 与福克斯新闻的约翰·罗伯茨 (John Roberts) 一起加入美国新闻编辑室，讨论随着更多美国军舰进入该地区，伊朗政权面临的严峻局势。…阅读更多 ›伊朗正在“玩火”| JINSA 海军中将（退役）罗伯特·哈沃德 (Robert Harward) 在福克斯新闻上首先出现在 JINSA 上。
JINSA’s Vice Admiral (ret.) Robert Harward: “Time For This Regime to Go!” | NewsNation
JINSA 伊朗政策项目成员 VADM（已退休）罗伯特·哈沃德、美国中央司令部前副司令和美国国家安全委员会前成员，加入了 NewsNation 的“伊丽莎白·巴尔加斯报道”，以揭示华盛顿之间的高风险对峙……阅读更多 ›JINSA 中将（已退休）罗伯特·哈沃德：“这个政权该结束了！” | NewsNation 首先出现在 JINSA 上。
AI in Chinese, Indian and US Nuclear Postures, Norms and Systems
本背景概述了中国、印度和美国将人工智能融入各自核态势、规范和体系的过程。
Intellectual Property: Information on Draft Guidance to Assert Government Rights Based on Price
GAO 的发现 根据 1980 年的拜杜法案，在某些情况下，当涉及由联邦资助的研究产生的发明时，联邦机构可以行使称为介入权的权力。权利进军需要一个机构要求其资金接受者向第三方颁发开发发明的许可证。各机构从未行使过介入权。 2023 年 12 月，美国国家标准与技术研究院 (NIST) 发布了指南草案，试图澄清各机构何时可以行使这一权力。它建议使用联邦资助的发明所产生的产品的价格作为行使介入权的一个因素。根据该指南，价格可以根据四个法定标准中的两个使用：实际应用和健康或安全需求（见图）。该指南草案是通过 NIST 领导的跨机构流程制定的。截至 2025 年 12 月，NIST 没有制定最终确定指
