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 年发布职位
GAO 的发现2024 年 7 月，国家核安全局 (NNSA) 发布了一份内部综合科学、技术和工程 (ST&E) 计划，记录了未来 20 年 ST&E 能力所需的投资。国家核安全局的计划确定了整个核安全企业的 46 个科技与电子设施投资并确定了优先顺序，这些投资支持核武器库存的管理和国家核安全局的其他任务。这些投资根据任务重要性和任务需要时间框架确定优先顺序。其中包括现有设施的维持和增强以及新设施的建设。国家核安全局还从核安全企业场所收集了 20 年期间相关 ST&E 劳动力和计划投资需求（例如所需的设备和材料）的初步估计。然而，国家核安全局并未充分评估这些资金需求，也没有计划这样做。国家核安
CMMC may be paused, but cybersecurity audits likely to return: Industry, experts
CMMC 第二阶段的暂停“不应该让任何人感到震惊”，被认为是 CMMC 创始人的凯蒂·阿灵顿 (Katie Arrington) 表示。但是，她说，最终五角大楼可能会回到现在的状态，意识到“确实没有其他方法可以让人们遵守”。
Networked for the fight: Army aviation’s next advantage
[赞助] 随着操作环境变得越来越复杂，Link 16 提供即时、任务范围内的连接，以确保没有飞机单独飞行。
企业文档智能 [Vol.1 #7quinquies] - 幻觉通常是垃圾。修复检索，模型就没有什么可弥补的了大多数 RAG 幻觉都是检索失败：检索砖如何决定模型可以发明什么，该帖子首先出现在《走向数据科学》上。
François Pachet on music generation with AI
“当我听到一首具有披头士乐队品质的歌曲的那一天，我会说：‘好吧，我们完成了’。我从来没有听过这样的事情。从来没有。” François Pachet 博士是一位人工智能研究员和音乐家，也是人工智能和音乐领域最具影响力的人物之一。他的创新贡献定义了该领域 [...]
Over 50% of Indian major reservoirs still half-empty
由于季风比正常水平低 24%，该国 59% 的地区降雨量不足或没有降雨
Battery Storage, Policy, and Markets
过去十年，美国和全球的可再生能源发电量急剧增长。通过取代化石燃料发电，可再生能源减少了温室气体排放。然而，最近的增长来自太阳能光伏发电 (PV) 等间歇性能源，这种能源在日落后或阴天期间无法发电。如果没有存储，集成这些来源需要备用发电[…]电池存储、政策和市场后的文章首先出现在微观经济洞察上。
