Qantas’ Airbus A350-1000ULR to complete 22 hour test flight
澳洲航空正在为其“日出计划”计划的一个重要里程碑做准备,其首架空客 A350-1000ULR 将从法国图卢兹直飞墨尔本,作为飞机投入使用前正在进行的测试的一部分。此次旅程预计将持续约 22 小时,这标志着经过特殊改装的澳洲航空空客 A350-1000ULR 首次完成 22 小时的试飞,首次出现在《旅行雷达 - 航空新闻》上。
National Aviation Day in August
8 月 19 日 - 奥维尔·赖特 (Orville Wright) 和凯瑟琳·赖特 (Katherine Wright) 的生日 国家航空日是美国庆祝航空发展的国家纪念日。该节日由富兰克林·罗斯福总统于 1939 年颁布总统公告设立。 8 月 19 日是奥维尔·赖特 (Orville Wright,1871 年) 和他的妹妹凯瑟琳·赖特 (Katherine Wright,1874 年) 的生日。这也是阅读更多有关莱特兄弟的信息来庆祝的好时机。除了威尔伯和奥维尔之外,凯瑟琳对他们的支持......
National Aviation Hall of Fame 62nd Annual Enshrinement
2026 年 9 月 24 日 – 下午 6 点 – 华盛顿特区《国歌》:航空界奥斯卡即将来临!第 62 届年度入职仪式将于 2026 年 9 月 24 日在华盛顿特区标志性的 Anthem 剧院举行。 NAHF 2026 届毕业生是一个非凡的团体,他们在航空航天工业中留下了不可磨灭的印记。他们的贡献涵盖了广泛的成就,进一步拓展了飞行和探索的前沿。加入我们,我们向这些杰出人物致敬……
Meet the Orange-Lipped 'Likweli' Monkey, a New Species That Was Discovered in the Congo Rainforest
这些生物的重量与小狗差不多,长着尖尖的黑色毛发,嘴巴周围有橙色奶油色的皮肤,屁股上有一块白色的斑块。科学家称它们可能濒临灭绝
Обзор изменений в законодательстве за июнь 2026 года
在 2026 年 6 月的变化概述中,我们将考虑以下主题: 1. 关键信息基础设施 让我们考虑一下官方发布的用于对国防工业中 CII 对象进行分类的行业详细信息。金融机构 让我们分析一下俄罗斯央行关于确保金融市场人工智能开发和应用中的信息安全的方法建议。 3.其他 让我们考虑一下正式发布的关于知识产权创造、开发和运营技术平台的联邦法律。让我们研究一下俄罗斯数字发展部关于托管行政机关和地方政府信息系统的 IT 基础设施的方法建议。让我们考虑一下用户授权和推荐技术使用领域的违规行为的新行政责任。4.俄罗斯 FSTEC 让我们看一下识别软件中的漏洞和未声明功能的方法。让我们考虑一下根据信息安全要求正
Immigration Courts: Stakeholder Perspectives on the Use of Remote Hearings
GAO 的发现司法部移民审查执行办公室 (EOIR) 亲自或使用远程技术(例如 WebEx——基于互联网的视频电话会议平台或电话)进行移民法庭诉讼。根据 EOIR 政策,移民法官可以酌情决定听证会参与者使用哪种远程媒体(如果有)。 EOIR 收集每次听证会所使用媒体的数据,该数据仅反映法官和被告的位置。根据 GAO 对这些数据的分析,在 2022 财年至 2025 财年举行的近 600 万场听证会上,约 63%(即 380 万场听证会)是现场举行的。在约 220 万场远程听证会中,大多数使用 WebEx(约 78% 或 170 万场)。在此期间,远程听证会的数量增加了近 50%,而现场听证会的
Cato Legal Fellow: Judge’s Order Guts Trump Settlement Immunity Deal
今天,美国地区法官凯瑟琳·威廉姆斯 (Kathleen Williams) 谴责了特朗普总统的和解协议,该和解协议为特朗普总统及其家人带来了豁免权,并拨款 18 亿美元作为赔偿基金。在该命令发布后,卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格发表声明:“法律禁止自我交易;威廉姆斯法官的命令解释了特朗普总统及其律师如何违反了该法律。特别是,威廉姆斯法官发现,18亿美元的特朗普和解协议是‘恶意且出于不正当目的’进行的,因此违反了律师行为的核心要求。正如命令所说,‘这是试图利用法院应为一项协议提供一定的合法性,以赋予与总统有联系的个人和实体豁免权,并从美国纳税人中拨出数十亿美元
Resuming ICE Traffic Stops Will Put Agents and the Public at Risk, Cato Expert Says
在缅因州和得克萨斯州发生两起 ICE 枪击驾驶者死亡事件后,ICE 短暂暂停了大部分车辆停靠点以重新培训其特工,随后特朗普总统下令该机构恢复停靠。我想分享卡托研究所 (Cato Institute) 的戴维·比尔 (David Bier) 的新评论,他认为永久结束拦截将更好地保护 ICE 人员、他们的目标和公众,同时又不影响执法。比尔指出,白宫边境沙皇汤姆·霍曼承认,特工可以在目标进入车辆之前或等到他们到达目的地之前逮捕他们。他认为,ICE 日益投机取巧的逮捕方式造成了危险和混乱的遭遇,却没有提供有意义的执法利益。正如比尔所写,“ICE 一直在危害其官员和其他人,却没有任何执法利益。结束车辆拦
Cato Expert: Meta’s AI Image Tool Pullback Shows the Market — Not Government — Should Police AI
最近,Meta 推出并迅速下架了一款 AI 图像生成器,该生成器使用 Instagram 上的公开个人资料生成图像。在 Meta 做出这一逆转之后,卡托研究所的言论自由和技术研究员 David Inserra 发表了一份声明:“Meta 最近推出了一款名为 Muse Image 的人工智能工具,但很快就撤下了该工具,原因是该工具允许用户修改任何公共 Instagram 帐户中的图像。虽然用户可以选择退出,但许多用户认为他们没有同意使用他们的图像,如果他们的图像被其他人使用,他们不会收到通知,这让他们感到沮丧,并担心他们的图像被滥用以造成不安全。” “需要明确的是,用户可以决定他们希望使用哪些平
House Reconciliation Plan Would Add More Than $100 Billion to Deficits, Cato Budget Expert Says
众议院预算委员会今天发布了 2027 财年预算决议,为第三项预算协调法案铺平了道路,该法案将通过授权增加国防和农业补贴支出,在不抵消支出削减的情况下产生超过 1000 亿美元的赤字。以下是卡托研究所预算和权利政策主任罗米娜·博恰 (Romina Boccia) 的一份声明:“国会正在浪费另一个机会,利用和解来完成它应该做的事情:通过减少联邦支出中的浪费、欺诈和滥用来减少赤字。立法者们没有通过改革臃肿的福利和医疗保健计划来让生活变得更加负担得起,而是利用这一强大的预算工具为农场游说团体提供另一轮特殊利益赠品并扩大国防机构,这一切都在和解应该是为了恢复财政纪律,而不是寻找新的方式来花借来的钱。”今
Cato’s Greenberg Rebuts Case for Supreme Court Packing
最近,安迪·克雷格 (Andy Craig) 在《非民粹主义者》(The Unpopulist) 上发表了一篇题为“为阻止美国威权主义漂移而不幸需要通过法庭挤塞”的文章,并附有一篇社论,开头写道:“绝望的时代需要绝望的措施。”卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点,其中部分写道:“最终,像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步,而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪,例如:那些违反规范的人因此有权
Highly engaged Americans know more about politics
高度参与公共生活的人比那些不太参与公共生活的人更有可能正确回答一些有关政治的事实问题。
本报告是基于以下个人的意见和分析的协作成果。 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,高级[...]
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式,这是一种广泛使用的方法,为法学硕士配备工具使用功能。然而,LLM 错误地调用函数可能会产生严重影响,特别是当其影响不可逆转时,例如转账或删除数据。因此,在执行函数调用之前,考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化(UQ)方法可用于量化……
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明(dsIPP):生成速度超快的证明,可用于证明有关巨大输入的近似断言。证明生成速度超快,因为它只需要读取输入的一小部分(亚线性)。证明的近似验证甚至更快(读取输入的更小部分)。与属性测试文献类似,近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入,但没有证明者可以欺骗验证者......
Personalizing Incremental Video Search with Hybrid Text and ID Embeddings
增量视频搜索需要在每次击键后进行高质量排名,而意图通常不明确(例如,1-3 个字符前缀)。我们提出了一个 Apple TV 搜索的个性化系统,该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间:(i) 基于文本的多语言编码器 (TextEmb),通过对比学习对共同参与三元组进行微调;(ii) 基于 ID 的协作嵌入模型 (IdEmb),根据交互衍生的积极因素进行训练。在服务时,我们从…构建用户表示