唐纳德·特朗普解雇了司法部长帕姆·邦迪，暂时由副司法部长托德·布兰奇接替。特朗普赞扬了邦迪的服务，并声称她将转到私营部门工作，但消息人士说她目前还没有确定工作。 解雇事件源于特朗普对邦迪处理调查（特别是埃普斯坦的文件）以及她对政治对手缺乏起诉日益增长的不满。她因对埃普斯坦客户名单的言论而受到批评，最近还就此事接受了众议院监督委员会的质询。 据报道，特朗普认为这次解雇是一次成功，可能为进一步的人事变动铺平道路。目前环保署署长李·泽尔丁正在被考虑作为邦迪的永久继任者。邦迪最近增加了与特朗普的会面时间，似乎试图展示在特朗普优先调查方面取得的进展。

在设备LLM推理——针对苹果芯片优化。已投入生产 · SDK · 网站。Onde为App Store中的实时应用程序提供完全在设备上的聊天功能——无需服务器，无延迟，数据不会离开设备。© 2026 Onde 推理

俄罗斯要求美国和以色列停火，以确保从伊朗布什尔核电站撤离人员的安全通行。过去48小时内，空袭增加，这座由俄罗斯建造的设施——目前有超过500名俄罗斯工作人员参与扩建项目——面临重大风险，至少有三次袭击报告。 俄罗斯原子能公司负责人阿列克谢·利哈切夫宣布，下周计划进行最后一轮撤离，涉及200人。俄罗斯指责美国和以色列通过袭击和平核设施，危及该地区并破坏全球核不扩散努力。 克里姆林宫通过外交部发言人玛丽亚·扎哈罗娃强烈谴责这些袭击，并批评联合国和国际原子能机构等国际组织缺乏谴责，同时也注意到有关美国特种部队可能行动以夺取伊朗铀的报告。俄罗斯警告称，如果袭击持续，将存在大范围放射性污染的危险。

## 优先类型推断以提供更清晰的错误信息 许多具有强类型推断的语言可能会产生令人困惑的错误信息，因为编译器对类型的假设并不总是与开发者的意图一致。 本提案介绍了一种新的类型推断算法，旨在优先考虑基于开发者*可能*思考代码方式的类型统一，而不是简单地遵循源代码的顺序。 核心思想是摆脱单次自上而下的推断过程，而是利用一系列有序的推断过程——优先考虑“已知应用”（具有预期类型的函数参数）和“已知赋值”，然后再进行不太确定的推断。 这种方法旨在通过反映开发者的心理模型来解决类型歧义。 该算法迭代地完善类型，在每个步骤之后重新运行早期推断过程，以利用新信息。 错误生成被推迟到最终类型检查阶段，确保消息反映了优先的推断。 基准测试显示出有希望的性能，尤其是在具有许多小函数的语言中，这使其成为改善开发者体验的可行方法。

## SQLite：比你想象的更强大 SQLite 正在超越简单的文件型数据库，提供以往只有大型系统才有的功能。它现在包含一个 **JSON 扩展**，用于直接在表中存储和查询 JSON 数据，从而实现灵活的模式和通过索引进行快速查询。 对于搜索，**FTS5** 提供强大的全文搜索功能 *在* SQLite 内部，无需外部服务。 **CTE 和窗口函数** 解锁了复杂的分析查询，例如运行总计，从而实现令人惊讶的丰富报告。 现代 SQLite 还引入了 **严格表**，通过强制类型检查来提高数据完整性，以及 **生成列** 以自动维护派生数据。 **预写式日志 (WAL)** 提高了性能，通过最大限度地减少读写阻塞来增强并发性。 这些补充功能保持了 SQLite 的简单性和可靠性，同时显著扩展了其功能，适用于从桌面工具到本地优先应用程序和小型服务的各种应用。

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

## SpaceX IPO 估值：预测分析 SpaceX 已秘密提交 IPO 申请，目标估值为创纪录的 1.75 万亿美元，计划于 2026 年 6 月上市。本分析预测该价格是否合理，方法是将公司分解为七个关键业务部门：星链（消费者、企业/海事/航空、直连手机）、xAI/Grok、星舰、政府/国防以及猎鹰 9 号/重型火箭。 该预测采用“总和估值法”（SOTP），目前将 SpaceX 的估值约为 1.25 万亿美元——低于 IPO 目标 29%。实现 1.75 万亿美元的估值需要在 *所有* 部门取得显著的超额表现，本质上是一种“最佳情况”。星链占预计价值的最高比例（48%），而 xAI 的 2580 亿美元估值，很大程度上基于最近的合并，鉴于目前的亏损，其合理性受到质疑。星舰的价值很大程度上是推测性的，代表着未来的潜力。 SOTP 估值与 IPO 价格之间的差距可能可以用潜在的“集团溢价”来解释——即人们相信星链、星舰和 xAI 之间的协同效应创造了独特的价值——以及预计的零售需求量大（据报道分配比例为 30%）。然而，该估值严重依赖于乐观的增长预测，特别是星链用户数量和 xAI 的发展。

