Airborne 12.20.24: SmartSky v Gogo, FAA Med Policy, Dynon Training
另外：M700 UK Cert、Symphony Engine $$$、SkyCourier CA TC、空间许可证申请 SmartSky Networks 已在美国地方法院对 Gogo Inc. 和 Gogo Business Aviation, LLC 提起反垄断诉讼，指控 Gogo 在商务航空空对地 (ATG) 宽带机上连接市场从事垄断行为。 14 个航空协会和工会已致信联邦空中外科医生 Susan A. Northrup 医学博士、公共卫生硕士，要求暂缓实施并考虑撤回 FAA 最近宣布的影响医疗证明申请处理的政策变化。 这项重大改变将于 2025 年 1 月 1 日生效，即对于需要更多
Airborne 12.20.24: SmartSky v Gogo, FAA Med Policy, Dynon Training
此外：M700 UK Cert、Symphony Engine $$$、SkyCourier CA TC、太空许可申请 SmartSky Networks 已在美国地方法院对 Gogo Inc. 和 Gogo Business Aviation, LLC 提起反垄断诉讼，指控 Gogo 在商务航空的空对地 (ATG) 宽带机上连接市场中从事垄断行为。十四个航空协会和工会已致函联邦空中外科医生 Susan A. Northrup, MD, MPH，要求暂停实施并考虑撤回 FAA 最近宣布的一项影响医疗证书申请处理的政策变更。 2025 年 1 月 1 日生效的重大政策修改是，对于需要更多信息的医
10 New Ideas To Make America's Economy Great Again In 2025
10 个新想法让美国经济在 2025 年再次伟大作者：Stephen Moore，来自 PJMedia.com，以下是我对即将上任的特朗普政府的愿望清单，希望它能让美国在 2025 年再次健康、繁荣和伟大。1. 削减扼杀就业的法规监管国家对美国经济征收了 2 万亿美元的税。我们都希望工人安全、环境清洁和消费者保护，但在很多情况下，法规的成本远远超过社会效益。当选总统唐纳德·特朗普承诺每出台一条新规则，就削减 10 条规则。总统先生，行动吧。2. 永久实施特朗普减税政策正如肯尼迪、罗纳德·里根等人在历史上所证明的那样，较低的税率会带来更多的增长、更多的投资和更多的就业机会。特朗普减税意味着，一个
Nothing Can Stop the F-35 Stealth Fighter
要点：F-35 经过验证的能力，正如最近以色列对伊朗防空系统的袭击所证明的那样，巩固了其作为关键威慑力量的作用。 -凭借其先进的隐形和技术优势，F-35 补充了美国决心的传统信号，例如航空母舰。 -F-35 的地面部署为决策者提供了应对先进威胁的替代策略 […] 文章《没有什么可以阻止 F-35 隐形战斗机》首次出现在 19FortyFive 上。
How Cancer Cells Outsmart Chemo: Scientists Expose New Evasion Tactics
一项研究揭示了癌细胞如何适应低葡萄糖环境，通过保存尿苷核苷酸和避免细胞凋亡来抵抗化疗。一项新研究揭示了肿瘤用来逃避旨在饿死和摧毁它们的药物的两种策略，正如对癌细胞进行的实验室实验所证明的那样。虽然化疗可以成功治疗癌症并延长患者的生命，但它们 [...]
Math and Physics Can't Prove All Truths
物理学家描述了一个需要用无法计算的数字才能完全理解的系统，这是数学中无法证明的难题的另一个例子
报道要点提高标准：乔·拜登总统要求科技公司“提高网络安全标准”。因此，微软向政府提供免费升级，并派顾问安装升级。竞争优势：该计划虽然帮助政府加强了网络安全，但也帮助微软加强了对联邦业务的控制，并排挤了竞争对手。不劳而获：法律和合同专家表示，这些交易根本不应该达成，因为它们回避甚至可能违反了联邦采购和反垄断法。这些要点由撰写本文的记者和编辑撰写。 2021 年夏天，乔·拜登总统将美国最大的几家科技公司的首席执行官召集到白宫。一系列与俄罗斯、中国和伊朗有关的网络攻击让政府感到震惊，政府已要求微软、亚马逊、苹果、谷歌等公司的负责人做出具体承诺，帮助美国加强防御。“我相信，你们有权力、有能力和责任提高
3 Data-Proven Ways Companies Can Increase AI Adoption and Boost Productivity
随着越来越多的公司探索 AI 如何提高生产力，一个关键方面经常被忽视：员工在日常工作中如何实际采用和使用这些工具。问题不在于 AI 是否可以提高生产力，而在于公司如何在 AI 参与的每个阶段有效地支持员工，以最大化投资回报率。作为 Prodoscore 的首席执行官，[…]Thesys 文章 3 种经过数据证明的公司可以增加 AI 采用率并提高生产力的方法，最早出现在 Unite.AI 上。
昆虫和蜘蛛是水生和陆地生态系统食物网中的重要元素。随着生物多样性的下降，鸟类、鱼类、爬行动物、两栖动物和小型哺乳动物的食物供应不仅变得越来越稀缺，而且重要的脂肪酸也越来越少，正如由 Eawag 和 WSL 的科学家领导的国际研究小组最近所证明的那样。
就业替代大冲击：130 万美国本土工人失业，被 63.5 万移民取代 今年年初，也就是在我们首次指出美国劳动力市场最大的未公开故事是外国出生工人对本土工人的“大替代”（我们后来了解到其中大多数是非法移民）的几个月后，我们问，考虑到“自 2019 年 10 月以来，美国本土工人失去了 140 万个工作岗位，而同期外国出生工人则增加了 300 万个工作岗位”，为什么美国工人的持续替代（因为事实就是如此）“不是目前最大的政治话题”？自 2019 年 10 月以来，美国本土工人失去了 140 万个工作岗位，而同期外国出生工人则增加了 300 万个工作岗位。 pic.twitter.com/Z5HVWm
Airborne 08.28.24: XB-1 Flies Again!, Pilot Convicted For APP Lies, Crowdstrike
另外：99s 获得巨额捐款、下一次星际飞船发射、购买 A29 Tucano、皮拉图斯扩大繁荣 超音速公司宣布其 XB-1 演示飞机在加利福尼亚州莫哈韦的莫哈韦航空航天港成功进行了第二次飞行。XB-1 继续通过其飞行测试计划取得进展，并为该公司超音速客机 Overture 的开发奠定了基础。起落架首次成功地完成了收起和伸展循环——以及其他任务。 小心你告诉联邦航空管理局的话……即使是在你的医疗申请上…… 联邦陪审团判处 36 岁的德克萨斯州达拉斯人 Olukayode Aduragbenro Ojo 两项向联邦航空管理局做出虚假陈述以获得驾驶商用客机所需的医疗证明的罪名成立。 在 7 月下旬发生
Stocks, Bonds, & Bullion Soar Amid Political Panic & Macro Meltdown On Holiday-Shortened Day
股票、债券和黄金在因假期缩短的交易日中在政治恐慌和宏观经济崩溃中飙升好吧，那真是糟糕的一天……在因假期缩短（流动性极低）的交易日（FOMC 会议纪要将在收盘后一小时公布），政治混乱，宏观经济令人沮丧。所以，买买买！！！债券、股票和黄金全都因“硬”和“软”数据的暴跌而上涨（挑战者-格雷裁员人数飙升、ADP 就业人数未达预期、持续申请失业救济人数激增、工厂订单暴跌、ISM 服务业下滑）……来源：彭博社……导致美国整体宏观意外指数跌至 2015 年 12 月以来的最低水平……来源：彭博社……并引发 STIR 的恐慌性购买，导致降息预期（鸽派）飙升……来源：彭博社这有助于提振股市（纳斯达克和标准普尔表
OPINION: Most preschool curricula under-deliver, but it doesn’t have to be that way
全国各州和各地区早就应该发起一项运动来更新 K-3 阅读和数学课程，以确保它们遵循经过研究证明的做法。然而，这项运动有一个很大的盲点：学前教育。现在，美国近一半的四岁儿童在公立幼儿园开始接受正规教育，[…] 文章《观点：大多数学前教育课程未能达到预期，但情况不必如此》首次出现在《Hechinger 报告》上。
Reinventing movies: Climate change and the power of culture
重塑电影：气候变化和文化的力量 2024 年 7 月 8 日 — 下午 5:00 至晚上 8:00 匿名（未经验证）2024 年 6 月 12 日 查塔姆研究所 电影和电视如何重塑气候对话？电视和电影在全球具有巨大影响力。他们创造的故事既有可能改变公众的看法，也有可能加速政策响应，正如英国独立电视台的《贝茨先生与邮局》在英国造成的巨大影响所证明的那样。在可持续发展加速器“重塑”系列的最新一期中，小组成员讨论了电影和电视如何有可能重塑世界各地的气候对话，利用创造力的力量开启更美好的未来。讨论借鉴了已经引领潮流的电影，例如 Netflix 的《Don’t Look Up》和今年早些时候上映的广受好
Asymmetric Certified Robustness via Feature-Convex Neural Networks
通过特征凸神经网络实现非对称认证稳健性 TLDR：我们提出了非对称认证稳健性问题，它只需要对一个类进行认证稳健性，并反映了现实世界的对抗场景。这种集中设置使我们能够引入特征凸分类器，该分类器可在毫秒级产生闭式和确定性的认证半径。图 1. 特征凸分类器及其对敏感类输入的认证的说明。该架构由 Lipschitz 连续特征图 $\varphi$ 和学习到的凸函数 $g$ 组成。由于 $g$ 是凸的，因此它在 $\varphi(x)$ 处的切平面全局欠近似，从而在特征空间中产生认证范数球。然后，$\varphi$ 的 Lipschitz 性会在原始输入空间中产生适当缩放的证书。尽管深度学习分类器被广泛
SIEVE: Securing Information for Encrypted Verification and Evaluation
项目负责人：Joshua Baron 博士 赞助组织：DARPA网站：https://www.darpa.mil/program/securing-information-for-encrypted-verification-and-evaluation 项目概要：SIEVE 致力于推进零知识 (ZK) 证明的最新技术，以便验证与国防部相关的能力
Discovering novel algorithms with AlphaTensor
在我们的论文中，今天在自然界发表，我们介绍了Alphatensor，这是第一个人工智能（AI）系统，用于发现用于基本任务（例如矩阵乘法）的新颖，有效且可证明的正确算法。这阐明了一个50年历史的数学开放式问题，即找到最快的方法来繁殖两个矩阵。本文是DeepMind的使命，旨在推进科学并使用AI解锁最根本的问题。我们的系统Alphatensor建立在Alphazero的基础上，Alphazero是一位在棋盘游戏中显示超人性能的经纪人，例如国际象棋，GO和Shogi，这项工作显示了Alphazero从玩游戏到第一次解决未解决的数学问题的旅程。
Discovering novel algorithms with AlphaTensor
在我们的论文中，今天在自然界发表，我们介绍了Alphatensor，这是第一个人工智能（AI）系统，用于发现用于基本任务（例如矩阵乘法）的新颖，有效且可证明的正确算法。这阐明了一个50年历史的数学开放式问题，即找到最快的方法来繁殖两个矩阵。本文是DeepMind的使命，旨在推进科学并使用AI解锁最根本的问题。我们的系统Alphatensor建立在Alphazero的基础上，Alphazero是一位在棋盘游戏中显示超人性能的经纪人，例如国际象棋，GO和Shogi，这项工作显示了Alphazero从玩游戏到第一次解决未解决的数学问题的旅程。
