Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Assessment and Early Analysis of the 2026 Johor State Election Results
出版物作者： 出版日期： 2026 年 7 月 15 日概要 2026 年柔佛州选举的结果标志着选民动员的重大转变，反映出国阵的实力不断增强以及对希盟的支持减弱，这可能会破坏他们在联邦团结政府内的工作关系。评论 2026 年 7 月 11 日，柔佛州选举进行了[…]2026 年柔佛州选举结果的后评估和早期分析，首次出现在 RSIS 上。
Великобритания разрабатывает для Украины дальнобойную ракету в рамках проекта Nightfall
英国国防部已与多家工业公司签订了制造国家弹道作战战术导弹 (OTR) 的合同，目标是在 2027 年向乌克兰武装部队交付该产品。
Минобороны США засекретило технологии производства комплексов Patriot и компонентов к ним
俄新社研究五角大楼文件后发现，爱国者防空系统全周期的生产技术，包括设计、部件生产、软件和测试结果，在美国均处于保密状态。
Ростех представил анализ рынка медизделий: доля отечественной продукции выросла до 32%
医疗产品生产是国营公司的主要业务之一，其产品组合包括约 200 种医疗产品
Militants, Media, and the Gaza Information War
内容提要：自 6 月以来，对加沙人的审查越来越严格，他们最初被公开称为记者，但现在在哈马斯或巴勒斯坦伊斯兰圣战组织 (PIJ) 材料中被追认为是他们的指挥官或战士。据记录，使用“记者”标签作为掩护的武装分子数量目前已记录在案，武装分子、媒体和加沙信息战的帖子首先出现在詹姆斯敦。
New ‘Drone Czar’ Must Prioritize Warfighters, Analysts Say
由于战争部长皮特·赫格斯 (Pete Hegseth) 希望提高无人机能力并加快采购，五角大楼的一个新职位将负责监督国防部几乎所有与自主相关的工作和资金渠道。
GAO 的发现 GAO 估计，截至 2024 财年（GAO 开始审查时最近完成的财年）2022、2023 和 2024 财年（财年）指定用于社区项目资助/国会指导支出 (CPF/CDS) 项目的 390 亿美元拨款中，各机构记录了约 61% 的债务。 GAO 还估计，截至 2024 财年末，约 16% 的资金已支出。见下图。 GAO 估计，由于受助者拒绝提供资金或未提交所需文件等原因，约 1% 的 2022-2024 财年项目无法取得进展。截至 2024 年 9 月 30 日，2022-2024 财年社区项目资金/国会指导支出资金的预计承担和支出金额和百分比注：有关更多详细信息，包括估计的置信
Make the most of your TRICARE Pharmacy Program benefit: How to use Q-Anywhere at military pharmacies
您最近在军药房配过处方吗？如果是这样，您可能知道军队药房的程序与民用药房不同。当提供者向军药房开出新处方时，您需要在药剂师配药之前激活该处方。最近，国防卫生局更新了其 Q-Anywhere 功能，使处方领取过程变得更加轻松便捷。
Russian troops survive just 20-30 minutes on Ukraine’s front lines, CIA director says
中央情报局局长表示，抵达乌克兰战场的俄罗斯新兵估计能存活 20 至 30 分钟，然后就会被杀或受伤。
How to Get the Most Out of Claude Fable 5
最大限度地利用《克劳德寓言 5》这篇文章《如何充分利用《克劳德寓言 5》》首先出现在《走向数据科学》上。
Don’t Let Claude Grade Its Own Homework
在 GitHub Actions 中使用 Codex 进行跨提供商 PR 审查，以及为什么来自不同实验室的第二意见胜过任何自我审查这篇文章“不要让 Claude 给自己的作业评分”首先出现在 Towards Data Science 上。
