Some Numbers for SecTreas Bessent for Benefit Risk Assessment
考虑到油轮护航，一些大概的数字。一艘星座级护卫舰的估计成本：每艘13亿美元。 （或濒海战斗舰，每艘船约 5 亿美元） 一艘“超级油轮”超大型原油运输船（VLCC）的成本：80-1.2 亿美元 一艘 VLCC 的货物价值（按 100 美元/桶计算）：2000 万美元 一架 Shahed 136“神风”无人机：0.02 美元 – 0.05 美元 [...]
GOL Linhas Aéreas 首席执行官 Celso Ferrer 正式承认有可能将空客 A330-900neo 宽体飞机引入该航空公司的机队，因此它准备打破其长期以来的“仅限波音”传统。
Pareas melanops Liu, Li, Yang & Rao, 2025 黑眼食蛞蝓蛇 | DOI: doi.org/10.1590/S1984-4689.v42.e24068 Researchgate.net/publication/393112916 摘要 基于形态学比较和系统发育分析，从中国云南省临沧市耿马县描述了 Pareas 新种。该新种与黑头虾和虎虾在系统发育上密切相关，在形态上也相似。结合以下性状可与黑头虾、虎虾等同源体区别：成虫吻孔长度352-472毫米，尾长/吻孔长度0.25-0.29，前眼1-2，下眼单，后眼单，一排椎鳞增大，背鳞1-7排龙骨状于体中部，腹侧鳞片
mAceReason-Math: A Dataset of High-Quality Multilingual Math Problems Ready For RLVR
带可验证奖励的强化学习 (RLVR) 已成功应用于显着提升预训练大型语言模型的能力，特别是在数学和逻辑问题领域。然而，当前的研究和可用的训练数据集仍然以英语为中心。虽然过去已经创建了多语言训练数据和基准，但它们在创建时并未考虑到 RLVR 和当前模型的功能，而且它们的难度通常太低，无法为当前模型提供适当的训练信号。为了解决这一差距，我们提供了 mAceReason-Math，...
Multilingual Reasoning Gym: Multilingual Scaling of Procedural Reasoning Environments
我们提出了多语言推理 Gym，它是 Reasoning Gym（Stojanovski 等人，2025）的扩展，它可以在程序上生成跨 14 种语言的可验证推理问题。我们翻译 94 项任务的模板，并以 10 种语言进行母语验证，并进行有针对性的代码或模板调整，以确保语言的自然性。多语言推理 Gym 保留了原始 Reasoning Gym 中使用的程序生成方法的核心优势，例如几乎无限的问题实例生成和可调整的难度，并且仍然可直接用于强化......
Maryland can improve upon its proposal for a mileage-based user fee program
马里兰州交通资金严重短缺，基于里程的用户收费是一种潜在的解决方案。《马里兰州可以改进基于里程的用户收费计划》的帖子首先出现在 Reason Foundation 上。
Lisbon and Paris, confirmed as first long-haul destinations for GOL’s A330neos
巴西航空公司 Gol Linhas Aéreas Inteligentes (GOL) 已确认里斯本温贝托·德尔加多国际机场 (LIS) 和巴黎……里斯本和巴黎确认为 GOL 的 A330neos 的首个长途目的地首先出现在 AeroTime 上。
GOL to launch first-ever direct flights to Europe from Rio de Janeiro
GOL Linhas Aéreas 宣布开通首条直飞欧洲的航班，推出从里约热内卢里约加莱昂 - 汤姆若宾国际机场飞往巴黎戴高乐机场和里斯本机场的新服务。飞往里斯本的航线将于 9 月 16 日开始运营，每周有四趟往返航班，而飞往巴黎的航班详细信息 [...]
GOL Announces Direct Flights between Rio de Janeiro, Lisbon and Paris
巴西 GOL Linhas Aéreas Inteligentes 宣布开通飞往葡萄牙里斯本和法国巴黎的新直飞航班。这是GOL自2001年成立以来首次开通飞往欧洲的直飞航班。巴西的 GOL GOL Linhas Aéreas Inteligentes 是巴西一家主要的混合型低成本航空公司，成立于 2001 年。其总部位于 [...]GOL 宣布里约热内卢、里斯本和巴黎之间的直飞航班首先出现在旅行雷达 - 航空新闻上。
Michigan’s “Kids Over Clicks” bills would replace parental oversight with government rules
“儿童过度点击”一揽子计划将创建一个庞大的监管控制网络，从而降低整体用户在线体验。密歇根州的“儿童过度点击”法案将用政府规则取代家长监督，该法案首先出现在 Reason Foundation 上。
GOL Announces New Nonstop A330 Flights from Rio de Janeiro to Orlando
GOL Linhas Aéreas 推出了一条新的直达 A330 航班，连接里约热内卢的里约加利昂国际机场 (GIG) 和奥兰多国际机场 (MCO)。GOL 宣布开通从里约热内卢飞往奥兰多的新直达 A330 航班的帖子首先出现在 AviationSource News 上。
Alabama’s unrealistic pension assumptions are putting the state in debt
政策制定者需要实施持久的改革，解决该州日益严重的养老金短缺的根源。后阿拉巴马州不切实际的养老金假设正在使该州陷入债务，这一消息首先出现在 Reason Foundation 上。
California doesn’t need new age restrictions on social media
加州不应通过严厉的立法，而应授权父母使用可用的工具来保证孩子的上网安全。加州不需要社交媒体上新的年龄限制的帖子首先出现在 Reason Foundation 上。
Brazilian watchdogs hunt for evidence of illegal coordination between American Airlines and Azul
巴西当局正在揭开美国航空与 Azul Linhas Aéreas 之间不断深化的关系的面纱，以确定这两家航空公司是否绕过了强制性反垄断协议。
Brazil’s Azul sets future growth around E195-E2 type
Azul Linhas Aéreas Brasileiras（AD，圣保罗维拉科波斯）首席执行官约翰·罗杰森 (John Rodgerson) 表示，在退出第 11 章破产程序后，将优先考虑围绕 E195-E2 进行增长，作为其网络战略的一部分。罗杰森在 2026 年美洲航线上发表讲话时表示，E195-E2 是该航空公司未来机队中最重要的飞机。 《航空周刊》援引他的话说：“我认为最令我兴奋的可能是 E2。” “当你对比 E2 和 E1 的燃油消耗时......
Why restricting institutional investors won’t fix housing affordability
住房负担能力问题的主要原因是地方政府对住房供应的限制。《为什么限制机构投资者并不能解决住房负担能力》一文首先出现在 Reason Foundation 上。
Senate Bill 6129 would undermine tobacco harm reduction in Washington
参议院第 6129 号法案将有效破坏鼓励华盛顿吸烟者转向更安全的尼古丁替代品的经济激励措施。参议院第 6129 号法案将破坏华盛顿州减少烟草危害，该法案首先出现在 Reason Foundation 上。
该法案将制造一种错误的安全感和轻松感，同时给所有美国人带来真正的隐私、安全和第一修正案关注。《应用商店责任法案》牺牲隐私和言论自由，给家长一种错误的安全感的帖子首先出现在 Reason Foundation 上。
