R 311740Z OCT 25MARADMIN 520/25MSGID/GENADMIN/CMC PPO PO 华盛顿特区 // 主题/公告
My Life as a Student Athlete at John Cabot University in Rome
罗马约翰卡伯特大学的生活远远超出了课堂。在建立友谊、在篮球场上竞争以及探索意大利的隐秘角落之间，詹姆士库克大学的学生发现了无数的成长和联系的机会。来认识一下来自北加州葡萄酒之乡的市场营销专业学生 Larue Furlani。出于对商业和全球探索的早期热情，拉鲁在罗马找到了她的家外之家。作为詹姆士库克大学女子篮球队的队长，她秉承了角斗士队的精神，平衡了学术、体育和意大利留学的冒险经历。拉鲁分享了在罗马成为一名学生运动员的感受、领导一支新球队的挑战和胜利，以及她对未来希望充分利用在詹姆士库克大学的时间的角斗士的建议。
In Memoriam: Robert E. Lucas Jr. (September 15, 1937–May 15, 2023)
由于排灯节假期，我已经很长时间没有写博客了。祝所有游客迟来的排灯节愿望。 《政治经济学杂志》将最新一期献给罗伯特·卢卡斯。在本期《政治经济学杂志》中，向小罗伯特·E·卢卡斯 (Robert E. Lucas Jr.) 致敬，他于 1978 年至 1981 年以及 1989 年至 [...] 担任联合编辑。
Robert Sapolsky on Free Will and Why We’re Not in Control of Our Actions
就一个可能从根本上改变我们对现实的理解的问题采访神经科学家和灵长类动物行为专家。
华盛顿特区大主教区大主教罗伯特·麦克埃尔罗伊红衣主教将于下午 4 点与大学校长罗伯特·A·多德牧师 (Rev. Robert A. Dowd, C.S.C.) 进行题为“治愈我们的国家对话和政治生活”的对话。周五（10 月 17 日）在麦肯纳大厅 215/216 室举行，作为 2025-26 圣母院论坛的一部分，主题为“培养希望”。该活动免费向公众开放。
“让我看看你配得上这件制服！” — 我们终于确定了《星际迷航：星际舰队学院》的上映日期，Paramount+ 电视剧将于 2026 年 1 月 15 日出现在我们的屏幕上。
A year ago: Lance Lambert Interviews Me on the Housing Market
注：CR 休假至 10 月 21 日。这篇采访于 2024 年 7 月进行，目前仍在进行中！我不确定“著名”是什么，但这次采访触及了我一直在讨论的有关住房的几个关键点。来自 ResiClub 的 Lance Lambert：预测 2008 年房价崩盘的著名住房分析师对当前市场的影响 以下是简介：2008 年房地产泡沫破裂前几年，住房分析师比尔·麦克布莱德 他开始在他的博客“Calculated Risk”中记录美国房地产市场的麻烦。他不仅预测了崩盘，还称2012年房价触底。快进到 2024 年，他对这个周期的担忧已不像 2007 年那样。麦克布莱德在过去几年中一直坚持认为，这个房地产周期最终将
来认识一下 Alessandra King，她是华盛顿特区美利坚大学的一名大四学生，主修工商管理，专攻市场营销、数据分析和金融。亚历山德拉来自康涅狄格州新米尔福德，目前正在罗马约翰卡伯特大学度过秋季学期，她还在詹姆士库克大学营销办公室实习。当她不在罗马学习或探索时，Alessandra 喜欢户外活动，如划船、游泳和徒步旅行，或者只是与家人和朋友共度时光。在这篇文章中，Alessandra 分享了她对 JCU 和永恒之城生活的第一印象，反思了从住房和课程到罗马充满活力的文化和日常生活节奏的一切。
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
大型语言模型 (LLM) 展示了令人印象深刻的数学推理能力，但它们的解决方案经常包含无法自动验证的错误。 Lean 4 等形式化定理证明系统提供了完全准确的自动验证，推动了最近努力构建专门的证明者法学硕士，以形式语言生成可验证的证明。然而，仍然存在一个重大差距：当前的证明者法学硕士解决的问题比使用自然语言操作的通用法学硕士要少得多。我们介绍 Hilbert，一个代理框架，它通过以下方式弥合了这一差距
Economist Paul Krugman explains the real purpose behind Trump’s 'grotesque' Mar-a-Lago party
2025 年万圣节之夜，唐纳德·特朗普总统在海湖庄园举办了一场以《了不起的盖茨比》为主题的派对，派对上有 1920 年代的连衣裙、头带、舞者和禁酒令时代的怀旧气息。 F·斯科特·菲茨杰拉德 (F. Scott Fitzgerald) 的著名小说《了不起的盖茨比》于 100 年前的 1925 年出版，捕捉了爵士乐时代的享乐主义，并于 1974 年被改编成电影，由罗伯特·雷德福 (Robert Redford) 饰演长岛百万富翁杰伊·盖茨比 (Jay Gatsby)，米娅·法罗 (Mia Farrow) 饰演他的前情人黛西·布坎南 (Daisy Buchanan)。然而，尽管菲茨杰拉德的小说和雷德
NASSCO передала ВМС США четвертый танкер-заправщик класса «Джон Льюис»
美国海军于12月10日宣布接收约翰·刘易斯级罗伯特·F·肯尼迪号新一代加油机（T-AO 208）。
Cessna 185B Skywagon ZK-CEW revisited.
塞斯纳 185B Skywagon ZK-CEW c/n 185B-0528 是从堪萨斯州威奇托塞斯纳飞机公司进口的新飞机，并在那里进行了试飞，编号为 N5228Z。它于 1963 年 3 月 15 日在新普利茅斯注册到当时的新西兰塞斯纳代理商 Rex Aviation (NZ) Ltd。它正式挂牌到库克山航空服务有限公司于 1963 年 5 月 23 日。上面是我见过的 ZK-CEW 最好的照片。来源未知 拍摄于 1963 年 3 月至 1965 年 10 月之间。ZK-CEW 于 1965 年 10 月 23 日坠毁在阿尔伯特冰川上。大约六十年前。我们在十年前的一篇博客文章中提到过这一点。
Spherical RoboBall could tackle Moon’s toughest terrain
我们习惯于探索月球或火星的漫游车有腿和轮子来移动，但由罗伯特·安布罗斯领导的德克萨斯农工大学的一个团队希望通过一种形状像球的新型移动机器人变得更加几何化，可以在崎岖的地形上滚动。继续阅读类别：机器人，技术标签：月球，德克萨斯农工大学，机器人
Cato Experts Warn Against Venezuela Regime Change in New American Conservative Op-Ed
随着特朗普政府向加勒比地区部署军事资产，卡托研究所学者贾斯汀·洛根和布兰登·巴克在一篇新的美国保守党专栏文章中警告称，美国领导的委内瑞拉政权更迭将违背总统作为和平缔造者的目标，并有可能陷入中东式的泥潭。洛根和巴克认为，政府的公开理由是有缺陷的——芬太尼不是来自委内瑞拉，目标船只也无法到达美国。历史先例建议克制：美国从伍德罗·威尔逊入侵墨西哥到对尼加拉瓜和海地长达二十年的占领的干预造成了代价高昂的失败，导致赫伯特·胡佛和罗斯福缩减开支。如需采访，请联系：麦迪逊： mmiller@cato.org。
Cato Expert: America’s Middle Class Is Stronger Than Ever, Despite Political Rhetoric
在他最新的《市场观察》文章中，卡托研究所的诺伯特·米歇尔揭穿了全球化摧毁美国中产阶级的神话。民粹主义关于经济灾难的说法是完全错误的，并被用作压制贸易和自由的借口。导致，美国中产阶级自20世纪70年代以来就没有经历过衰退；事实上，事实恰恰相反。美国的收入增长强劲，并且广泛分布在各个人口群体中。家庭实际收入中位数显着上升，高收入家庭比例上升，低收入家庭比例下降。即使是最低收入阶层的工人也出现了向上流动的趋势，收入增长跨越了各个年龄段和婚姻状况。此外，制造业就业岗位的减少并不是由自由市场政策驱动的，而是因为美国工厂现在用更少的工人生产出更多的产品。正如米歇尔指出的那样，“美国根本不需要在制造业雇用那
Cato Institute Experts Available for Commentary During Free Speech Week
在全国庆祝言论自由周之际，卡托研究所的学者可以接受有关美国言论自由的过去、现在和未来的采访和评论。从关于社交媒体监管和校园言论的辩论到国家安全、监视和全球言论威胁，卡托的专家就我们这个时代最重要的问题之一提供了宪法见解和有原则的自由主义观点。可用的专家包括：托马斯·贝里，罗伯特·A·利维宪法研究中心主任詹妮弗·赫德尔斯顿，技术政策高级研究员大卫·因塞拉，自由表达和技术研究员穆斯塔法·阿基奥尔，全球自由中心高级研究员ProsperityWill Duffield，代表政府中心兼职学者卡托的学者可以接受现场采访、书面评论或分析言论自由现状的专栏文章。ICYMI：卡托言论自由辩论其他资源：言论自由值
