Embraer unveils redesigned jet family, with new Praetor 500E and 600E
巴西航空工业公司 (Embraer) 在…的广播活动中推出了其最畅销公务机系列的最新版本——领航 (Praetor) 500E 和 600E。
Delta Unveils Airbus A321neo With Massive 44 Seat First Class Cabin
达美航空将在从亚特兰大出发的横贯大陆航线上部署配备 44 个头等舱座位的空客 A321neo，同时解决与其新型平躺式商务舱产品相关的认证延迟问题。达美航空推出拥有 44 个头等舱座位的空客 A321neo 的帖子首先出现在 Aviation A2Z 上。
Australian MoD Awards A 4B to Austal Defence for 8 Heavy Landing Craft
澳大利亚与Austal Defense Australia签署了价值40亿美元的协议，用于建设O
A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
使用经过训练来完成真实程序的小型模型可以进行哪些研究？通常，研究人员通过大型语言模型（LLM）研究程序合成，这会带来一些问题，例如了解分布内或分布外的内容、了解微调效果、理解标记化的效果以及对进行实验的计算和存储提出更高的要求。我们提出了一个名为 Cadmus 的系统，其中包括一个整数虚拟机 (VM)、一个由不同任务的真实程序组成的数据集，以及一个经过 200 美元以下计算训练的自回归变压器模型……
Trace Length is a Simple Uncertainty Signal in Reasoning Models
法学硕士的不确定性量化是解决幻觉和其他限制其可靠部署的问题的关键研究方向。在这项工作中，我们证明推理轨迹长度是大型推理模型中简单且有用的置信度估计器。通过跨多个模型、数据集和提示的综合实验，我们表明迹线长度的表现与其他零样本置信度估计器（例如言语置信度）具有可比较但互补的方式。我们的工作表明，训练后推理从根本上改变了踪迹之间的关系……
Public pension debt should be scrutinized like other types of government debt
如果没有全面的养老金债务改革，各州将面临持续的财政压力和未来预算灵活性的降低。后公共养老金债务应该像其他类型的政府债务一样受到严格审查。
Built to Hunt: Apache attack helicopter’s new 30mm proximity ammunition
新泽西州皮卡汀尼兵工厂 - 阿帕奇攻击直升机 AH-64 凭借其成功的实弹测试，在战场能力方面达到了新的里程碑...
National Guard’s Vice Chief Credits Georgia’s ‘Leadership Factory’
华盛顿 — 托马斯·卡登将军被任命为国民警卫队局首位四星副局长，带来了近四十年的前任...
Why I still recommend the Sonos Arc soundbar over competing models, especially at this price
优惠 200 美元，这是 Sonos 旗舰条形音箱的最优惠价格。
Your LG TV is getting a big brightness boost for free - these older models included
此次更新使流行的 OLED 电视播放杜比视界内容更加生动。
Bulgarian Central Bank Deputy Governor appointed Prime Minister
一方面，保加利亚正在庆祝向欧元的过渡，这表明该国一切顺利。另一方面，保加利亚正在经历一场重大的政治风暴。以至于总统任命前央行副行长为临时总理。 “我选择安德烈·古洛夫是因为他 [...]
Sorry, F-22 and F-35: China’s New J-35 Stealth Fighter Can Be Summed Up in 2 Simple Words
剧情简介：沉阳J-35A在2026年新加坡航展上正式从国内优先产品转变为全球出口产品。 -J-35A 陆基改型被定位为 F-35 的低成本隐形替代品，继 2025 年 9 月在福建号航空母舰上成功进行了电磁弹辅助试验之后，J-35A 陆基改型于 2025 年末进入解放军空军服役。 -北京 […]文章《抱歉，F-22 和 F-35：中国新型 J-35 隐形战斗机可以用两个简单的词来概括》首先出现在19 四十五。
China’s New Supercarrier Is “Crimped” by Design Flaws
摘要和要点：中国的航母计划正在推进，003 型福建舰是中国第一艘采用电磁弹射系统 (EMALS) 的舰艇。 -尽管取得了这些成就，中国海军仍然远远落后于美国核动力超级航母。 -福建号存在严重的设计缺陷，包括限制航程的传统推进力和甲板布局，[…]中国的新型超级航母因设计缺陷而“受压”的帖子首先出现在 19FortyFive 上。
Sorry, F-22 and F-35: New ‘Super’ Eurofighter Typhoon Fighter Summed Up in 2 Words
总结和要点：欧洲台风战斗机已从冷战时期的拦截机发展成为能够在 2040 年代运行的复杂多用途平台。现在有些人甚至将这款升级后的战斗机称为“超级”欧洲战斗机台风战斗机。 -虽然缺乏 F-22 的完全隐身性，但台风战斗机的 2 马赫速度和卓越的性能[…]帖子《抱歉，F-22 和 F-35：用 2 个词总结的新型“超级”欧洲台风战斗机》首先出现在 19FortyFive 上。
Why New F-35 Stealth Fighters Are Being Delivered Without Radar
总结和要点：F-35 项目面临新的危机，据报道，第 17 批飞机交付时没有配备雷达。 -虽然打算搭载下一代 AN/APG-85，但新型 GaN 系统与当前隔板安装之间的工程不匹配导致安装停滞。 -尽管这些喷气式飞机通过被动 EOTS 和数据共享仍然“传感器丰富”，但缺乏 [...]为什么新型 F-35 隐形战斗机交付时没有雷达的帖子首先出现在 19FortyFive 上。
U.S. Air Force Moving to Replenish GBU-57 Massive Ordnance Penetrator Inventory
美国空军采购文件显示，波音公司正在签订合同，补充在“午夜之锤”行动中消耗的 GBU-57 的库存。美国空军正在请求批准授予波音公司一份生产额外 GBU-57 大型穿甲弹 (MOP) 武器的独家合同。 30,000 磅地堡破坏炸弹是值得注意的 [...]
