Avianca marks 15 years of operations at Orlando International Airport
Avianca 正在庆祝奥兰多国际机场 (MCO) 运营 15 周年。自 2011 年 7 月开通飞往奥兰多的航班以来，该航空公司现已扩大了机场网络，目前每周运营 32 趟直达航班，往返于奥兰多和哥伦比亚的波哥大、麦德林以及萨尔瓦多的圣萨尔瓦多。奥兰多网络 […]Avianca 的帖子标志着奥兰多国际机场运营 15 周年，首先出现在旅行雷达 - 航空新闻上。
亚当·弗朗西斯·普卢默 (Adam Francis Plummer) 的编年史被认为是该国唯一已知的由被奴役者创办的多代日记的例子。现在正在史密森尼阿纳科斯蒂亚社区博物馆展出
House Reconciliation Plan Would Add More Than $100 Billion to Deficits, Cato Budget Expert Says
众议院预算委员会今天发布了 2027 财年预算决议，为第三项预算协调法案铺平了道路，该法案将通过授权增加国防和农业补贴支出，在不抵消支出削减的情况下产生超过 1000 亿美元的赤字。以下是卡托研究所预算和权利政策主任罗米娜·博恰 (Romina Boccia) 的一份声明：“国会正在浪费另一个机会，利用和解来完成它应该做的事情：通过减少联邦支出中的浪费、欺诈和滥用来减少赤字。立法者们没有通过改革臃肿的福利和医疗保健计划来让生活变得更加负担得起，而是利用这一强大的预算工具为农场游说团体提供另一轮特殊利益赠品并扩大国防机构，这一切都在和解应该是为了恢复财政纪律，而不是寻找新的方式来花借来的钱。”今
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Минобороны Польши: Варшава пока не имеет возможности принять участие в «антибаллистической коалиции»
波兰目前还没有机会参加所谓的“反弹道联盟”。据俄新社报道，这是共和国国防部长弗拉迪斯拉夫·科辛尼亚克-卡米什的说法。
Россия поставит Белоруссии 100 автономных грузовиков для запуска первого беспилотного автопарка
俄罗斯将向白俄罗斯供应由 EvoCargo 开发的自动驾驶电动卡车 Evocargo N1。该项目将是俄罗斯解决方案在欧亚经济联盟国家自主物流领域的首批出口实施之一，并预计随后将这种做法扩展到国外市场。
Кванториумы в различных регионах России
之前，我们已经写过一篇关于我国各个地区创建量子库的文章，而且它们的数量还在不断增加。科技园区兴起的地理位置也令人印象深刻：卡巴尔达-巴尔卡尔、克拉斯诺亚尔斯克、弗拉基米尔和苏尔古特。
EU Sanctions Expose Funding Mechanism Behind Pro-Russian Influencer
内容提要：6 月 15 日，欧盟制裁俄罗斯影响者和美国公民亚历山德拉·约斯特（萨沙遇见俄罗斯），理由是“散布虚假信息并支持俄罗斯对乌克兰的新殖民领土主张以及对乌克兰的军事入侵”（欧盟，6 月 15 日）。总部位于俄罗斯的约斯特每月从 RT 所有者 TV-Novosti 那里获得约 2,000 美元，[…]欧盟制裁后揭露亲俄影响者背后的资助机制首先出现在詹姆斯敦。
The KPMG scandal: We have seen this show before
过去一个月席卷毕马威的丑闻有很多令人感动的部分，但都可以用一句朴实的澳大利亚谚语来概括——“相同的东西，不同的桶”。我们之前已经多次看过这个节目，包括在 2022 年，有消息称普华永道与联邦政府合作开发新业务毕马威丑闻后：我们之前已经看过这个节目，首先出现在澳大利亚研究所。
USS Mississippi returns home from deployment
夏威夷珍珠港-希卡姆联合基地（2026 年 7 月 6 日）——弗吉尼亚级快速攻击潜艇密西西比号 (SSN 782) 在部署后于 2026 年 7 月 6 日返回珍珠港-希卡姆联合基地。在部署期间，密西西比号的船员进行了广泛的潜艇行动，以阻止侵略并支持自由开放的印度-太平洋地区。
Trump Announces $10B Investment in Defense Industry
唐纳德·J·特朗普总统宣布，陆军部将投资约 100 亿美元用于物资生产，同时支持宾夕法尼亚州 4,000 多个国防工业就业岗位。
D.C. National Guard Boosts Homeland Defense With First Maritime Security Vessel
哥伦比亚特区国民警卫队第 260 特种用途旅委托其第一艘海上安全船只，加强国土防御和机构间协调，以保护首都的水道和关键基础设施。
Soldiers to Test Next-Gen Warfare Tech in Historic Exercise
陆军和多国合作伙伴将在加利福尼亚州欧文堡举行的“融合项目 6”期间严格试验未来技术，该演习旨在确保美国和盟军在复杂的高威胁环境中占据主导地位。
California Guardsmen Support Wildfire Suppression Efforts
两架配备模块化机载消防系统的加州国民警卫队飞机在单次任务中可输送多达 3,000 加仑的阻燃剂，加入了联邦和州在圣玛丽亚地区的野火扑灭工作。
D.C. Guard Commissions First Maritime Security Vessel
哥伦比亚特区国民警卫队第 260 特种用途旅委托其第一艘海上安全船只，标志着该国首都的陆军部队首次运营专用水上平台，增强了其保护该地区水道的能力。
TECOM establishes Marine Corps Robotics Integration Group and Counter Drone Team
弗吉尼亚州匡蒂科海军陆战队基地——正如 MARADMIN 307/26 中所宣布的那样，海军陆战队已成立海军陆战队机器人集成小组作为其服务级别组织，负责对整个部队的第 1 组和第 2 组小型无人机系统以及反小型无人机系统的培训进行集成、标准化和制度化。
Can new drones, 3D printers defeat distance’s tyranny? RIMPAC aims to find out
“这是以亚马逊的速度交付制造的 Uber，提供最高质量的零件，”海军陆战队中校迈克尔·拉迪根 (Michael Radigan) 告诉记者。
Supreme Court says third language should start in Class 6, not Class 9
在最近的一项裁决中，最高法院建议不要在九年级实施第三语言要求，而是主张从六年级开始引入第三语言要求。这一决定源于对当前学生学业压力的担忧。此外，法院还质疑泰米尔纳德邦反对创建纳沃达亚学校的立场。听证会已推迟至 8 月 11 日进行进一步审议。
