上周，美国“杰拉尔德·R·福特”号航空母舰发生重大火灾，导致超过600名水兵没有永久床铺，加剧了已经紧张的部署条件。五角大楼坚称火灾是意外造成的，驳斥了伊朗声称遭到袭击的说法，但事件耗时超过30小时才控制住，并导致一些人因吸入烟雾而受伤。 “福特”号的部署时间接近一年——是典型部署时长的两倍——此前曾在加勒比海执行任务，目前正在支援与伊朗相关的军事行动。此次延长部署加上火灾，引发了人们对船员疲劳和舰船性能的担忧。 虽然中方司令部表示该舰仍可运行，但此次事件凸显了该舰及其船员所面临的压力，一些人质疑五角大楼报告的“意外”事件发生的频率。由于部署的敏感性，目前通讯受到限制。

特斯拉和LG能源解决方案将在密歇根州兰辛市联合建设一家价值43亿美元的磷酸铁锂（LFP）电池工厂，预计2027年开始生产。美国政府已确认这项合作，旨在加强国内电池供应链，并为特斯拉在休斯顿生产的Megapack 3储能系统（用于电网稳定的大型电池）供电。 这项消息是在东京举行的印太地区能源安全部长级会议和商业论坛上宣布的，是更广泛的“美国能源霸权”战略的一部分，强调了能源各个领域的超过560亿美元的投资。LG能源解决方案一直在扩大其在北美地区的储能产能，目标是到2026年每年超过30GWh，并且尽管电动汽车需求增长放缓，但该领域仍保持增长。该工厂的产量将为特斯拉Megapack提供20兆瓦时的容量，寿命为25年。

加州议员马特·哈尼提出了一项法案（AB 2017），旨在将开斋节和古尔邦节确立为官方州假日。该法案旨在承认和重视加州庞大的穆斯林人口——超过一百万——他们目前缺乏与基督教类似的州认可的假日。 支持者，包括美国伊斯兰关系委员会（CAIR）加州分会，认为鉴于当前的反穆斯林情绪，这种认可尤为重要，并且可以避免学生和工人需要在宗教仪式和日常生活之间做出选择。 亚裔和太平洋岛民事务委员会也支持该法案，将其视为迈向包容性政策的一步。如果通过，加州将成为美国第二个正式承认两个开斋节的州，表明了对多元化及其穆斯林居民尊严的承诺。该法案目前正在等待委员会听证。

客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。

## Zeroboot：亚毫秒级AI代理沙箱 Zeroboot 提供极快的（亚毫秒级p50延迟，约1.7毫秒p99）虚拟机沙箱，用于安全地运行AI代理代码。它通过利用KVM虚拟化和Firecracker快照的新颖的写时复制（CoW）分叉机制来实现这一点。 Zeroboot 不采用传统的VM创建方式，而是将运行时环境预加载到基础VM中，然后通过将快照的内存映射为CoW来快速“分叉”新的隔离VM。这大大减少了启动时间——每个分叉大约0.8毫秒——同时保持硬件强制的内存隔离。 每个沙箱都是一个完整的KVM VM，消耗大约265KB的内存。Zeroboot为Python和TypeScript提供SDK，允许开发者轻松地在这些安全、短暂的环境中执行代码。 Zeroboot目前是一个可用的原型，尚未达到生产级成熟度，但它展示了在快速、安全地为AI应用提供沙箱方面的重大进展。

弗吉尼亚州民主党最近通过了一套全面的枪支管制方案，其中包括禁止某些半自动枪支和配件，目前正等待斯潘伯格州长的签署。支持者，如萨利姆参议员，认为这将逐步减少流通中的“攻击性武器”，但不会立即将现有枪支持有定为犯罪。反对者认为这是对第二修正案权利的严重侵犯，引发了抗议。 在老自治领大学发生枪击事件后——由一名试图帮助伊斯兰国的 पूर्व囚犯制造，并高喊“真主至大”——民主党人有争议地认为该事件*支持*他们的枪支禁令，声称制服袭击者的 ROTC 学生证明公民*不需要*枪支来保护自己。批评者反驳说，这些学生可能更希望拥有枪支，并且这种情况凸显了武装公民的必要性，尤其是在最近出现恐怖威胁的情况下。 尽管由于法院的挑战，全国枪支限制正在减弱，但该立法仍在推进，导致指责民主党将枪支管制置于公共安全之上。