美国参议院可能即将就《数字资产市场明确法案》进行投票，该法案去年已在众议院通过，但稳定币收益的争议导致延误。Coinbase首席法律官保罗·格雷瓦尔认为，尽管关于稳定币发行方是否应被允许提供奖励的争论仍在继续，但达成协议“非常接近”。 银行正在推动限制，担心存款流失，Coinbase对此表示异议。前总统特朗普最近指责银行因这个问题故意拖延该法案，此前他与Coinbase首席执行官布莱恩·阿姆斯特朗会面。 对于加密行业来说，延误令人担忧，因为未能建立明确的联邦规则可能会使其在未来政府的管理下更容易受到更严格的监管。专家警告说，为了短期利益而放弃开发者保护，可能会导致一个受政治心血来潮而非既定法律支配的系统。由于不确定性，Coinbase的股价今年已下跌23%。

美国西部地区的积雪调查显示，情况历史性地严峻：由于温暖的冬季和三月份的酷热天气，积雪量降至历史最低水平。专家警告说，融雪速度前所未有，导致即将到来的旱季水供应严重不足，即使未来可能降雪也无法弥补。 测量数据显示，“积雪水当量”——可用于径流的水分——大幅减少，加利福尼亚州内华达山脉仅为平均水平的18%，科罗拉多河源头地区为24%。这影响到依赖科罗拉多河的超过4000万人，以及农业和部落国家。 虽然加利福尼亚州的水库目前因近期降雨而蓄满，但捕获快速融化的雪水将充满挑战。科罗拉多河盆地的形势更为严峻，主要水库水位已经偏低，引发了对“死亡水位”——无法发电或分配水的灾难性情况——的担忧。 今年的状况与气候变化有关，加速了冬季变暖、变干和火季变长的趋势。 城市正在启动用水限制，专家预测由于植被迅速干燥，将出现延长且提前的野火季节。 展望令人沮丧，科学家强调迫切需要适应和减缓措施。

Cloudflare 的 EmDash 是一款全新的、完全开源的 CMS，使用 TypeScript 和 Astro 6.0 构建，旨在成为 WordPress 的现代重新构想。它利用 Cloudflare Workers（或 Node.js）上的无服务器架构，SQLite 用于本地开发，Cloudflare D1 用于生产环境，将内容存储为结构化 JSON。 主要特性包括强大的安全模型，沙盒插件需要明确的访问权限，以及深度集成的 AI 优先方法，将 AI 代理视为核心用户。该系统拥有更简洁的数据库结构和熟悉的、Gutenberg 之前的风格管理面板，使用 TinyMCE。 然而，作者质疑它的必要性，更喜欢使用 markdown 文件进行更简单的静态站点生成流程。虽然 EmDash 在开发者体验和架构优雅性方面表现出色，但它并没有直接解决 WordPress 常见的痛点，例如性能、托管成本或插件膨胀。 最终，EmDash 的成功取决于其对 AI 辅助工作流程和以开发者为中心的功能的关注是否能引起更广泛受众的共鸣，而不仅仅是那些已经熟悉现代 Web 开发实践的人。这是一个很有前景的项目，但仍处于早期开发阶段。

最新报告显示，伊朗、以色列和美国之间的袭击正在升级，并已扩展到民用基础设施。在以色列/美国对德黑兰附近新建公路桥梁发动袭击，造成多人受伤后，伊朗武装部队正在准备针对以色列后勤网络的报复性升级。 德黑兰计划破坏三个关键通道：关键铁路线路，如亚尔孔桥和耶泽列尔隧道，以及通过沙特阿拉伯和约旦的陆地补给走廊——由于海上航线受到威胁，这些走廊变得越来越重要。海法港和雷霍特站等高价值基础设施也成为目标。 这标志着以色列补给线正朝着系统性破坏转变，效仿了此前对伊朗使用的策略。此外，伊朗伊斯兰革命卫队已袭击了巴林的一个云计算中心，并正在考虑进一步的目标，特别是迪拜的科学和技术中心。这场冲突的范围和强度似乎正在扩大。

