USNI News Fleet and Marine Tracker: Aug. 24, 2026
以下是截至2026年8月24日美国海军部署的航母打击群和两栖戒备群在世界各地的近似位置，基于海军和公开数据。在CSG或ARG进行分散行动的情况下，图表反映的是主力舰艇的位置。……
Congratulations to the #IJCAI-ECAI 2026 distinguished paper award winners
第 35 届国际人工智能联合会议和第 29 届欧洲人工智能会议 (IJACI-ECAI 2026) 杰出论文奖旨在表彰每年在会议上提出的一些最佳论文。今年，三篇文章被评为杰出论文。获胜者是……基于批准的预算部门的近似战略证明 Haris Aziz、Patrick [...]
Conservatives tear into 'Trump crime family' over destructive new grift
一些网上保守派评论者认为，唐纳德·特朗普总统最近似乎从自己的办公室中获利，这不仅是不道德的，而且可能会严重损害美国经济。“美国历史上最腐败的家族，”前众议员乔·沃尔什（R-IL）周日在 X 上写道。他引用了《华尔街日报》最近的一篇报道，内容是特朗普任命的人如何为他的家族拥有的加密货币公司成为官方银行铺平道路。 “他们可以如此公开、如此淫秽、腐败，因为我们没有国会，而且太多美国人根本不在乎。真是太丢脸了。”另一位保守派人士、The Bulwark 创始人莎拉·朗威尔 (Sarah Longwell) 在 X 上发帖称，这表明他们是“特朗普犯罪家族”。有条件批准将世界自由金融转变为银行。“最终批准
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
