Judge Blocks Trump’s Transfer of Former Death Row Prisoners to Supermax
在拜登总统将二十名死囚减刑为无期徒刑后，现任总统特朗普威胁要进行报复。上任后，他下令将他们全部送往全国最严格的联邦监狱ADX Florence。但周三，特朗普提名的一名联邦法官发布了一项初步禁令，阻止移交，认为政府关于囚犯获得正当程序的说法“不值得相信”。领先，蒂莫西·凯利法官裁定移交程序是“一次空洞的行动，以批准在开始之前就已决定的结果”，称其为根本上无法无天的决定的法律借口。此案引发了有关行政权力、宪法正当程序以及法院是否仍应假定行政部门遵守法律的重大问题。卡托法律学者马修·卡夫登在他的新帖子中提供了专家分析。如果您想与他交谈，请通过 pr@cato.org 联系卡托公关。
SCOTUS Ruling Against Emergency Use of Tariffs
在最高法院做出反对特朗普总统使用关税的决定后，我想引用卡托研究所两位法律学者关于该决定的声明。卡托研究所宪法研究主席伊利亚·索明 (Ilya Somin) 和肯尼思·西蒙 (B. Kenneth Simon) 表示：“今天，最高法院正确地裁定，《国际紧急经济权力法》没有赋予总统‘对来自任何国家、任何产品、以任何价格、在任何时间内征收关税的权力。’这是宪法权力分立、自由贸易的重大胜利，也是数百万美国消费者和企业作为一个国家而承受更高税收和更高价格的重大胜利。”卡托研究所罗伯特·利维宪法研究中心法律研究员布伦特·斯科鲁普 (Brent Skorup) 表示：“最高法院今天就本学期最重要的案件之一做
Expert Available: Why the DHS Shutdown Won’t Stop ICE
随着 2 月 13 日国土安全部关闭最后期限的临近，卡托研究所政策分析师多米尼克·莱特 (Dominik Lett) 揭示了一个大多数人都忽略的关键细节：ICE 运营本质上是无法关闭的。在他的新分析中，莱特解释了《美丽大法案》如何在正常拨款流程之外向 ICE 提供 750 亿美元。这意味着无论国会是否通过国土安全部拨款法案，ICE 和 CBP 都可以继续运作。 除了立即关闭的戏剧性事件之外，莱特还发现了一个令人不安的趋势：双方现在经常使用预算调节来绕过财政限制和国会监督。结果是制衡能力减弱，财政责任减弱。多米尼克·莱特接受采访，讨论国土安全部关闭、移民执法资金以及国会预算规范受到侵蚀等问题。请
下面是研究人员开发和使用的编码方案，用于对开放式问题“什么让您感到自豪（调查国家）？请尽可能详细地分享”这一开放式问题的答案进行编码。每个代码列出的关键字代表了指示如何对信息单元进行编码的示例，而不是[…]帖子附录 C：密码本首先出现在皮尤研究中心。
Appendix B: Coding methodology
这份皮尤研究中心关于民族自豪感来源的报告使用了在 25 个国家进行的具有全国代表性的调查数据。对于非美国数据，本分析借鉴了 2025 年 1 月 8 日至 4 月 26 日对 28,333 名成年人进行的全国代表性调查。调查是通过电话与加拿大、法国、德国、希腊、匈牙利的成年人进行的，[…]附录 B：编码方法论首先出现在皮尤研究中心。
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Laura Clancy，研究分析师Maria Smerkovich，研究助理Sneha Gubbala，研究分析师William Miner，研究分析师Julia Armeli，研究助理Andrew Prozorovsky，研究助理John Carlo Mandapat，信息图形设计师Janakee Chavda，副数字制作人Dorene Asare-Marfo，高级小组经理Peter […]该帖子致谢首先出现在皮尤研究中心。
Email Newsletters as a Source of News
十分之三的美国成年人表示，他们至少有时会从时事通讯中获取新闻，但许多人并没有阅读他们收到的大部分时事通讯。 《电子邮件新闻通讯作为新闻来源》一文首先出现在皮尤研究中心。
What Makes People Proud of Their Country?
从印度尼西亚的多样性到法国的美食，25 个国家的人们用自己的语言分享了让他们感到自豪的事情。帖子“什么让人们为自己的国家感到自豪？”首先出现在皮尤研究中心。
ACCF 增加人员——在庆祝其成立 50 周年之际，美国资本形成委员会（一个两党商业倡导组织和附属智囊团，其董事会包括奥巴马前首席经济学家杰森·弗曼 (Jason Furman)，以及此前特朗普总统的首席经济学家凯文·哈塞特 (Kevin Hassett)）宣布了一系列人事变动。 — 乔治·大卫·班克斯 (George David Banks) 现任总裁兼首席执行官 [...]
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 的正确性。...
玛丽和我将在佛罗里达州埃斯特罗度过三个月，试图保持温暖并避开马里兰州的冬季天气。不，今年我们没有飞南下，而是开车去的。我们决定开车去，这样我们就可以打包长期住宿所需的东西，我们也带着玛拉基兄弟一起去。我称我们的两只黑猫为玛拉基兄弟，其他人都称呼它们为“斯莫克”和“宾克斯”。从我们在埃斯特罗的地方欣赏湖景我们开的是梅赛德斯 GLC 300，后排座椅折倒后，后舱口就挤满了人。男孩们表现得非常好，前三十分钟里喵了几声，但随后就安静了。宾克斯在第一个小时确实断断续续地气喘吁吁，但后来就安定下来了。经过 11 个小时的车程，我们在佐治亚州金士兰过夜。酒店不错，但面积不大。整个晚上我们都是在警报声中入睡的
Negative Training: How Practice Can Quietly Make You a Worse Pilot
在航空业，我们有时会有这样的态度：一切都可以通过培训来解决。部分原因是它是我们所做一切的基础。 🔸 有人忘记在线做某事？更多培训。 🔸 某些检查没做对？将其添加到教学大纲中。 🔸 制作[…]帖子《消极训练：练习如何悄悄地让你成为一名更糟糕的飞行员》首先出现在《问为什么的飞行员》上。
Tecnam is proud to announce that the Italian Flight Training Organization Cantor Air
新闻稿 他的最新协议标志着 Cantor Air 机队现代化战略迈出了重要一步，加强了建立在创新、安全和卓越运营共同价值观基础上的合作伙伴关系。新型双引擎飞机将加入学院现有机队（其中已包括 Tecnam P2008JC 和 P2010 TDI），进一步简化学员的培训途径。 [...]
What is Polarisation? A Policy Guide
出版物作者： 出版日期： 2026 年 2 月 16 日 执行摘要 本报告提出了六重类型学，以帮助识别什么是两极分化，更重要的是，预测我们在哪里看到两极分化出现。两极分化的六种类型是：（1）拒绝对话； （二）诬陷对方为敌人的； (3) 不妥协； (4) 整体身份； (5) […]帖子什么是极化？政策指南首先出现在 RSIS 上。
Parking-aware navigation system could prevent frustration and emissions
通过最大限度地减少开车四处寻找停车位的需要，该技术可以为驾驶员节省多达 35 分钟的时间，并为他们提供总行程时间的实际估计。
Группа Leonardo официально предложила на тендер ВВС Филиппин истребитель EF-2000 «Тайфун»
意大利莱昂纳多集团已正式向菲律宾空军提供 EF-2000 台风战斗机，作为 MRF（多用途战斗机）计划采购多用途战斗机招标的一部分。
