Judge Blocks Trump’s Transfer of Former Death Row Prisoners to Supermax
在拜登总统将二十名死囚减刑为无期徒刑后，现任总统特朗普威胁要进行报复。上任后，他下令将他们全部送往全国最严格的联邦监狱ADX Florence。但周三，特朗普提名的一名联邦法官发布了一项初步禁令，阻止移交，认为政府关于囚犯获得正当程序的说法“不值得相信”。领先，蒂莫西·凯利法官裁定移交程序是“一次空洞的行动，以批准在开始之前就已决定的结果”，称其为根本上无法无天的决定的法律借口。此案引发了有关行政权力、宪法正当程序以及法院是否仍应假定行政部门遵守法律的重大问题。卡托法律学者马修·卡夫登在他的新帖子中提供了专家分析。如果您想与他交谈，请通过 pr@cato.org 联系卡托公关。
Expert Available: Why the DHS Shutdown Won’t Stop ICE
随着 2 月 13 日国土安全部关闭最后期限的临近，卡托研究所政策分析师多米尼克·莱特 (Dominik Lett) 揭示了一个大多数人都忽略的关键细节：ICE 运营本质上是无法关闭的。在他的新分析中，莱特解释了《美丽大法案》如何在正常拨款流程之外向 ICE 提供 750 亿美元。这意味着无论国会是否通过国土安全部拨款法案，ICE 和 CBP 都可以继续运作。 除了立即关闭的戏剧性事件之外，莱特还发现了一个令人不安的趋势：双方现在经常使用预算调节来绕过财政限制和国会监督。结果是制衡能力减弱，财政责任减弱。多米尼克·莱特接受采访，讨论国土安全部关闭、移民执法资金以及国会预算规范受到侵蚀等问题。请
皮尤研究中心是其主要资助者皮尤慈善信托基金的子公司。这是皮尤研究中心正在进行的数字时代新闻、信息和新闻状况调查的最新报告，该研究项目由皮尤慈善信托基金资助。本报告是基于[…]致谢文章的协作成果，该致谢首先出现在皮尤研究中心。
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），这是一个......的框架
查询自动完成 (QAC) 是现代搜索系统的一项重要功能，它通过在用户键入时建议完成来提高搜索效率。然而，现有的方法面临着根本性的挑战：传统的检索和排序管道的长尾覆盖率很差，需要大量的特征工程，而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架，通过检索增强生成（RAG）和多目标直接偏好优化（DPO）将 QAC 重新表述为端到端列表生成。我们的方法......
Airbus granted Transport Canada type certification for the H175
新闻稿 厄客斯直升机公司已获得加拿大民航运输部 (TCCA) 批准在加拿大运营 H175 直升机，为该飞机进入加拿大市场奠定了基础。 H175 是一个经过验证的尖端平台，能够支持多种操作，包括：能源、搜索和救援 (SAR)、紧急医疗服务 [...]
新闻稿 aher Aircraft 将在年度 VERTICON 垂直飞行展上首次亮相，重点介绍该公司的 Kodiak 100 和 Kodiak 900 作为高性能固定翼飞机，可补充直升机机队，为执法、公共安全和政府运营商提供支持。 Daher Aircraft 的 Kodiak 900 多任务平台有一个安装在机翼支柱上的 [...]
Tecnam is proud to announce that the Italian Flight Training Organization Cantor Air
新闻稿 他的最新协议标志着 Cantor Air 机队现代化战略迈出了重要一步，加强了建立在创新、安全和卓越运营共同价值观基础上的合作伙伴关系。新型双引擎飞机将加入学院现有机队（其中已包括 Tecnam P2008JC 和 P2010 TDI），进一步简化学员的培训途径。 [...]
Phenom 300 series dominates Global Light Jet Market for 14th consecutive years
新闻稿 mbraer 今天宣布，根据通用航空制造商协会 (GAMA) 在华盛顿特区举行的行业状况新闻发布会上发布的数据，其 Phenom 300 系列连续 14 年保持全球最畅销轻型喷气机的地位。该数据还证实该轻型喷气机是 [...]
Exposing biases, moods, personalities, and abstract concepts hidden in large language models
麻省理工学院开发的一种新方法可以根除漏洞并提高法学硕士的安全性和性能。
КРЭТ запускает строительство цеха по выпуску авиационных систем для самолетов МС-21 и «Суперджет»
新区域将位于 Natambov 企业 Elektroribor，并将创造 500 多个就业机会
Ростех поставил «умные» инкубаторы в перинатальный центр Санкт-Петербурга
医疗设备用于新生儿（包括体重极低的新生儿）的护理和重症监护
