li关键词检索结果

泰国航空工业公司、Edgewater 和艾玛迪斯签署泰国机场现代化谅解备忘录

Thai Aviation Industries, Edgewater and Amadeus sign MOU for airport modernisation across Thailand

泰国航空工业公司 (TAI)、Edgewater Solutions Limited 和艾玛迪斯签署了一份谅解备忘录 (MOU),旨在实现泰国国际机场和 [...] 的乘客旅程和日常机场运营现代化并改善其运营

卡托法律研究员:法官的命令有利于特朗普和解豁免协议

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·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点,其中部分写道:“最终,像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步,而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪,例如:那些违反规范的人因此有权

致谢

Acknowledgments

这是皮尤研究中心的皮尤-奈特倡议 (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,新闻副总监 [...

致谢

Acknowledgments

本报告是基于以下个人的意见和分析的协作成果。 Laura Silver,全球态度研究副总监Jonathan Schulman,研究助理Laura Clancy,研究分析师William Miner,研究分析师Julia Armeli,研究助理Dorene Asare-Marfo,高级小组经理Peter Bell,设计和用户体验副总监Ethan Charlip,传播助理Janakee Chavda,副数字制作人Jonathan Evans,高级[...]

致谢

Acknowledgments

本报告是基于以下个人的意见和分析的协作成果。 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% pa​​ss@1,收益主要集中在更难的问题上,并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广,包括......

一般分布属性的交互式证明

Interactive Proofs for General Distribution Properties

假设 Alice 从未知分布中收集了少量样本,并且想了解该分布。鲍勃是一位不受信任的数据分析师,他声称已经对分布进行了复杂的数据分析,并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明(使用比自己运行分析所需的资源更少的资源)?我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...

HII 扩大为美国海军生产 Romulus 无人水面舰艇

HII расширяет производство необитаемых надводных аппаратов Romulus для ВМС США

根据与路易斯安那州摩根城的 Halimar 造船厂达成的新合作协议,亨廷顿英格尔斯工业公司 (HII) 正在扩大产能,以加速罗穆卢斯无人水面车辆 (USV) 的建造。

Wingsby 案例:“使用机器视觉从矿石输送机中机器人提取异物”

Кейс компании Вингзби: «Роботизированное извлечение инородных объектов из конвейерного рудопотока с помощью машинного зрения»

在本材料中,我们讨论位于叶卡捷琳堡的 Wingsby 公司 (WINGSBEE) 的项目,该项目专门生产光学分离器。我们与其专家进行了交谈,并了解了所开发解决方案的所有细节。 Wingsby 是 AKSALIT 公司集团的一部分。该公司自 2019 年以来一直生产光学分离器,包括为采矿和其他企业制造机器人和自动化系统,以对传送带上的异物进行分类、提取和清除。

格鲁吉亚的阿纳克利亚转向国家所有权

Georgia’s Anaklia Pivots to State Ownership

摘要:7 月 6 日,格鲁吉亚经济和可持续发展部长 Mariam Kvrivishvili 宣布,格鲁吉亚黑海沿岸的阿纳克利亚深海港将按照“地主模式”由格鲁吉亚国家开发和拥有,邀请各州和国际公司租赁和装备各个码头(经济部[…]格鲁吉亚阿纳克利亚转向国家所有权的帖子首先出现在詹姆斯敦。

“州可能在 SNAP 福利危机中发挥自己的作用” – 州议会新闻

“State may be playing its own role in unfolding SNAP benefit crisis” – State House News

作者:艾莉森·库兹尼茨 (Alison Kuznitz),2026 年 7 月 14 日 州长莫拉·希利 (Maura Healey) 签署新的国家预算几天后,粮食安全倡导者已经要求提供补充资金,以支持劳动力,帮助弱势居民获得 SNAP 福利。在他们的预算中,希利和参议院都为部门的社会工作者寻求约 1.48 亿美元。“州可能在 SNAP 福利危机中发挥自己的作用”一文——州众议院新闻首先出现在马萨诸塞州预算和政策中心。

赫格斯在五角大楼接待伊拉克总理

Hegseth Hosts Iraqi Prime Minister at Pentagon

战争部长皮特·赫格塞斯 (Pete Hegseth) 在五角大楼欢迎伊拉克总理阿里·扎伊迪 (Ali al-Zaidi),两位领导人在这里会面,讨论击败 ISIS 的全球联盟、“坚定决心”行动任务的结束以及美伊关系的未来。

太平洋奥哈纳劳利马有限责任公司

Pacific Ohana Laulima, LLC

Pacific Ohana Laulima, LLC(太平洋)是一家位于关岛塔穆宁的小企业,抗议其提案被排除在……第二阶段之外

联网作战:陆军航空兵的下一个优势

Networked for the fight: Army aviation’s next advantage

[赞助] 随着操作环境变得越来越复杂,Link 16 提供即时、任务范围内的连接,以确保没有飞机单独飞行。

欧洲公司计划在 2027 年测试大气层外拦截器

European firms plan exo-atmospheric interceptor for 2027 test

Bliksem EXO 旨在通过分离和机动再入飞行器击败弹道威胁,包括俄罗斯中程 Oreshnik 导弹。

Litera “重新启动”,由一名代理统治平台

Litera ‘Relaunches’ With One Agent to Rule the Platform

法律科技传奇人物 Litera 已“重新启动”自己,以其 Lito 代理为主要焦点,提供了利用其业务的能力......

我为我的 Mac 找到了一个令人惊叹的 Apple Notes 替代品 - 而且它(大部分)是免费的

I found a stunning Apple Notes alternative for my Mac - and it's (mostly) free

我最终放弃了 Mac 上的 Notes,转而使用这个漂亮的、类似 Liquid Glass 的替代品。原因如下。