纽约市公共医院系统首席执行官米切尔·卡茨表示，一旦法规允许，他准备用人工智能取代放射科医生，理由是在成像需求不断增加的情况下，可能节省成本。他设想人工智能处理初步图像读取——特别是乳腺X光检查和X光片——放射科医生则专注于标记的异常情况，从而可能增加乳腺癌筛查等服务的可及性。 韦斯特彻斯特医疗中心的大卫·卢巴斯基报告称，人工智能的实施取得了成功，声称其在初步乳腺癌筛查中“比人类更好”，假阴性率非常低。多位医院首席执行官一致认为，允许人工智能独立读取图像的法规变化将是“革命性的”，尤其对安全网医院而言。 然而，放射科医生强烈批评了这些言论，认为目前的人工智能尚不具备独立诊疗能力，这种转变将危及患者安全。担忧集中在医院管理者将削减成本置于患者安全之上，并可能被人工智能公司误导。

此文档似乎是PDF文件的内部数据流，具体描述了其创建和结构。它显示文件于2006年12月28日生成，使用了软件流程：一个`.dvi`文件（可能来自TeX或LaTeX）被`dvips`版本5.95a处理，然后由运行在Sparc Solaris系统上的Adobe Acrobat Distiller Server 6.0.1提炼成PDF格式。 该数据流包含有关所用软件版本、创建和修改时间戳以及内部对象引用的元数据。 值得注意的是，存在二进制数据流（由看似随机的字符表示），这些数据流可能包含PDF的实际图像和文本内容。 该文件还定义了颜色空间（Indexed/DeviceRGB）。 基本上，这是PDF来源的技术记录，而非文档本身的内容。

## 可再生能源增长面临挑战 2025年可再生能源显著扩张，达到全球电力容量的近一半——创纪录的同比增长15.5%，主要由太阳能驱动（占新增容量的75%）。可再生能源主导了新增电力，占全球容量扩张的85.6%。 然而，国际可再生能源署（IRENA）警告说，这一进展不足以实现全球承诺。虽然整体上超过了化石燃料的扩张速度，但可再生能源的增长速度*放缓*，而非可再生能源的容量增加急剧反弹，尤其是在中国（煤炭）和美国（天然气），这受到人工智能数据中心需求的推动。 目前为5.15太瓦，世界正偏离轨道，无法到2030年将可再生能源容量增加到11太瓦，正如在COP28上承诺的那样。IRENA强调，增加投资和加速发展至关重要，特别是考虑到最近的地缘政治不稳定，凸显了分散式可再生能源系统的韧性优势。

Gemma 4 模型与我们的专有模型一样，遵循相同的严格基础设施安全协议。选择 Gemma 4，企业和主权组织将获得值得信赖、透明的基础，它在提供最先进能力的同时，也满足最高的安全和可靠性标准。

2025年1月，加利福尼亚州发生毁灭性野火，摧毁超过12,000座建筑物，造成30人死亡。特朗普总统公开批评保险公司，特别是State Farm，声称其未能充分支持保单持有人。在听取了加州政界人士的担忧后，特朗普敦促保险公司“做好本职工作”。 State Farm面临越来越多的审查，促使加利福尼亚州保险部门和洛杉矶县展开调查。担忧的重点在于理赔处理问题——包括频繁更换理赔员、评估不一致以及记录保存不善——导致延误、理赔不足和理赔被拒。 State Farm报告已支付了57亿美元（预计达到70亿美元）的超过13,500份理赔，但官员和幸存者认为这些支付不足，并阻碍了重建工作。调查的重点是潜在违反加州不正当竞争法的行为，旨在确保野火受害者获得公平及时的援助。

美国宇航局的阿耳忒弥斯2号任务将通过新的猎户座阿耳忒弥斯2号光学通信系统（O2O）提供令人惊叹的月球实时4K视频。这项最先进的激光技术将以高达260 Mbps的速度传输数据，提供前所未有的视野——包括使用尼康相机拍摄的月球背面图像——并实现更快的关键任务信息通信。 O2O将利用新墨西哥州和加利福尼亚州的地面站，选址原因是那里天空晴朗，但也将由美国宇航局深空网络（DSN）提供的传统无线电通信作为备份。任务期间计划的41分钟“黑暗窗口”期间，由于地球被遮挡，将暂时中断激光和无线电信号。 目前速度为260 Mbps，但美国宇航局已经展示了O2O能够达到622 Mbps的能力，在更近地点的项目中甚至实现了更快的速度，预示着未来太空通信的发展方向。

