Commission proposes a limited extension of the ETS to international departing flights from Europe
在对欧盟排放交易体系 (ETS) 的广泛审查中，欧盟委员会...
Embraer E2 jets win EASA certification for ROAAS safety tech
巴西航空工业公司宣布，欧盟航空安全局 (EASA) 已认证 E-Jet E2 系列飞机的跑道冲出意识和警报系统 (ROAAS)。认证遵循 [...]
ICAO warns EU moves could result in double charges for carbon emissions
国际民用航空组织 (ICAO) 表示担心，从 2029 年起扩大欧盟航空排放交易体系 (EU ETS) 范围的提议将破坏 [...]
Embraer introduces Phenom 300EV
巴西航空工业公司推出了飞鸿 300EV，这是其轻型喷气机系列的最新版本。该飞机带来了新的安全系统、重新设计的驾驶舱、性能提升和客舱变化。交付计划于 2028 年开始。巴西航空工业公司总裁兼首席执行官迈克尔·阿马尔菲塔诺 (Michael Amalfitano) 表示，新型号背后的成功记录[…]巴西航空工业公司推出飞鸿 300EV 的帖子首先出现在《旅行雷达 - 航空新闻》上。
Air Canada unveils new premium bedding and amenities
加拿大航空推出了一系列全新的优质床上用品和机上便利设施，努力提高长途航班乘客的舒适度。这些更新产品将在该航空公司的 Signature 舱中提供，包括重新设计的羽绒被、枕头、床垫、旅行套装和家居服，将于今年开始推出[…]加拿大航空推出新的优质床上用品和便利设施后，首先出现在旅行雷达 - 航空新闻上。
The Floor Is Not the Ceiling: Why a Culture of Minimum Compliance Fails Safety
只做法律强制规定的最低限度的文化——并且忽视不强制采纳的建议——不是一种安全的文化。国际民航组织的框架实际上说了些什么，以及如何通过超越最低限度来提高安全性。
Обзор изменений в законодательстве за июнь 2026 года
在 2026 年 6 月的变化概述中，我们将考虑以下主题： 1. 关键信息基础设施 让我们考虑一下官方发布的用于对国防工业中 CII 对象进行分类的行业详细信息。金融机构 让我们分析一下俄罗斯央行关于确保金融市场人工智能开发和应用中的信息安全的方法建议。 3．其他 让我们考虑一下正式发布的关于知识产权创造、开发和运营技术平台的联邦法律。让我们研究一下俄罗斯数字发展部关于托管行政机关和地方政府信息系统的 IT 基础设施的方法建议。让我们考虑一下用户授权和推荐技术使用领域的违规行为的新行政责任。4．俄罗斯 FSTEC 让我们看一下识别软件中的漏洞和未声明功能的方法。让我们考虑一下根据信息安全要求正
Immigration Courts: Stakeholder Perspectives on the Use of Remote Hearings
GAO 的发现司法部移民审查执行办公室 (EOIR) 亲自或使用远程技术（例如 WebEx——基于互联网的视频电话会议平台或电话）进行移民法庭诉讼。根据 EOIR 政策，移民法官可以酌情决定听证会参与者使用哪种远程媒体（如果有）。 EOIR 收集每次听证会所使用媒体的数据，该数据仅反映法官和被告的位置。根据 GAO 对这些数据的分析，在 2022 财年至 2025 财年举行的近 600 万场听证会上，约 63%（即 380 万场听证会）是现场举行的。在约 220 万场远程听证会中，大多数使用 WebEx（约 78% 或 170 万场）。在此期间，远程听证会的数量增加了近 50%，而现场听证会的
EU Follows UK, Australia on Youth Social Media Bans — Expert Available
最近，欧盟发布了一份报告，详细介绍了一项禁止儿童使用社交媒体的计划，类似于澳大利亚和英国的政策。卡托研究所自由表达和技术研究员戴维·因塞拉 (David Inserra) 在这个问题上做了广泛的工作。领导者，您可以在下面找到他之前关于社交媒体禁令的作品：英国拥抱老大哥来拯救儿童澳大利亚 16 岁以下社交媒体禁令：对世界各地在线言论和安全的警告孩子们在澳大利亚一切都好，不感谢社交媒体禁令政策制定者应该停止追随 VPN 来实施互联网年龄限制要与 Inserra 交谈，请联系 Christopher Tarvardian。
Cato Legal Fellow: Judge’s Order Guts Trump Settlement Immunity Deal
今天，美国地区法官凯瑟琳·威廉姆斯 (Kathleen Williams) 谴责了特朗普总统的和解协议，该和解协议为特朗普总统及其家人带来了豁免权，并拨款 18 亿美元作为赔偿基金。在该命令发布后，卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格发表声明：“法律禁止自我交易；威廉姆斯法官的命令解释了特朗普总统及其律师如何违反了该法律。特别是，威廉姆斯法官发现，18亿美元的特朗普和解协议是‘恶意且出于不正当目的’进行的，因此违反了律师行为的核心要求。正如命令所说，‘这是试图利用法院应为一项协议提供一定的合法性，以赋予与总统有联系的个人和实体豁免权，并从美国纳税人中拨出数十亿美元
Resuming ICE Traffic Stops Will Put Agents and the Public at Risk, Cato Expert Says
在缅因州和得克萨斯州发生两起 ICE 枪击驾驶者死亡事件后，ICE 短暂暂停了大部分车辆停靠点以重新培训其特工，随后特朗普总统下令该机构恢复停靠。我想分享卡托研究所 (Cato Institute) 的戴维·比尔 (David Bier) 的新评论，他认为永久结束拦截将更好地保护 ICE 人员、他们的目标和公众，同时又不影响执法。比尔指出，白宫边境沙皇汤姆·霍曼承认，特工可以在目标进入车辆之前或等到他们到达目的地之前逮捕他们。他认为，ICE 日益投机取巧的逮捕方式造成了危险和混乱的遭遇，却没有提供有意义的执法利益。正如比尔所写，“ICE 一直在危害其官员和其他人，却没有任何执法利益。结束车辆拦
Cato Expert: Meta’s AI Image Tool Pullback Shows the Market — Not Government — Should Police AI
最近，Meta 推出并迅速下架了一款 AI 图像生成器，该生成器使用 Instagram 上的公开个人资料生成图像。在 Meta 做出这一逆转之后，卡托研究所的言论自由和技术研究员 David Inserra 发表了一份声明：“Meta 最近推出了一款名为 Muse Image 的人工智能工具，但很快就撤下了该工具，原因是该工具允许用户修改任何公共 Instagram 帐户中的图像。虽然用户可以选择退出，但许多用户认为他们没有同意使用他们的图像，如果他们的图像被其他人使用，他们不会收到通知，这让他们感到沮丧，并担心他们的图像被滥用以造成不安全。” “需要明确的是，用户可以决定他们希望使用哪些平
Cato’s Greenberg Rebuts Case for Supreme Court Packing
最近，安迪·克雷格 (Andy Craig) 在《非民粹主义者》(The Unpopulist) 上发表了一篇题为“为阻止美国威权主义漂移而不幸需要通过法庭挤塞”的文章，并附有一篇社论，开头写道：“绝望的时代需要绝望的措施。”卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点，其中部分写道：“最终，像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步，而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪，例如：那些违反规范的人因此有权
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式，这是一种广泛使用的方法，为法学硕士配备工具使用功能。然而，LLM 错误地调用函数可能会产生严重影响，特别是当其影响不可逆转时，例如转账或删除数据。因此，在执行函数调用之前，考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化（UQ）方法可用于量化……
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
Personalizing Incremental Video Search with Hybrid Text and ID Embeddings
增量视频搜索需要在每次击键后进行高质量排名，而意图通常不明确（例如，1-3 个字符前缀）。我们提出了一个 Apple TV 搜索的个性化系统，该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间：(i) 基于文本的多语言编码器 (TextEmb)，通过对比学习对共同参与三元组进行微调；(ii) 基于 ID 的协作嵌入模型 (IdEmb)，根据交互衍生的积极因素进行训练。在服务时，我们从…构建用户表示
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