格雷戈里·博维诺，一位曾领导多起备受瞩目的联邦移民突袭行动的海关与边境保护局指挥官，于三月底宣布退休。博维诺由特朗普政府任命，负责洛杉矶、芝加哥和明尼阿波利斯等主要城市的工作，导致数千人被捕，仅洛杉矶就有超过5000名有犯罪定罪的人被捕。 他强硬的执法策略面临法律挑战，尤其是在芝加哥行动方面，法院要求每日汇报。在明尼阿波利斯，由于执法行动中发生两起美国公民致命枪击事件，博维诺被撤销领导职务，特朗普指派汤姆·霍曼负责明尼苏达州的行动。 特朗普称赞博维诺“非常好”，但也表示他的方法可能不适合明尼阿波利斯。博维诺为与边境巡逻队特工在“艰难条件”下共事感到自豪，他的职业生涯始于1996年，历时28年。

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受了我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## 致命核心转储：网络迷Mystery **致命核心转储** 是一款互动解谜游戏，背景设定在2216年，挑战玩家调查一颗小行星采矿站的气闸故障。玩家扮演中立仲裁者，判断事故是意外、疏忽还是蓄意破坏。 独特的游戏玩法涉及**调试真实的二进制应用程序**——分析核心转储——以揭示故障的根本原因。这需要具备**GDB、C编程、逆向工程、x86_64汇编以及Linux运行时行为**的技能。 虽然要求较高，但游戏提供了学习资源和基于Web的虚拟机以方便访问。它使用真实的编译代码（GCC 11.4.0），并强调代码分析，而非隐藏在网页中的线索。玩家还可以访问“制作花絮”文档，以获取包含剧透的完整游戏制作过程。

## Forge：植根于您知识的企业级人工智能 Mistral AI推出Forge，一个系统，使企业能够构建基于*自身*专有数据训练的高级人工智能模型，摆脱对通用公开信息的依赖。Forge通过允许组织将独特的知识——政策、代码、流程——直接融入人工智能模型，弥合了广泛人工智能能力与特定业务需求之间的差距。 通过预训练、后训练和强化学习，Forge支持构建能够理解内部术语和工作流程的模型，从而带来更可靠、更准确的企业级智能体。至关重要的是，Forge优先考虑控制和战略自主性；模型始终受组织管理，这对受监管行业至关重要。 Forge支持多种模型架构和多模态输入，并设计用于通过反馈和评估持续改进。其应用范围涵盖政府、金融、软件开发和制造业，为能够执行复杂任务（如政策分析、代码辅助和运营诊断）的智能体提供支持。最终，Forge将人工智能从外部工具转变为战略资产，并*随着*组织专业知识的积累而不断发展。

## 堪萨斯州法案旨在保护医疗自由 堪萨斯州参议院法案522，即“堪萨斯州医疗自由法案”，旨在禁止基于个人医疗决定的歧视。该法案于2026年3月提出，将防止政府机构、雇主、学校和企业基于个人选择接受或拒绝疫苗、检测、口罩或其他医疗干预而拒绝服务、就业或进入公共场所。 重要的是，该法案的保护措施即使在宣布紧急状态期间仍然有效，旨在防止恢复疫情时期的强制措施。违规者可能面临高达5万美元的罚款，投诉将通过堪萨斯州总检察长提交。 支持者强调该法案对紧急状态下暂停权利的强硬立场，同时也在讨论潜在的改进措施。这些措施包括明确禁止普遍强制措施、解决隔离权力问题、禁止疫苗护照、防止保险歧视以及建立个人直接起诉违规行为的权利。该法案目前正在参议院公共卫生和福利委员会审查中。

