ANN's Daily Aero-Linx (07.17.26)
Aero Linx：EUROCONTROL EUROCONTROL 是一个泛欧洲的军民组织，致力于支持欧洲航空业。我们的专业知识涵盖研究、开发、运营和绩效监控。我们致力于实现欧盟的欧洲单一天空愿景。我们支持我们的成员国以及我们的民用和军事利益相关者（包括空中导航服务提供商、空域用户、机场和飞机/设备制造商）共同努力，使欧洲航空更安全、更高效、更具成本效益，并且对环境的影响最小。
Eve Air expands eVTOL pipeline with Moov Airways LOI for up to 30 aircraft
Eve Air Mobility 和 Moov Airways 签署了一份最多 30 架电动飞机的意向书 (LOI)…Eve Air 与 Moov Airways 扩大了 eVTOL 管道，最多可容纳 30 架飞机，意向书首先出现在 AeroTime 上。
Evolito submits E800 electric engine for approval, intended for Electra’s EL9
英国开发商 Evolito 已提交其 E800 电动发动机，这是一个旨在集成到 Electra EL9 上的动力基础…Evolito 提交 E800 电动发动机以供批准，旨在用于 Electra EL9 的帖子首先出现在 AeroTime 上。
Ghana Opens Wholesale 5G Market as NCA Amends NGIC Licence
随着 NCA 修改 NGIC 许可证，加纳开放 5G 批发市场 |国家通信管理局 (NCA) 已采取决定性步骤重塑加纳的电信格局。出于公共利益的考虑，管理局修改了向 Next Gen Infraco Limited (NGIC) 颁发的批发电子通信基础设施许可证，删除了授予 NGIC 的排他性条款 […]随着 NCA 修改 NGIC 许可证，加纳开放批发 5G 市场，该许可证首先出现在 Aviationghana。
e-Smart secures lease for up to 20 BETA electric aircraft
e-Smart 获得最多 20 架 BETA 电动飞机的租赁 | e-Smart Group 已与航空航天资产融资专家 SLI 签署了最多 20 架 BETA Technologies 电动飞机的租赁协议，支持其航空货运业务的推出（首先在欧洲）。该协议涵盖 BETA 的 ALIA CX300 传统起飞和 […]后 e-Smart 获得最多 20 架 BETA 电动飞机的租赁，该飞机首先出现在 Aviationghana。
Dangote Nears $2.5 Billion Refinery Share Sale Ahead of Africa’s Biggest IPO
Dangote 在非洲最大规模的 IPO 之前出售近 25 亿美元炼油厂股份 | Aliko Dangote 即将完成 Dangote Petroleum Refinery & Petrochemicals FZE 25 亿美元的私募，此举可能为非洲最大的首次公开募股 (IPO) 铺平道路。据知情人士透露，在非洲最大的 IPO 之前，丹格特 (Dangote) 的总裁将出售近 25 亿美元的炼油厂股票，该公司的总裁首先出现在 Aviationghana 网站上。
Nigerian Airlines Warned Over Delayed ICAO Regulation Implementation
尼日利亚航空公司因国际民航组织法规实施延迟而发出警告 |尼日利亚航班调度员协会 (FLIDAN) 对国际民用航空组织 (ICAO) 10106 号文件实施缓慢表示担忧，警告许多尼日利亚航空公司尚未达到运行控制中心 (OCC) 所需的标准。国际民航组织第 10106 号文件，也称为 […]尼日利亚航空公司就国际民航组织法规实施延迟发出警告的帖子首先出现在 Aviationghana。
Bank of Ghana Revokes Zeepay’s E-Money Licence as Company Assures Customers
作者：Prince Offeh 加纳银行吊销了 Zeepay 的电子货币许可证，以确保公司向客户保证 |加纳银行吊销了 Zeepay Ghana Limited 的专用电子货币发行商 (EMI) 许可证，影响了该公司的移动货币钱包业务。做出这一决定后，Zeepay 在一份声明中确认了这一进展，并向客户、合作伙伴和利益相关者保证，加纳银行撤销 Zeepay 的电子货币许可证的消息首先出现在 Aviationghana 上。
Thai Aviation Industries, Edgewater and Amadeus sign MOU for airport modernisation across Thailand
泰国航空工业公司 (TAI)、Edgewater Solutions Limited 和艾玛迪斯签署了一份谅解备忘录 (MOU)，旨在实现泰国国际机场和 [...] 的乘客旅程和日常机场运营现代化并改善其运营
Meet the Orange-Lipped 'Likweli' Monkey, a New Species That Was Discovered in the Congo Rainforest
这些生物的重量与小狗差不多，长着尖尖的黑色毛发，嘴巴周围有橙色奶油色的皮肤，屁股上有一块白色的斑块。科学家称它们可能濒临灭绝
Cato Legal Fellow: Judge’s Order Guts Trump Settlement Immunity Deal
今天，美国地区法官凯瑟琳·威廉姆斯 (Kathleen Williams) 谴责了特朗普总统的和解协议，该和解协议为特朗普总统及其家人带来了豁免权，并拨款 18 亿美元作为赔偿基金。在该命令发布后，卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格发表声明：“法律禁止自我交易；威廉姆斯法官的命令解释了特朗普总统及其律师如何违反了该法律。特别是，威廉姆斯法官发现，18亿美元的特朗普和解协议是‘恶意且出于不正当目的’进行的，因此违反了律师行为的核心要求。正如命令所说，‘这是试图利用法院应为一项协议提供一定的合法性，以赋予与总统有联系的个人和实体豁免权，并从美国纳税人中拨出数十亿美元
Cato’s Greenberg Rebuts Case for Supreme Court Packing
最近，安迪·克雷格 (Andy Craig) 在《非民粹主义者》(The Unpopulist) 上发表了一篇题为“为阻止美国威权主义漂移而不幸需要通过法庭挤塞”的文章，并附有一篇社论，开头写道：“绝望的时代需要绝望的措施。”卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点，其中部分写道：“最终，像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步，而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪，例如：那些违反规范的人因此有权
这是皮尤研究中心的皮尤-奈特倡议 (Pew-Knight Initiative) 报告，该倡议是由皮尤慈善信托基金 (Pew Charitable Trusts) 以及约翰·S. 和詹姆斯·L. 奈特基金会 (John S. and James L. Knight Foundation) 联合资助的一项研究项目。在线查找相关报告：https://www.pewresearch.org/pew-knight/。主要研究员 Elisa Shearer，高级研究员Luxuan Wang，研究员 Katerina Eva Matsa，新闻与信息研究总监 Michael Lipka，新闻副总监 [...
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Jonathan Schulman，研究助理Laura Clancy，研究分析师William Miner，研究分析师Julia Armeli，研究助理Dorene Asare-Marfo，高级小组经理Peter Bell，设计和用户体验副总监Ethan Charlip，传播助理Janakee Chavda，副数字制作人Jonathan Evans，高级[...]
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Jonathan Schulman，研究助理Laura Clancy，研究分析师William Miner，研究分析师Julia Armeli，研究助理Dorene Asare-Marfo，高级小组经理Peter Bell，设计和用户体验副总监Ethan Charlip，传播助理Janakee Chavda，副数字制作人Jonathan Evans，高级[...]
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 模型上进行了推广，包括......
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
