The P-Completeness of Inverted Index Traversal: On the Complexity of Evaluating Boolean Query DAGs
现代人工智能代理越来越依赖搜索基础设施来执行复杂的神经符号推理工作流程。这些工作流程通常编译成对文本字段的深度嵌套、非单调布尔查询。然而，在处理这些结构时，倒排索引的标准查询评估策略面临着严格的理论限制。有状态迭代器模型（一次文档）在结构上受到 NC^1 公式评估的限制，在展开重新收敛逻辑时，查询复杂性会遭受最坏情况的 O(2^|Q|) 指数爆炸。相反，递归物化模型......
Priority Open Recommendations: National Aeronautics and Space Administration
GAO 的发现2025 年 8 月，GAO 为美国国家航空航天局 (NASA) 确定了三项优先建议。此后，NASA 就没有实施任何优先建议。 2026 年 7 月，GAO 又确定了一项额外的优先建议，使总数达到四项。 GAO 强调了以下三个需要及时和重点关注的领域：监控计划成本、管理网络安全风险和使用联邦合同指标。在这些领域落实 GAO 的建议将加强 NASA 提高 Artemis 计划和任务成本透明度的努力；通过执行全组织范围的网络安全风险评估来帮助 NASA 了解其网络安全风险，以识别和减轻整个企业中最高优先级的网络威胁；并使 NASA 能够做出更明智的管理决策，并有可能在采购中节省数百万
Pentagon rebuffed repeated requests for Golden Dome brief: CBO
美国国会预算办公室国家安全局局长戴维·莫舍尔强调，该监督办公室的任务是估算执行特朗普 2025 年 1 月行政命令的成本，而不是任何国防部计划。
Striveworks to build AI layer for NGC2 at corps level, Army says
Striveworks 的模型将能够将“员工的工作时间压缩为几秒钟”，首席执行官 Jim Rebesco 告诉 Breaking Defense。
BCDA promises to obtain favorable Pax Silica terms
基地转换和发展局 (BCDA) 表示，菲律宾和美国之间正在就即将建成的 Pax Silica 中心的管理框架进行谈判，并致力于为菲律宾争取有利的条件。 BCDA 总裁兼首席执行官 Joshua M. Bingcang 周三在 Kapihan sa 马尼拉湾论坛上发表讲话时表示 [...]
A rightwing witch-hunt focused on Jason Arday – but so did legitimate journalism | Hugh Muir
在对悲惨损失的悲痛和愤怒中，区分那些参加文化战争的人和那些只是寻求真相的人是正确的。即使现在，也很难处理吞噬杰森·阿戴和那些爱他的人的悲剧的规模。他的去世令人难以忍受的悲伤；令人悲惨的是，公众对他的攻击始于一个自我定义的“种族现实主义者”的邪恶阴谋——他相信，在理想的世界中，黑人将“从体育和娱乐之外的几乎所有高调职位上消失”。令人恐惧的是，一场右翼和极右翼运动寻找受害者来助长其本土主义偏见，现在却可以夸耀自己找到了受害者。有广泛而深刻的悲伤，当然也有愤怒，有集中的，也有散漫的。周一晚上，数千人参加了特拉法加广场的抗议守夜活动，这两幅作品都在现场展出。Hugh Muir 是 Opinion 的执
Scientists Think Fungi Could Turn Martian Dirt Into Farmland
来自美国和巴西的科学家正在探索有益的真菌如何将火星和月球的风化层转化为肥沃的生长介质。您正在执行第四次人类火星任务，您的任务是在火星定居点种植第一种自给自足的粮食作物。你很紧张，因为你正在使用一种新型真菌 [...]
Nine aircraft deployed as international aerial operation intensifies over High Fens fire
周三，七架直升机和两架喷水飞机在高沼泽上空执行任务，消防队员试图巩固比利时有记录以来最大的野火周围的边界。空中行动是在斯帕机场协调的，该机场已成为异常多样化的多国消防队的临时基地。来自比利时、德国、荷兰、挪威的飞机 [...]
American Airlines Passenger Says Attendant Confiscated Wife’s Business Class Meal and Throws it
美国航空乘客称商务舱食物被没收并丢弃，引发了有关航空公司政策执行的争论。美国航空乘客称乘务员没收了妻子的商务舱餐食并将其扔掉的帖子首先出现在 Aviation A2Z 上。
Campbell Wilson Returns to Air New Zealand Board
在新西兰航空 (NZ) 宣布计划任命前印度航空 (AI) 首席执行官坎贝尔·威尔逊 (Campbell Wilson) 为董事会成员后，他将重返航空业高级领导职位。坎贝尔·威尔逊 (Campbell Wilson) 重返新西兰航空董事会的消息首先出现在 Aviation A2Z 上。
One War Department Unit Takes Next Step in Legacy of Innovation
桥梁计划是陆军部创新部门的一部分，旨在推动系统性改革，增强美国国防工业基础，正在执行一项有针对性的战略，以消除关键瓶颈。
Soldiers Support Joint, Multinational Force During Exercise Regional Medic
分配到陆军预备役医疗司令部的 80 多名士兵在威斯康星州麦科伊堡举行的第 26 次地区医疗演习中执行了真实的医疗任务，为美国和北约军人提供支持。
DoD expands R&D on clearing expired satellites from orbit
既定目标是清除过时的卫星，尽管这些功能也可用于将目标鸟移动到不再能够执行其功能的轨道、以某种方式禁用它或简单地粉碎它的武器。
Add photos to your iMessages with one tap - how to skip that annoying iOS menu
最新的 iOS 更新添加了大量不必要的点击来执行简单的操作，例如将照片添加到文本中。但有一个简单的技巧可以绕过它。
Trump picks Heidi Overton to run Food and Drug Administration, Bloomberg News reports
唐纳德·特朗普总统选择海蒂·奥弗顿领导食品和药物管理局。奥弗顿目前担任白宫国内政策委员会副主任。她此前曾在美国第一政策研究所智库工作。自马蒂·马卡里 (Marty Makary) 五月份辞职以来，凯尔·迪亚曼塔斯 (Kyle Diamantas) 一直担任代理首席执行官。白宫和 FDA 没有立即回应置评请求。
SC rejects plea to replace hanging with less painful method for death penalty
最高法院驳回了一项质疑绞刑作为执行死刑方法的抗辩，同时为基于令人信服的科学证据的未来重新考虑敞开了大门。法官维克拉姆·纳斯 (Vikram Nath) 和桑迪普·梅塔 (Sandeep Mehta) 表示，该中心可以科学地研究替代执行方法。
乔治亚·吉霍利 (Georgia Gilholy) 报道了特朗普在地图上宣布霍尔木兹海峡为“新美国领土”、一艘船只在几小时前从阿曼驶离英国海事贸易业务、Qalibaf 的条件、中央司令部的执行情况、特朗普对阿曼的威胁，以及 6 月备忘录的 60 天窗口周一到期而未达成协议的情况。
