DataRobot OpenCode: your coding agent, your model choice
DataRobot OpenCode：您的编码代理，您的模型选择 市场上有 70 多种编码代理：Claude Code、Codex、Cursor、Copilot、Devin，以及每周都会出现在工程师新闻源中的一长串较小的参与者。有人运行了基准测试，发布了排行榜，到了本周末，一半的组织想要......帖子 DataRobot OpenCode：您的编码代理，您的模型选择首先出现在 DataRobot 上。
AI Benefits, Cooley’s Meatballs, Opus 2 +
我们以一项调查开始本周的总结：“律师事务所人工智能的使用是否为客户节省了成本？”这里有一个链接可以分享......
Strait of Hormuz Transits Drop as US, Iran Escalate Attacks Across Gulf
航运数据显示，周四只有三艘商品船穿越霍尔木兹海峡，这是自 5 月份以来每日过境次数最少的一次，在伊朗最近袭击船只以及美国恢复封锁后，大多数船只停止或掉头......
Starts With A Bang podcast #131 — The baryon life cycle
宇宙中原子的历史就是我们自己的历史：没有它们，就不会有我们。那么我们如何拼凑他们的宇宙故事......继续阅读《从一声巨响开始！》 »
The Report Oil Companies Are Worried About
John Timmer，Ars Technica 气候变化主要是由我们排放到大气中的温室气体驱动的，这些气体捕获了更多的太阳能。这增加了能量......
Why Are So Many Astronomers Obsessed With Venus?
Ananya Palivela，Aeon 这颗以爱女神命名的行星曾经让科学界屈服，这一事实有些滑稽。在凌日期间，金星......
First Atmosphere Detected on Habitable-Zone Rocky World
哈佛大学 在寻找其他行星上生命的过程中，天文学家首次发现了围绕类地岩石的大气层，这是一个重要的里程碑......
Researchers Report Signs of AI Consciousness. I Have Doubts
Anil Seth，守护者 几个世纪以来，人类一直对按照自己的形象创造人造生物的前景着迷。开发合成思维和人造身体，但不......
Seabed mining requires timely governance | Science
家庭科学卷。 393第6808期海底采矿需要及时治理返回卷。 393，第 6808 期 完全访问有关海底采矿的信件分享需要及时治理Carsten Rühlemann 作者信息与隶属关系科学 2026 年 7 月 16 日第 393 卷，第 6808 页。 247DOI: 10.1126/science.aei7769 上一篇文章亚马逊大豆禁令的兴衰上一篇下一篇文章阿谀奉承的 AINe 的社会校准......
A transcriptional biosensor reveals mechanisms of α-ketoglutarate signaling to chromatin | Science
代谢物 α-酮戊二酸 (αKG) 是染色质去甲基化所必需的，但控制细胞核中 αKG 丰度的机制尚不清楚。我们设计了一种生物传感器，使用 αKG 响应监测人体细胞中的代谢物库......
Airborne 07.17.26: Hummel Multi-Cruiser, Van's Plans 4 OSH26, B737 MAX Record
另外：Swift Fuels 扩展、CJ3 Gen2/King Air 360 首次亮相、eVTOL“里程碑”、MOSAIC Visionaries、LIVE Morning Brief 时不时地，运动航空场景中会出现一些真正独特的东西……但是是一架价格实惠的全金属 ULTRALIGHT 多引擎飞机吗？是的......胡梅尔飞机公司几天前宣布了多巡洋舰的首次飞行......并且在这只鸟完全公开之前，它进行了严格保守的飞行测试计划。 Multi-Cruiser 的构造可符合第 103 部分的要求。 Vans 的飞机为飞行员提供了“找到我们、听到我们并带着值得谈论的东西离开”所需的信息。在AirV
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）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
