Travel between Ireland and Great Britain needs passport, says Aer Lingus
爱尔兰航空宣布，只有持有有效护照的乘客才允许搭乘爱尔兰和英国之间的航班。该规定将于 2026 年 2 月 25 日生效。 爱尔兰和英国之间的旅行规则 自 1923 年起，英国、爱尔兰、马恩岛和[…]爱尔兰和英国之间的旅行需要护照，爱尔兰航空首先出现在旅行雷达 - 航空新闻上。
Skyscanner Search Now Includes Trains
Skyscanner 于 2 月 23 日星期一宣布，其搜索功能将开始结合航班和火车结果，让旅行者通过一次搜索即可比较两种旅行选择。搜索会显示什么？目前，列车结果仅适用于来自英国、西班牙、意大利、德国和韩国的部分跨境和国内线路。 […]Skyscanner 搜索现在包括火车的帖子首先出现在旅行雷达 - 航空新闻上。
The Ultimate Guide to PPL in Australia
如果您正在澳大利亚寻找人才，您可能梦想着驾驶自己的飞机、探索支线机场，甚至花时间从事商业航空职业。私人飞行员执照（PPL）是世界上最受认可和最受尊敬的航空资格之一，在澳大利亚，它受到严格的民航监管[…]澳大利亚 PPL 终极指南一文首先出现在墨尔本学习飞行上。
Ultimate Guide to Learn to Fly in Australia
学习飞行 目录 简介 每年都有许多澳大利亚人搜索“学习飞行”，因为航空业提供自由、挑战和真正的职业机会。无论您是想休闲飞行还是追求专业航空事业，在澳大利亚学习飞行都是结构化的、受监管的，并且在正确的指导下是可以实现的。根据我与[…]一起工作的经验，《澳大利亚学习飞行终极指南》一文首先出现在墨尔本学习飞行上。
Universitas Pertahanan RI (UNHAN RI) and Thales Partner to Train Indonesia’s Future Cyber 24
泰雷兹将为 UNHAN RI 学生部署独家网络安全培训计划，以加强他们的网络防御技能。该计划将重点关注网络威胁情报、检测等主题……Universitas Pertahanan RI (UNHAN RI) 和泰雷兹合作培训印度尼西亚未来网络 24 的帖子首先出现在 AeroMorning 上。
Can smaller economies really create a new world trade order? Yes, they can.
加拿大总理马克·卡尼 (Mark Carney) 在达沃斯世界经济论坛年会上明确表达了一个愿景，呼吁中等规模经济体采取行动，明确拒绝受制于大国的指令：“像加拿大这样的中等强国并非无能为力。他们有能力建立一个包含我们价值观的新秩序……”有什么证据表明卡尼是正确的？卡尼激动人心的言论指出了一个事实，即各国拥有代理权。所有国家，就其贸易范围而言，都与塑造国际秩序有利害关系。这是可以理解的……
Cato Legal Experts: Fourth Circuit Ruling Enables Perpetual Confinement Without Trial
2015 年，杜安·贝里 (Duane Berry) 被指控犯有一项传达虚假信息的联邦罪名。经过四年的监禁和多次能力评估后，法官发现他没有能力接受审判并驳回了指控。然而，政府并没有将贝里释放，而是非法拘留了十年，第四巡回法庭小组维持了这一决定，对审前能力恢复法规的解释如此广泛，以至于现在允许永久监禁。根据第四巡回法院的裁决，贝里向最高法院请求复审他的案件。卡托研究所的学者以及正当程序研究所最近提交了一份支持他的请愿书的非当事人意见陈述。卡托研究所法律学者马修·卡夫顿和迈克·福克斯在一篇新博客文章中详细阐述了他们的论点，部分写道：“虽然国会可以将行为定为刑事犯罪并惩罚罪犯，但联邦政府不能对不再合
Columbus Statue Debate: Keep History in Private Hands
最近的报道表明，唐纳德·特朗普总统计划在白宫南侧建造克里斯托弗·哥伦布雕像。在这篇报道之后，卡托研究所研究副总裁杰夫·米龙发表了以下声明：“特朗普总统决定在白宫竖立克里斯托弗·哥伦布雕像，这说明了为什么政府根本不应该参与雕像业务。这一行动并没有解决市场失灵问题，同时利用纳税人的资金对有争议的历史人物表明立场。哥伦布雕像将不可避免地引起争议和两极分化，正如我们在全国范围内的类似纪念碑所看到的那样。而不是让联邦政府决定如何参与雕像业务。”哥伦布在我们国家的历史中被铭记——无论是作为探险家英雄还是殖民建筑师——它应该留在私人手中。博物馆、纪录片制作人、历史学家、教育机构和文化组织更适合展示哥伦布的完
Federal Power Grab Threatens Election Integrity
众议院本周投票批准了《SAVE 法案》，该法案通过将选举权集中在华盛顿，彻底颠覆了宪法的精心设计。卡托学者沃尔特·奥尔森（Walter Olson）警告称，该法案赋予总统危险的新权力，可以惩罚地方官员，并强制实施仓促的公民身份文件证明（DPOC）要求，这些要求超出了几乎所有州自愿选择的要求。即使没有不合格的人实际登记或投票，地方行政人员也可能因行政错误而面临监禁。真正的威胁不是广泛的非公民投票；而是。证据根本不支持这些警报。联邦政府的越权行为给合格选民带来了负担，并剥夺了各州对选举的宪法权力。解决方案是什么？让各州尝试选举改革并了解什么是真正有效的。 SAVE 法案应该回到绘图板上或完全放弃。
Cato Expert Available: Why Texas’s New Education Choice Program Matters
今天，德克萨斯州新的教育自由账户开放申请，该计划将使家庭能够选择适合其家庭需求的学校教育类型。卡托研究所学者 Colleen Hroncich 的一篇新博客文章详细介绍了为什么教育选择计划如此重要：导致，现在是德克萨斯州家庭获得父母对教育选择的机会的时候了。虽然许多孩子在指定学校表现良好，但没有哪一所学校能够满足居住在其附近的每个孩子的需求。有些孩子需要更多个性化的关注或更灵活的环境，有些家庭想要宗教教育或一所与家人更协调的学校，有些孩子受到欺凌，需要一个更安全的地方。 TEFA 等教育选择计划可帮助家庭承担其他选择。要与 Colleen 讨论教育自由和德克萨斯州教育自由账户，请联系 pr@
New Research: Immigrants Created $14.5T Fiscal Savings
卡托学者戴维·比尔（David Bier）发布的新研究显示，从 1994 年到 2023 年，移民为美国政府预算节省了 14.5 万亿美元的财政开支。这份白皮书利用 30 年的综合数据更新了美国国家科学院的模型，发现移民每年缴纳的税款高于他们获得的福利。如果没有移民，美国公共债务将达到 GDP 的 205%，几乎是目前水平的两倍，一些分析师认为这一阈值将引发经济灾难。主要调查结果包括： 即使是低技能移民，整体上的财政状况也是积极的。非公民（包括非法入境者）贡献了 6.3 万亿美元的储蓄。在这三年里，移民将美国的赤字削减了大约三分之一。如果您想与比尔交谈，请联系麦迪逊：mmiller@cato.
Cato’s McCluskey: Community College Fraud Highlights Need to End Federal Student Aid
最近的报告揭露了全国各地社区大学招生中的大规模欺诈计划，导致数亿纳税人的钱被盗。卡托教育自由中心主任尼尔·麦克洛斯基 (Neal McCluskey) 在一篇新博客文章中详细介绍了为什么这只是终止联邦学生贷款的另一个原因，其中部分写道：“当然，高等教育中联邦第三方资助最痛苦的影响是价格。联邦援助使大学能够提高价格并带来更多资金，而且它常常激励学生要求与教育无关的更昂贵的选择。哦，资助越来越多的学位人为地抬高了对高等教育的需求。”基本上，联邦学生援助助长了学费膨胀、证书膨胀和欺诈行为，这也是违宪的……是时候结束它了。”，要与麦克拉斯基进一步讨论学生贷款欺诈问题，请联系克里斯托弗·塔瓦迪安(Chr
皮尤研究中心的这项研究根据七个宗教类别的分布计算了国家、地区和世界地区的宗教多样性指数 (RDI) 分数：基督徒、穆斯林、印度教徒、佛教徒、犹太人、所有其他宗教的信徒（总括类别）和无宗教信仰的人。对宗教人口规模的基本估计之前是[…]后方法论首先出现在皮尤研究中心。
本报告由皮尤研究中心制作，作为皮尤-坦普尔顿全球宗教未来项目的一部分，该项目分析宗教变革及其对世界各地社会的影响。全球宗教未来项目的资金来自皮尤慈善信托基金、约翰·邓普顿基金会（拨款 63095）和邓普顿宗教信托基金（拨款 34765）。本出版物确实[…]致谢帖子首先出现在皮尤研究中心。
Mapping the Design Space of User Experience for Computer Use Agents
基于大型语言模型 (LLM) 的计算机使用代理通过与可用的 UI 元素交互来执行用户命令，但对于用户希望如何与这些代理交互或哪些设计因素对其用户体验 (UX) 至关重要，人们知之甚少。我们进行了一项两阶段的研究来绘制计算机使用代理的用户体验设计空间。在第一阶段，我们审查了现有系统，以制定用户体验考虑因素的分类法，然后通过采访八位用户体验和人工智能从业者来完善它。由此产生的分类法包括用户提示、可解释性、用户控制和用户……等类别。
Faster Rates For Federated Variational Inequalities
在本文中，我们研究了用于解决随机变分不等式（VI）的联合优化，这是近年来引起越来越多关注的问题。尽管取得了实质性进展，但现有的收敛速度与联合凸优化已知的最先进边界之间仍然存在显着差距。在这项工作中，我们通过建立一系列改进的收敛率来解决这一限制。首先，我们证明，对于一般的平滑和单调变分不等式，经典的 Local Extra SGD 算法在精细分析下可以提供更严格的保证……
A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
使用经过训练来完成真实程序的小型模型可以进行哪些研究？通常，研究人员通过大型语言模型（LLM）研究程序合成，这会带来一些问题，例如了解分布内或分布外的内容、了解微调效果、理解标记化的效果以及对进行实验的计算和存储提出更高的要求。我们提出了一个名为 Cadmus 的系统，其中包括一个整数虚拟机 (VM)、一个由不同任务的真实程序组成的数据集，以及一个经过 200 美元以下计算训练的自回归变压器模型……
Trace Length is a Simple Uncertainty Signal in Reasoning Models
法学硕士的不确定性量化是解决幻觉和其他限制其可靠部署的问题的关键研究方向。在这项工作中，我们证明推理轨迹长度是大型推理模型中简单且有用的置信度估计器。通过跨多个模型、数据集和提示的综合实验，我们表明迹线长度的表现与其他零样本置信度估计器（例如言语置信度）具有可比较但互补的方式。我们的工作表明，训练后推理从根本上改变了踪迹之间的关系……