最近的奥斯卡颁奖典礼暴露了一个令人担忧的趋势：从庆祝电影转向强制意识形态一致性。演员提莫西·查拉梅仅仅因为暗示好莱坞可能正在失去文化相关性，并且不*需要*像挣扎的艺术形式一样被“维持”下去，就受到了颁奖典礼上许多微妙的攻击——玩笑、刻意的音乐表演。他将该行业与歌剧或芭蕾舞进行比较的合理观点，激怒了好莱坞精英。 与此同时，YouTuber Markiplier，其独立制作、低成本恐怖电影《铁肺》的表现远远超过了许多奥斯卡提名项目，似乎被活动组织者边缘化。这引发了猜测，好莱坞故意淡化了他的存在，担心他的成功会凸显独立电影在传统制片厂体系之外的可行性。 这些事件暴露了好莱坞试图不顾一切地维持对流行文化的控制。好莱坞似乎更专注于惩罚异议，压制挑战其统治地位的叙事，而不是认可艺术价值，越来越像是一个为进步理念服务的宣传平台，而不是对电影的庆祝。这种行为预示着一个衰落的系统，随着其影响力减弱，反而加紧控制。

暂停 重置 预设：8字形螺旋 4体 随机 3D 数据：导出 导入 速度：1倍 积分器：RK4 欧拉 Verlet 碰撞：关闭

特朗普政府正在主动应对中东冲突加剧可能导致美国农民面临的化肥短缺问题，特别是对霍尔木兹海峡航运的干扰——这是全球约20-30%化肥出口的关键航线。白宫经济顾问凯文·哈塞特宣布，将采取措施，包括授权委内瑞拉增加化肥生产，并与拥有全球最大钾盐储量的摩洛哥展开讨论。 这些努力旨在最大限度地减少对美国农业关键时期——春季播种的影响。虽然不能保证完全消除供应问题，但重点是优先满足国内需求。美国大量化肥，包括约20%来自卡塔尔的化肥，依赖复杂的进口/铁路网络。 官员预计冲突时间相对较短（4-6周），并正在密切监测经济影响，认为尽管燃料成本上升，美国经济仍然具有韧性。专家警告说，化肥短缺可能导致来年粮食短缺，凸显了确保替代供应的紧迫性。

在白宫午餐期间，特朗普总统意外透露众议员尼尔·邓恩（共和党，佛罗里达州）被诊断出患有绝症，最初预计在六月去世。特朗普声称，他的干预——将邓恩与白宫医生联系起来——导致了积极的转变，并为这位国会议员带来了“新的生命”。 众议院议长迈克·约翰逊证实了此前未公开的健康问题，指出邓恩尽管预后悲观，仍继续工作。他将诊断描述为“绝症”，引发了特朗普对邓恩命运的直言不讳的预测。 这一披露让约翰逊也感到惊讶，他显得措手不及。虽然邓恩在1月份宣布退休，但他的病情严重程度此前并未公开。特朗普将他的行动描述为对邓恩的健康至关重要，也有助于维持共和党在众议院的微弱多数，避免一场可能困难的特别选举。

亚马逊正在加剧最后一公里配送的竞争，在2000个城市和城镇推出一小时和三小时送达选项。顾客现在可以从约9万件商品中选择，包括杂货、电子产品和家居用品，并提供增强的搜索过滤器，以便轻松识别符合条件的商品。 Prime会员可以享受折扣的送货费（一小时19.99美元，三小时9.99美元），而非Prime会员分别支付19.99美元和14.99美元。此举直接挑战了沃尔玛Spark、Instacart、DoorDash和Uber Eats等竞争对手，在竞争日益激烈的配送领域。 有趣的是，初步市场反应显示，Instacart和DoorDash等竞争对手的股价*上涨*，表明投资者尚未完全评估亚马逊加速配送服务的影响。

