UK court confirms gov't right to loosen slot rules
英国高等法院驳回了伦敦盖特威克机场运营商针对政府放宽 2026 年夏季和 2026/27 冬季起降时刻规则的决定提出的上诉。在7月7日的裁决中，法院确认政府有权发布这样的规定，该规定是临时性的、自愿的，并遵循合法的协商程序。该规定允许航空公司返还最多 10% 的航班时刻，而不影响其未来的航班时刻分配，并且是出于对燃油短缺和燃油价格飙升带来的挑战的担忧......
Air New Zealand to debut retrofitted B777 in 2Q27
新西兰航空（NZ，奥克兰国际）计划于 2027 年 5 月恢复第一架改装 B777-300ER 的运营，改装工作将于 3 月份开始。该航空公司将保留飞机的 342 个座位容量，仅对座位配置进行较小的改变，包括取消两个高级经济舱座位（将新增 52 个座位），并增加两个经济舱座位（总共 246 个座位）。商务舱将保留44个座位。此次升级旨在延长飞机的使用寿命并减少机舱维护需求......
‘We want to win on sleep.’ Air New Zealand’s new CEO talks strategy
即使您最近的邻居距离您有几个小时的航班路程，空中连通性和乘客体验等概念......“我们希望在睡眠上获胜。”新西兰航空公司新的首席执行官谈话策略首先出现在 AeroTime 上。
National Aviation Day in August
8 月 19 日 - 奥维尔·赖特 (Orville Wright) 和凯瑟琳·赖特 (Katherine Wright) 的生日 国家航空日是美国庆祝航空发展的国家纪念日。该节日由富兰克林·罗斯福总统于 1939 年颁布总统公告设立。 8 月 19 日是奥维尔·赖特 (Orville Wright，1871 年) 和他的妹妹凯瑟琳·赖特 (Katherine Wright，1874 年) 的生日。这也是阅读更多有关莱特兄弟的信息来庆祝的好时机。除了威尔伯和奥维尔之外，凯瑟琳对他们的支持......
Embarrassingly Simple Self-Distillation Improves Code Generation
大型语言模型 (LLM) 能否在没有验证器、教师模型或强化学习的情况下仅使用其自己的原始输出来改进代码生成？我们通过简单自蒸馏（SSD）给出肯定的答案：从具有特定温度和截断配置的模型中抽取样本解决方案，然后使用标准监督微调对这些样本进行微调。 SSD 在 LiveCodeBench v6 上将 Qwen3-30B-Instruct 从 42.4% 提高到 55.3% pass@1，收益主要集中在更难的问题上，并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广，包括......
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型（例如扩散模型）通常在压缩的潜在空间中运行，以平衡训练效率和样本质量。与此同时，人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
Litera ‘Relaunches’ With One Agent to Rule the Platform
法律科技传奇人物 Litera 已“重新启动”自己，以其 Lito 代理为主要焦点，提供了利用其业务的能力......
Gone With the Wind: Mamdani's Tax Raid Vanishes
纽约的税收收入正在崩溃。至此，伊斯兰社会主义者佐兰·马姆达尼（Zoran Mamdani）向美国选民兜售社会主义奇迹的梦想结束了。只有傻瓜才会拒绝学习：那些咬住喂养自己的手的人最终会......
