Recognizing Failure, Some Liberals Are Reshaping Their Climate Messaging
几十年来，左派一直受制于气候变化教条。因此，他们还不准备完全放弃。但他们正试图围绕一个老问题打造一个新的信息——“负担能力”。显然，你不能教一只老狗新技巧，但你可以简化它已经知道的技巧。选民会认为罗孚更聪明——还是仍然尽职尽责地服从？
7,000 GPUs Simulate Quantum Microchip in Unprecedented Detail
使用 Perlmutter 超级计算机，研究人员实现了创纪录规模的量子微芯片模拟，以完善和验证下一代量子硬件设计。来自劳伦斯伯克利国家实验室（伯克利实验室）和加州大学伯克利分校的研究人员完成了有史以来对量子微芯片进行的最详细的模拟之一。该项目标志着一个重要的进步 [...]
How Can Infinity Come in Many Sizes?
Mark Belan 和 Jordana Cepelewicz，Quanta Infinity 招致抵制。亚里士多德完全否认无限的存在。对他来说，无限只是一个永远不可能的极限……
How a Body is Stabilized for Cryopreservation Immediately After Death
冷冻保存是一种尖端科学过程，旨在在合法死亡后立即将人体保存在超低温下。第一步也是最关键的一步是快速身体稳定，这可以防止细胞衰退并保护大脑结构。医疗团队在几分钟内开始紧急冷冻程序，使用机械心肺复苏和氧合支持恢复血液循环和氧气。用冰浴冷却身体，以减缓新陈代谢并减少缺血性损伤。然后用冷冻保护剂代替血液，以防止深度冷冻过程中形成冰晶。这种死后立即稳定对于长期冷冻保存和未来潜在的复活技术至关重要。医学实验室的低温保存程序展示了身体稳定性、人体冷冻设备和受控冷却系统。如何在合法死亡后立即稳定尸体以进行冷冻保存冷冻保存——在人死后将其冷冻，希望未来的医学可以使他们恢复健康——是听起来像科幻小说的想法之一。然
US’s Spirit Airlines reaches restructuring agreement
Spirit Airlines（NK，劳德代尔堡国际机场）的母公司 Spirit Aviation Holdings 在一份声明中宣布，该公司已与现有持有债务人贷款人和有担保票据持有人就重组支持协议的关键条款达成原则协议。这为该航空公司在 2026 年“春末或夏初”退出第 11 章重组铺平了道路。该协议将为 Spirit 提供完成重组所需的财务支持，并......
Qatar Airways to cut capacity during Doha work in 2Q26
卡塔尔航空（QR，多哈哈马德国际机场）已确认，由于多哈哈马德国际机场计划进行跑道维护，全球网络将暂时减少。该航空公司告诉航空新闻网站 Simple Flying：“作为我们定期网络规划流程的一部分，选定的服务调整已与我们多哈枢纽的跑道维护计划保持一致。这些重要的升级是长期基础设施计划的一部分，计划于 2026 年 6 月上旬完成。”
Transport Canada certifies four Gulfstream jets after political dispute with US
加拿大交通部现已为湾流的 G500、G600、G700 和 G800 颁发型号证书验证，完成整个组的认证……在 AeroTime 上首次出现与美国的政治争端后，加拿大交通部对四架湾流喷气式飞机进行了认证。
Uzbekistan and Serbia move to secure flights
乌兹别克斯坦和塞尔维亚就改善经济合作（包括开通航班）进行了讨论。乌兹别克斯坦官员上周与塞尔维亚航空公司首席执行官吉里·马雷克、塞尔维亚财政部长西尼萨·马里以及塞尔维亚建设、运输和基础设施部长亚历山大·索夫罗尼耶西奇举行了会谈。随后上周五在塔什干举行了塞尔维亚-乌兹别克斯坦商业论坛，这是今年以来两国之间的第三次高层经济讨论。乌兹别克斯坦副总理率领一个大型商业代表团预计很快将访问塞尔维亚。塞尔维亚航空公司最近表示，中亚的航空公司有兴趣开通飞往贝尔格莱德的航班。 “现在你可以看到中亚的航空公司开始以不同的方式看待贝尔格莱德并认识到其潜力。对我们来说，该地区任何想要飞往贝尔格莱德的航空公司都将得到我们
4 Reasons You Might Not Use Full Flaps On Landing
部分襟翼着陆在通用航空中并不常见，但以下是您可能决定不使用完整襟翼设置的一些原因。
Air New Zealand Charts Course Toward Electric Flight in Just 3 Years
新西兰航空 (NZ) 已完成 Beta Technologies Alia CX300 电动飞机的试飞，以评估零排放航空的未来。新西兰航空在短短 3 年内实现电动飞行的图表课程首先出现在 Aviation A2Z 上。
Everdrone launches next-generation medical drone for emergency medical transport
瑞典公司 Everdrone 正在推出一款新型医疗运输无人机 E3。该无人机完全由 Everdrone 开发，具有更强的承载多种类型医疗设备的能力。...Everdrone 推出用于紧急医疗运输的下一代医疗无人机后，首先出现在 AeroMorning 上。
IT 公司 UCSB 在乌拉尔地区最大的室内体育设施 UMMC Arena 部署了基于 R-PLATFORMA 集成平台的综合安全系统。 R-PLATFORMA 是俄罗斯 RUBEZH 公司的专有产品。该系统实时分析来自安全和火灾警报、访问控制系统、警报系统和疏散管理的数据。 UCSB 公司在低电流和工程系统领域实施复杂的项目，在 UMMC-Arena 完成了在 RUBEZH 设备上安装和实施集成物理安全系统的完整工作周期，包括 APS、SOUE、KSB、ACS 和 SOTS。该集成平台充当从设施安全系统收集信息的单点，并立即响应紧急情况，这对于观众的保护和舒适至关重要。此外，该解决方案还允许
Columbus Statue Debate: Keep History in Private Hands
最近的报道表明，唐纳德·特朗普总统计划在白宫南侧建造克里斯托弗·哥伦布雕像。在这篇报道之后，卡托研究所研究副总裁杰夫·米龙发表了以下声明：“特朗普总统决定在白宫竖立克里斯托弗·哥伦布雕像，这说明了为什么政府根本不应该参与雕像业务。这一行动并没有解决市场失灵问题，同时利用纳税人的资金对有争议的历史人物表明立场。哥伦布雕像将不可避免地引起争议和两极分化，正如我们在全国范围内的类似纪念碑所看到的那样。而不是让联邦政府决定如何参与雕像业务。”哥伦布在我们国家的历史中被铭记——无论是作为探险家英雄还是殖民建筑师——它应该留在私人手中。博物馆、纪录片制作人、历史学家、教育机构和文化组织更适合展示哥伦布的完
Cato Legal Expert: Trump ICE Crackdown Violates 10th Amendment
最近，联邦地区法官凯瑟琳·梅南德斯 (Katherine Menendez) 做出裁决，驳回一项初步禁令动议，阻止向明尼阿波利斯部署数千名 ICE 和其他联邦特工。该诉讼由明尼苏达州、明尼阿波利斯市和圣保罗市提起，认为唐纳德·特朗普总统在明尼苏达州的 ICE 镇压行为违反了第十修正案。卡托研究所宪法研究主席 B. 肯尼思·西蒙 (B. Kenneth Simon) 主席伊利亚·索明 (Ilya Somin) 在一篇新专栏文章中指出，特朗普总统的强制行为明显违反了第十修正案：“对州和地方政府人员的控制是第十修正案保留给各州的权力之一，也是州自治和主权的核心要素。如果联邦政府能够强迫各州放弃这种控
Federal Power Grab Threatens Election Integrity
众议院本周投票批准了《SAVE 法案》，该法案通过将选举权集中在华盛顿，彻底颠覆了宪法的精心设计。卡托学者沃尔特·奥尔森（Walter Olson）警告称，该法案赋予总统危险的新权力，可以惩罚地方官员，并强制实施仓促的公民身份文件证明（DPOC）要求，这些要求超出了几乎所有州自愿选择的要求。即使没有不合格的人实际登记或投票，地方行政人员也可能因行政错误而面临监禁。真正的威胁不是广泛的非公民投票；而是。证据根本不支持这些警报。联邦政府的越权行为给合格选民带来了负担，并剥夺了各州对选举的宪法权力。解决方案是什么？让各州尝试选举改革并了解什么是真正有效的。 SAVE 法案应该回到绘图板上或完全放弃。
Cato Expert Warns Against Trump’s Desire to Nationalize Elections
在最近接受前联邦调查局副局长丹·邦吉诺 (Dan Bongino) 采访时，唐纳德·特朗普总统表示，“共和党人应该说，‘我们想要接管。’我们应该接管投票权，至少在许多地方——15个地方进行投票。共和党人应该将投票国有化。”在这一声明之后，卡托研究所高级研究员沃尔特·奥尔森发表了以下声明：“即使来自普通政治家，这种联邦接管也将是一个糟糕的主意。宪法将联邦选举的管理权委托给各州和地方，但须遵守国会通过规范选举方式的法律。国会正确地尊重了各州和地方的主导作用，并且应该继续这样做。“如果这些法律不能在全国范围内定期适用，我们也将面临一个巨大的危险信号。州，但挑选出一些州来覆盖联邦控制。美国最高法院在
Mapping the Design Space of User Experience for Computer Use Agents
基于大型语言模型 (LLM) 的计算机使用代理通过与可用的 UI 元素交互来执行用户命令，但对于用户希望如何与这些代理交互或哪些设计因素对其用户体验 (UX) 至关重要，人们知之甚少。我们进行了一项两阶段的研究来绘制计算机使用代理的用户体验设计空间。在第一阶段，我们审查了现有系统，以制定用户体验考虑因素的分类法，然后通过采访八位用户体验和人工智能从业者来完善它。由此产生的分类法包括用户提示、可解释性、用户控制和用户……等类别。
A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
使用经过训练来完成真实程序的小型模型可以进行哪些研究？通常，研究人员通过大型语言模型（LLM）研究程序合成，这会带来一些问题，例如了解分布内或分布外的内容、了解微调效果、理解标记化的效果以及对进行实验的计算和存储提出更高的要求。我们提出了一个名为 Cadmus 的系统，其中包括一个整数虚拟机 (VM)、一个由不同任务的真实程序组成的数据集，以及一个经过 200 美元以下计算训练的自回归变压器模型……
