TRIP REPORT: Air Serbia, Oslo - Budapest via Belgrade
旅行报告由 CD's Aviation 制作 总的来说，这次旅行还算顺利，尽管我确实认为塞尔维亚航空还有一些改进的空间。他们确实提供免费小吃和水，虽然服务很基本，但仍然超出了你对某些欧洲传统航空公司的期望（例如伊比利亚航空或布鲁塞尔航空，在那里你什么也得不到）。除此之外，第一趟航班很准时，两架飞机的机舱都很干净，腿部空间很好，机上还有一本机上杂志。在贝尔格莱德机场转机也非常快，尽管机场近年来大幅扩建，但仍然相当紧凑 - 另外，如果您从一个申根国家转机到另一个申根国家，则无需通过安检。话虽如此，我对这两个航班的机组人员印象并不深刻，虽然他们看起来足够友好，但我发现他们既不细心也不以服务为导向。例
Expert Available: Trump’s Notification to Congress on Renewed Iran Military Action
唐纳德·特朗普总统周一通知国会，美国已恢复对伊朗的军事行动。导读：“唐纳德·特朗普总统通知国会，恢复针对伊朗的‘军事行动’，对于公开宣布战争权力决议的政府来说是一个奇怪的选择，并且国会在几个月前还试图限制总统单方面行动的能力，这是违宪的。这表明政府在一定程度上过度自信，认为国会没有影响力或能力来检查总统对伊朗的战争决定。虽然战争权力决议本身是一个无效的工具在控制总统权力方面，国会在国防和外交政策问题上的控制力比华盛顿的全国对话所暗示的要强。即，特朗普总统关于恢复战争的通知将招致国会对美国军队的战略和风险、成本、关键弹药支出以及最重要的是，在关于政府的最终决定的讨论中进行更强有力的威吓。 1.5
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 帐户中的图像。虽然用户可以选择退出，但许多用户认为他们没有同意使用他们的图像，如果他们的图像被其他人使用，他们不会收到通知，这让他们感到沮丧，并担心他们的图像被滥用以造成不安全。” “需要明确的是，用户可以决定他们希望使用哪些平
House Reconciliation Plan Would Add More Than $100 Billion to Deficits, Cato Budget Expert Says
众议院预算委员会今天发布了 2027 财年预算决议，为第三项预算协调法案铺平了道路，该法案将通过授权增加国防和农业补贴支出，在不抵消支出削减的情况下产生超过 1000 亿美元的赤字。以下是卡托研究所预算和权利政策主任罗米娜·博恰 (Romina Boccia) 的一份声明：“国会正在浪费另一个机会，利用和解来完成它应该做的事情：通过减少联邦支出中的浪费、欺诈和滥用来减少赤字。立法者们没有通过改革臃肿的福利和医疗保健计划来让生活变得更加负担得起，而是利用这一强大的预算工具为农场游说团体提供另一轮特殊利益赠品并扩大国防机构，这一切都在和解应该是为了恢复财政纪律，而不是寻找新的方式来花借来的钱。”今
Cato’s Greenberg Rebuts Case for Supreme Court Packing
最近，安迪·克雷格 (Andy Craig) 在《非民粹主义者》(The Unpopulist) 上发表了一篇题为“为阻止美国威权主义漂移而不幸需要通过法庭挤塞”的文章，并附有一篇社论，开头写道：“绝望的时代需要绝望的措施。”卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点，其中部分写道：“最终，像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步，而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪，例如：那些违反规范的人因此有权
Embarrassingly Simple Self-Distillation Improves Code Generation
大型语言模型 (LLM) 能否在没有验证器、教师模型或强化学习的情况下仅使用其自己的原始输出来改进代码生成？我们通过简单自蒸馏（SSD）给出肯定的答案：从具有特定温度和截断配置的模型中抽取样本解决方案，然后使用标准监督微调对这些样本进行微调。 SSD 在 LiveCodeBench v6 上将 Qwen3-30B-Instruct 从 42.4% 提高到 55.3% pass@1，收益主要集中在更难的问题上，并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广，包括......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Минобороны Польши: Варшава пока не имеет возможности принять участие в «антибаллистической коалиции»
波兰目前还没有机会参加所谓的“反弹道联盟”。据俄新社报道，这是共和国国防部长弗拉迪斯拉夫·科辛尼亚克-卡米什的说法。
Кванториумы в различных регионах России
之前，我们已经写过一篇关于我国各个地区创建量子库的文章，而且它们的数量还在不断增加。科技园区兴起的地理位置也令人印象深刻：卡巴尔达-巴尔卡尔、克拉斯诺亚尔斯克、弗拉基米尔和苏尔古特。
GAO 发现美国联邦航空管理局 (FAA) 和运输安全管理局 (TSA) 共同努力确保国家空域系统 (NAS) 中运行的互连系统的网络安全。美国联邦航空局定义了负责实现该机构相关目标的实体的角色和职责。相比之下，TSA 却没有。 TSA 在其 2018 年网络安全路线图中定义了优先考虑机构内部和运输系统部门网络安全的目的和目标。然而，该路线图已经过时，不再与最新的国土安全部网络安全战略保持一致。该路线图也没有确定负责实施该路线图的办公室，也没有定义该机构在监督机场和飞机运营商安全计划方面与网络安全相关的角色和职责。在 TSA 更新其网络安全路线图以明确其航空网络安全角色和职责之前，该机构无法完
GAO 的发现 根据《高效利用空间和改进技术 (USE IT) 法案》60% 利用率的基准，交通运输部 (DOT) 及其下属机构的办公空间利用率不足。具体而言，GAO 发现，根据 USE IT 基准，2025 年 8 月和 9 月，交通部 189 栋办公楼（包括交通部和联邦航空管理局 (FAA) 总部大楼）中 89% 的利用率不足。这与 DOT 2026 年 3 月的《信息技术使用法案》报告基本一致。DOT 未充分利用的办公空间每年的租赁、运营和维护成本高达数亿美元。2025 年 8 月，DOT 宣布打算整合华盛顿特区 FAA 办公空间，包括在 2027 年夏季之前完全腾出 FAA 总部大楼。
How Aircraft Brakes Are Cooled
有没有想过飞机制动器是如何冷却的？与汽车制动器一样，飞机制动器也依靠摩擦来实现较低的行驶速度。然而，摩擦会产生热量，过多的热量会损坏或毁坏飞机的制动部件。飞机概述……继续阅读 →
Cyber Workforce: Agencies Did Not Widely Adopt Rotational Program
GAO 的发现 一支富有弹性且技术精湛的网络安全队伍对于保护联邦信息技术 (IT) 系统和支持政府的日常职能至关重要。联邦轮换网络劳动力计划由人事管理办公室 (OPM) 管理，为联邦网络劳动力成员提供获得 IT、网络安全和其他网络相关职位经验的机会。各机构可以通过发布职位广告或让员工在外部机构任职的方式参与该计划。 截至 2026 年 5 月，已有 13 家机构参与了该计划，至少发布了 106 个职位广告，有 634 名员工申请了轮换职位。八名员工被批准进行轮换。 OPM 已有效暂停该计划。它没有在 2025 年发布任何职位广告，官员们表示，由于参与率较低，该机构不打算在 2026 年发布职位
Science & Tech Spotlight: AI for Medical Notes and Coding
为什么这很重要美国临床医生平均每周工作 57 小时，其中包括 7 小时的行政工作。花在起草患者就诊记录或审查账单文件等任务上的时间可能会导致临床医生倦怠。新的人工智能工具可以提高效率并减少患者就诊期间和之后的管理负担。要点一些医疗保健提供者正在采用人工智能工具来协助做笔记和医疗编码，这可能会节省时间并减少倦怠。这些工具的准确性可能难以验证，对医疗保健支出的总体影响也不确定。政策制定者需要更多有关这些工具性能的信息，以确定所需的适当监督级别，以帮助最大限度地减少错误并确保正确计费。该技术是什么？准确的文档和计费是医疗保健中至关重要的管理任务。医疗保健提供者正在采用人工智能工具来自动化这些任务。人
GAO 的发现2024 年 7 月，国家核安全局 (NNSA) 发布了一份内部综合科学、技术和工程 (ST&E) 计划，记录了未来 20 年 ST&E 能力所需的投资。国家核安全局的计划确定了整个核安全企业的 46 个科技与电子设施投资并确定了优先顺序，这些投资支持核武器库存的管理和国家核安全局的其他任务。这些投资根据任务重要性和任务需要时间框架确定优先顺序。其中包括现有设施的维持和增强以及新设施的建设。国家核安全局还从核安全企业场所收集了 20 年期间相关 ST&E 劳动力和计划投资需求（例如所需的设备和材料）的初步估计。然而，国家核安全局并未充分评估这些资金需求，也没有计划这样做。国家核安