合规初创公司Delve正面临来自匿名举报人“DeepDelver”的严重指控，声称该公司将一个开源工具冒充为自己的产品。DeepDelver声称Delve向他们推销了一个无代码工具“Pathways”，但实际上它是Sim.ai的“SimStudio”的修改版本，没有进行适当的署名或许可协议。 Sim.ai的首席执行官Emir Karabeg证实，Delve从未获得许可，并且之前曾试图*购买*与Sim.ai的协议——这种情况尤其尴尬，因为Sim.ai也是Delve的客户。两家公司都是Y Combinator的校友。 这些指控被认为是潜在的知识产权盗窃（尽管使用开源工具在署名的情况下是被允许的），鉴于Delve专注于合规，这尤其具有破坏性。Delve已从其网站上删除对“Pathways”的提及，并且尚未回应评论请求，这进一步加剧了审查。这场争议在网上引起了关注，人们开始质疑Insight Partners在3200万美元投资期间的尽职调查。

澳大利亚、英国和美国领导人的近期讲话最初引发了市场乐观情绪，这得益于人们对与伊朗冲突迅速结束的希望。然而，这种“愚人节行情”很快被美国总统特朗普宣布继续并加强任务以防止伊朗获得核武器和扩大影响力所扭转。 特朗普表示愿意单方面采取行动，甚至威胁伊朗的基础设施，并暗示其他国家——特别是北约和海湾合作委员会国家——必须介入确保霍尔木兹海峡的安全，否则将面临经济后果。这造成了一种紧张局势，欧洲国家抵制美国要求提供基地准入，并质疑战争的合法性，导致跨大西洋关系紧张，并对北约的未来产生怀疑。 澳大利亚总理发表了一份低调的复活节信息，现在被认为可能是对未来实行燃料配给的预示。英国总理强调通过外交和军事手段确保霍尔木兹海峡的安全，夹在来自美国的压力和国内对战争的反对之间。不断变化的国际地缘政治格局表明，英国可能会转向欧盟，危及“特殊关系”，并对与澳大利亚的AUKUS安全协议的未来提出疑问。

霍尔木兹海峡的局势升级，影响已超出能源领域，现在正显著冲击全球塑料供应链。多家主要塑料原料生产商——单乙二醇（MEG）和精对苯二甲酸（PTA）——已宣布*不可抗力*，因油轮运输中断而停止或推迟出货。 MEG和PTA是生产PET和聚酯的基础，对包装、服装和工业产品等无数日常用品至关重要。东方联合化工、海南亿盛石化、Indorama Ventures和沙特基础工业公司等企业已经开始提价和暂停发货。 这正在导致美国相关化学品现货价格飙升，预示着消费者在食品容器到轮胎等商品上的成本将增加。专家警告说，食品包装将是最先受到影响且最明显的产品之一。鉴于中国是全球最大的塑料消费国和生产国，这些中断对全球经济构成了重大威胁，即使霍尔木兹局势稳定，也可能需要数月时间才能解决。

这是一个高度交互的网络应用程序，需要JavaScript。简单的HTML界面是可能的，但这并非如此。Post niki grayson nikigrayson.com did:plc:jzhiqz7fb5dj6h7cydluryvn 现在宇航员正在呼叫休斯顿，因为飞船上的电脑正在运行两个微软Outlook实例，他们无法弄清楚原因。美国宇航局即将远程连接到该电脑 2026-04-02T06:06:54.854Z。

金融时报 安全验证 如需帮助，请访问help.ft.com。 我们对由此造成的不便表示歉意。 启用JavaScript和Cookie以继续。 以下信息可以帮助我们的支持团队解决此问题。 原因：挑战 请求ID：9e60e451fdf7ff91 状态码：403 条款与条件 隐私政策 Cookie政策 管理Cookie 版权声明与政策 © THE FINANCIAL TIMES LTD 2026. FT和‘Financial Times’是金融时报有限公司的商标。 金融时报及其新闻业受《金融时报编辑规范》下的自我监管制度约束。

启用 JavaScript 和 Cookie 以继续。