## 软件技工的崛起 后转型经济需要一种新的专业知识：不仅要构建软件，还要*维护*它。汤姆·哈特曼是这种转变的典范，在拖拉机修理业务因软件不再仅仅是修复“损坏的代码”，而是更多地关注于完善不精确的规范而衰落后，他成为了一名“软件技工”。这反映了一个更广泛的趋势——硬件和软件之间传统界限的瓦解。专业知识现在在于理解软件所服务的*领域*，无论是农业、医学还是其他任何领域。 汤姆的工作集中在诊断预期功能和实际输出之间的差距，这通常源于上游数据变化或过于简单的规范。像因天气模型更新而导致产量下降的卷心菜农民，或被相互连接、未管理的工具压垮的奶农等客户，突显了挑战。核心问题不是有缺陷的代码，而是将现实世界的细微差别转化为机器可读语言的困难。 汤姆的成功不仅仅是技术上的；它还在于理解人为因素。他强调物理控制，承认用户需要*感觉*自己掌控全局，并提供从快速修复到全面系统编排的解决方案。他所处的领域是预防性维护比危机修复更便宜，但人们本能地对故障做出反应，而不是投资于避免它们。最终，汤姆弥合了日益复杂的科技与社区实际需求之间的差距。

## 动态视频速度调整 Chrome 扩展 - 摘要 这个 Chrome 扩展程序智能地调整视频播放速度，以规范语速，从而在不牺牲理解的情况下加快内容消费速度。它通过使用 Web Audio API 分析页面上最大的视频元素的音频轨道来实现。 该扩展程序的核心在于其音节速率检测算法。在隔离关键元音频率（300-3000Hz）后，它分析能量包络调制——特别是过零率——来估计说话者说话的速度。 以前使用峰值计数和 AudioWorklets 的迭代由于语音特征和浏览器安全策略而面临限制。 检测到的速率随后用于计算目标播放速度，旨在达到每秒 9 个音节的稳定速率（用户可调整）。 速度变化被平滑处理，以避免突兀的过渡。 用户界面提供对目标速率、最小/最大速度的控制，并显示实时数据，例如当前速度、估计的音节速率和能量水平。 局限性包括与 DRM 保护的内容不兼容以及音乐或多个说话者可能出现不准确的情况。 未来的改进可能包括语音活动检测和针对每个说话者的自适应调整。

## gstack：软件开发新时代 Y Combinator 首席执行官 Garry Tan 正在展示由人工智能（特别是 Claude Code）的进步所带来的软件开发领域的根本性转变。他个人每天编写 10,000-20,000 行可用代码——过去需要一个大型团队才能完成的壮举。 这得益于 **gstack**，一个他构建并现在分享的开源“软件工厂”。gstack 利用 Claude Code 模拟一个由 13 名专家组成的团队——CEO、工程经理、设计师、QA 等——可以通过简单的斜杠命令访问。这些代理处理从产品规划和设计审核到代码生成、测试和部署的各个方面。 gstack 不仅仅是一个副驾驶；它会主动重新构建问题、识别错误并自动化关键任务。它的设计旨在大幅提高单个开发者的生产力，并已获得许可性的 MIT 许可证。Tan 鼓励开发者 fork、改进和采用 gstack，他相信掌握这些新的 AI 驱动工具的人将获得显著优势。他正在积极开发 gstack，并邀请社区加入他的旅程。 [https://github.com/garrytan/gstack](https://github.com/garrytan/gstack)

在最近的一次采访中，格伦·格林沃尔德警告塔克·卡尔森，伊朗冲突可能引发的美国本土袭击可能导致自由受限。格林沃尔德担心大规模伤亡事件可能触发“紧急措施”——类似于9/11事件后的爱国者法案——并永久嵌入美国生活中。 讨论强调了对可接受批评的 perceived 双重标准，指出批评美国与批评外国的限制不同。格林沃尔德还提到最近的奥斯汀枪击事件，可能预示着国际紧张局势的溢出效应。 他告诫说，历史表明政府在危机期间会迅速扩大监视和权力，而很少在危机后放弃这些权力。格林沃尔德强调爱国者法案是临时措施常态化的一个主要例子，随着时间的推移侵蚀了自由。他强调公众的警惕性以防止进一步侵犯自由，并警告说自由不是自我保存的，需要不断捍卫。

这篇散文讲述了一个家庭通过对黑巧克力的共同喜爱建立的持久联系，尤其源于父亲一丝不苟且珍视的仪式。作者从1960年代开始，描述了每年与父亲一起去当地巧克力店的经历，以及父亲享用几块，每块恰好有两颗杏仁的习惯，这创造了一种令人安心的规律。尽管作者最初并不喜欢黑巧克力的苦味，但她还是参与其中，希望能与她常常严肃的父亲更亲近，并见证他每咬一口都变得柔和和满足。 多年来，巧克力的来源发生了变化，但仪式却始终如一，成为团结的象征，也是与父亲联系的一种方式，即使在她母亲去世后和她自己生活发生变化之后。这个传统延续到了她的孩子们身上，孩子们非常喜欢“爷爷的巧克力”。现在，作者继续传承这一遗产，随时准备着黑巧克力，这是一种甜蜜而苦涩的提醒，提醒着一种超越世代并继续将她的家庭联系在一起的爱。

## 人形机器人网球挑战获胜 Galbot Robotics 展示了一款能够与人类对手进行持续网球拉锯战的人形机器人，展示了他们的新型 LATENT 系统。该系统与清华大学和北京大学的研究人员合作开发，并在 Unitree G1 机器人上进行了测试，展现了令人印象深刻的反应时间和精准的击球能力。 一项关键创新在于克服了人类运动数据有限的挑战。研究人员没有使用完整的比赛录像，而是专注于捕捉短促、关键的动作，例如正手击球和侧步，在小型、受控的球场内进行。这些数据与模拟训练相结合，模拟训练改变了物理参数，使机器人能够学习和执行协调的游戏玩法。 该系统在模拟正手击球中实现了 96% 的成功率，并在实际测试中成功维持了拉锯战。研究人员认为，这种从“不完美”但基础的运动数据中学习的方法，具有超越网球的广泛应用，有可能彻底改变机器人技能在足球和羽毛球等难以全面收集数据的运动中的发展。

## Unsloth Studio：本地AI模型训练与推理 Unsloth Studio (Beta) 是一款新的、开源的、无需代码的网页界面，旨在简化本地AI模型的使用。它允许用户在Mac、Windows和Linux上运行、训练和导出开源模型——即使对于基本的聊天推理，也不需要强大的GPU。 主要功能包括：训练速度提升2倍，VRAM使用量减少70%，支持500多种模型（文本、视觉、音频、嵌入），以及轻松微调Qwen3.5等LLM。用户可以通过PDF、CSV和JSON上传数据，使用“数据配方”创建自定义数据集。实时观测工具跟踪训练进度，模型可以导出为与llama.cpp和Ollama等流行平台兼容的格式。 Unsloth优先考虑隐私，提供完全离线操作和安全认证。目前仍处于Beta阶段，未来的更新将支持Apple MLX、AMD、Intel，并改进多GPU功能。提供Google Colab笔记本，方便快速探索。

## Rust 与高阶类型：深入探讨 本文探讨了 Rust 缺乏对高阶类型（HKT）的直接支持——泛型可以接受其他泛型作为参数——以及围绕此限制的解决方法和未来方向。虽然 Rust 本身不允许 `struct Foo<T>(T<i32>)`，但作者深入研究了底层的类型系统概念来理解原因。 核心解释阐明了类型是“函数”，接受其他类型并返回新类型（如 `Vec` 这样的类型构造器）。Rust 区分值（如 `true`）、类型（如 `i32`）和类型构造器（如 `Vec`）。缺乏 HKT 意味着 Rust 无法直接将类型构造器作为泛型参数传递。 泛型关联类型（GAT）提供了一个部分解决方案，允许 trait 定义关联类型，这些类型*可以*被参数化。然而，这是一种解决方法，而不是真正的 HKT 实现。文章随后深入研究了证明类型属性的数学基础，涉及归纳法，以及关键的 *余归纳法*。 余归纳法允许无限的证明树，这对于处理递归类型至关重要，其中 trait 的实现依赖于自身。这一点很重要，因为下一代 Rust trait 求解器旨在支持余归纳 trait。然而，当前的实现仍然存在错误，正如一个由看似简单的示例触发的编译器 ICE（内部编译器错误）所示。尽管存在这些挑战，但持续的工作表明，未来 Rust 的类型系统可以更优雅地处理复杂的泛型场景。