由于伊朗冲突持续以及霍尔木兹海峡事实上关闭，全球燃料竞争正在加剧。柴油价格飙升，达到自2022年以来未见的水平——超过每桶200美元，几乎是冲突开始一个月前的两倍。 尽管欧洲已经是净进口国，但亚洲需求正在全球范围内拉动供应，欧洲面临潜在的柴油短缺。最初的冲突升级促使生产商对冲，但近期缓和的信号短暂缓解了市场压力，随后又因特朗普总统的威胁而逆转。 除了欧洲，澳大利亚等国正在经历恐慌性购买和局部燃料短缺，囤积行为加剧了这一情况。这一局势威胁到推高全球通货膨胀，因为柴油驱动着交通和建筑等关键行业。由于霍尔木兹海峡何时重新开放尚不明确，预计柴油市场的压力将继续增加，预示着更广泛的经济影响。

司法部长帕姆·邦迪据报道正面临被免职的风险，原因是白宫内部普遍不满，主要源于她处理杰弗里·埃普斯坦一案的方式。消息人士称，尽管邦迪最初声称正在审查“客户名单”，但对于调查埃普斯坦的同伙缺乏进展感到沮丧。她在国会上的证词被广泛批评为闪烁其词且无成果，更因一份关于失踪文件的众议院传票而加剧。 除了埃普斯坦事件的影响外，邦迪还被指控未能起诉特朗普的政治对手，以及优先处理“仇恨言论”镇压，而非追究前政府更广泛的违规行为。她的司法部还因捍卫拜登时代的政策而受到批评，阻碍了当前政府获得持久的法律胜利。 环保署署长李·泽尔丁正在被考虑作为继任者，被视为一个更忠诚和可靠的人物。这次潜在的调整表明特朗普对 perceived 失败越来越不耐烦，并希望内阁中采取更果断的行动。邦迪目前仍任职，但她的职位越来越不稳定。

纳米核已向美国核管理委员会 (NRC) 提交了其 Kronos 微型反应堆项目在伊利诺伊大学的建设许可证申请 (CPA)，这是迈向商业部署的重要一步。这款 15 兆瓦的高温气冷堆采用抗熔毁的 TRISO 燃料和氦气冷却剂，优先考虑安全性和自主运行。 Kronos 于 2024 年从 Ultra Safe Nuclear Corp. 收购，专为各种应用而设计，包括数据中心、工业场所和偏远社区。伊利诺伊大学的项目在州政府的支持下，旨在成为首个全尺寸研究反应堆，也是纳米商业化计划的关键组成部分，未来还计划在德克萨斯州、韩国和联邦地点部署。 NRC 将现审查该申请，纳米估计该过程需要大约 12 个月。获得批准将使该项目按计划在 2020 年代后期进行测试，并支持纳米大规模生产微型反应堆的目标。

## 量子力学：概要 本章深入探讨量子力学的核心，强调不确定性原理并非仅仅关于测量扰动，而是“共轭基”的根本结果。这些基代表着属性，令人惊讶的是，它们不需要共享相同的单位——这一概念挑战了我们的直觉。 本章强调，**理解**，而不仅仅是预测，才是科学的真正目标。量子力学从根本上打破了常识，呈现出一种与历史上设想的任何事物都截然不同的、充满神秘的理论，并且独一无二地受到解释问题的困扰。 关键概念包括**离散**状态、**叠加**以及理解**基**的重要性。核心要点是，单个属性可以*暗示*属于不同但共轭类型的属性的叠加。这突出了反直觉的量子现实，其中看似不同的方面本质上是相互关联的。

访问被拒绝。您没有权限访问此服务器上的“http://thereader.mitpress.mit.edu/backrooms-and-the-rise-of-the-institutional-gothic/”。 参考编号：18.d2753617.1775140367.1d1f7f16 https://errors.edgesuite.net/18.d2753617.1775140367.1d1f7f16

一名有着悠久犯罪记录的女子——23次被捕和70项指控——据称在北卡罗来纳州夏洛特刺伤了一名孕妇，凸显了人们对“旋转门”司法系统的担忧。40岁的马维娜·哈迪在一家杂货店停车场袭击受害者，刺伤了她的胸骨，但该女子和她的未出世的孩子预计都能康复。哈迪在佛罗里达州被捕，这归功于公众提供的线索和监控录像。 这起事件被认为是累犯被释放且刑罚轻微的更大趋势的一部分，芝加哥（用锤子威胁、袭击交通运输）和康涅狄格州（一名被判有食人罪的斧头凶手被批准有条件释放）的例子对此进行了说明。文章认为，激进的法官和宽松的政策优先考虑“改造”，而非公共安全，导致对无辜民众的暴力袭击。它呼吁司法系统承担责任，并敦促公民要求更安全的社区。