## Get-Shit-Done (GSD)：一款强大的AI驱动开发系统 GSD是一个轻量级系统，旨在利用Claude Code、OpenCode、Gemini、Codex、Copilot和Antigravity等AI模型增强代码生成，解决“上下文衰退”问题——即随着AI上下文窗口的填充，质量下降的问题。GSD由一位对过于复杂的规范驱动开发工具感到沮丧的独立开发者构建，优先考虑简单性和有效性。 它通过自动化上下文工程、提示格式化和代理编排来实现，允许用户简单地*描述*他们想要构建的内容。GSD然后提取需求、研究解决方案、创建路线图，并以可管理的方式执行任务，并进行原子提交——同时保持干净的git历史记录。 主要功能包括自动化规划、研究和验证，以及定制选项和快速临时任务。GSD受到亚马逊和谷歌等大型公司工程师的信赖，专注于在不增加传统企业工作流程开销的情况下，提供一致的高质量结果。安装简单，使用`npx get-shit-done-cc@latest`即可，并支持全局或本地项目设置。

Meta公司资深研究员马特·莫蒂尔表示，该公司对TikTok的竞争产品Instagram Reels在2020年推出时缺乏足够的保障措施。与BBC分享的内部研究显示，Reels上的评论中，欺凌、骚扰、仇恨言论以及暴力或煽动性内容比Instagram其他地方更为普遍。

## 美国移民的变迁 维克多·戴维斯·汉森认为，美国移民发生了根本性转变，从历史上感激和爱国的涌入，转变为日益带有敌意甚至暴力的局面。传统上，移民——以麦克斯·尼基亚斯和作者自己的家庭为例——怀着对机会的渴望来到这里，并以奉献精神拥抱新家园，为美国的成功做出了重大贡献，尤其是在科技和农业等领域。 然而，汉森认为这种情况已经改变，他引用了近期事件，例如由外国学生领导的亲哈马斯示威活动，以及受极端意识形态驱使的归化公民发动的袭击。他指出，政策转变将家庭关系和廉价劳动力置于 merit（精英）和同化之上，再加上左翼叙事将美国描绘成固有压迫的形象。 这导致了欢迎那些积极鄙视美国价值观的人，即使他们受益于美国的自由，如法特梅·阿尔代希尔-拉里贾尼和马哈茂德·哈利尔的案例所示。汉森将这一趋势与更广泛的民主党议程联系起来，该议程试图通过依赖的选民基础来扩大福利国家，最终创造了一种情况，即一些移民似乎觉得自己有权无视美国法律，甚至伤害其公民。他总结说，美国无意中创造了一个“怪物”，因为它放弃了传统的移民标准，并拥抱了一种分裂性的受害者和反美情绪意识形态。

厄瓜多尔周日启动了针对贩毒集团的大规模军事攻势，部署了7.5万名士兵，并得到美国的支持，包括联邦调查局现场办事处和联合打击行动。内政部长约翰·莱因伯格宣布“我们处于战争状态”，敦促公民待在家中。 此次打击行动是前总统特朗普领导的针对贩毒集团的17国联盟的一部分，特朗普最近主持了一场“美洲之盾”峰会，邀请了拉丁美洲领导人参加。厄瓜多尔总统丹尼尔·诺博亚是特朗普的关键盟友，他优先打击贩毒集团，特别是由于厄瓜多尔是可卡因的主要过境路线。 该行动紧随墨西哥和委内瑞拉最近的贩毒集团扰乱事件之后，预示着特朗普政府更广泛地努力瓦解有组织犯罪并重塑美洲的政治格局。厄瓜多尔与哥伦比亚的关系紧张，厄瓜多尔否认在行动期间轰炸哥伦比亚领土的指控，声明行动仅限于在其境内针对贩毒集团藏身之处。