康帕斯数据中心因激烈的当地反对而取消了在弗吉尼亚州北部的800英亩数据中心项目。这一撤退凸显了全国范围内居民抵制数据中心扩张的日益增长的趋势，原因是人们担心电力需求增加、电价上涨以及土地利用冲突。 该项目是更大的数字门户走廊的一部分，面临法律挑战和监管障碍，最终使其不可行。这种抵制源于人工智能基础设施繁荣与社区担忧的碰撞——甚至延伸到对当地能源政策的不满。 最近的民意调查显示，公众对数据中心的负面评价出乎意料地高，甚至超过了对ICE的看法。因此，近一半的美国计划中的数据中心项目现在面临潜在的取消或延误，叙事重点从技术进步转向了对能源和社区影响的局部斗争。

## TeX & LaTeX 的持久遗产 20世纪70年代，斯坦福大学教授唐纳德·克努斯面临一个令人沮丧的问题：他的出版物中数学符号的排版不一致。他对电子排版的质量下降感到不满，因此着手创建自己的解决方案——TeX，一个于1978年发布的数字排版程序。 TeX 允许作者使用标记语言精确控制格式，直接将意图编码到稿件中。重要的是，克努斯公开了源代码，从而促进了一个协作社区。虽然功能强大，但 TeX 的底层命令对于某些人来说证明具有挑战性。这促使莱斯利·兰波特开发了 LaTeX，它是在 TeX *之上* 构建的，更易于使用的宏包。 LaTeX 的易用性推动了它的广泛采用，成为科学和技术出版的标准。它的精确性、自动化能力和开源特性仍然非常宝贵。尽管现代桌面出版工具已经存在，但 TeX/LaTeX 仍然蓬勃发展，尤其是在准确表示复杂的公式和算法至关重要的情况下，仅开放档案每月处理超过 10,000 份稿件。持续的开发，包括支持现代字体和 Unicode 的引擎，确保了它在未来几代人的相关性。

## 反对无穷：摘要 数学家多隆·泽尔伯格倡导“超有限主义”，一种有争议的哲学，认为无穷是数学中一个有缺陷的概念——并且是不必要的。他认为数学应该反映我们所体验的有限、可证明的现实，就像计算机使用有限的数字一样。对于泽尔伯格来说，无穷类似于对上帝的信仰：直观上吸引人，但无法证明，最终会阻碍真正的理解。 他认为，现有的依赖无穷的数学框架是“丑陋”且错误的，并提出了一种没有无穷小量的微积分，以及对离散系统而非连续系统的关注。尽管大多数数学家认为这种观点过于激进，但超有限主义从质疑无穷在宇宙中作用的物理学家那里获得了关注——从普朗克尺度到量子力学。 尽管缺乏正式的统一理论，超有限主义仍然引发了争论。批评者认为它限制了数学研究，而支持者则认为它是一种更现实的方法，使数学与可验证的真理相符。该运动在建立坚实基础方面面临挑战，但日益增长的兴趣表明它正在发展，不再是“骗局”，而是一种合法的，尽管与传统观念相悖的数学哲学分支。最终，泽尔伯格倡导一种务实的数学，专注于*可以*证明的内容，并驳斥无穷是一种方便的虚构。

## Repo Caveman 插件：压缩基准测试 最近的一项基准测试对比了旨在压缩 Claude 响应的 Repo Caveman 插件与简单的“简洁明了”提示词以及 Claude 的默认设置。该研究使用严格的评分标准，评估了在六个类别中的表现：错误诊断、概念解释、架构权衡、多步骤设置、安全/破坏性操作以及错误解释，以评估质量和关键信息保留情况。 结果表明，Caveman 在整体 token 减少或质量方面并未始终优于“简洁明了”。虽然“简洁明了”实现了 34% 的 token 减少，但 Caveman 的“轻量”和“完整”模式与之相当。然而，Caveman 的“极致”模式，尽管旨在实现最大压缩，有时由于内置的“自动清晰化”功能而*增加了* token 数量。此功能有意放宽对安全关键指令（如安全警告或多步骤设置）的压缩，以确保清晰度。 最终，Caveman 的价值不仅仅在于压缩。它通过自动规则重新注入提供**一致的输出结构**和**跨会话的持久性**——这些是简单提示词所不具备的。虽然一个双词提示词可以在 token 数量和质量上与 Caveman 相匹配，但 Caveman 提供了更多的控制和可预测性，使其对于需要结构化 Claude 输出的应用来说很有价值。基准测试代码是开源的，可供进一步测试。

随着特朗普-习近平峰会的临近，美国正在紧急努力打破中国在稀土元素中的主导地位——稀土元素对从喷气式战斗机到电动汽车的一切至关重要。数十年以来，尽管原材料在其他地方开采，中国一直控制着复杂且通常对环境有害的提炼过程。 最近的努力集中在建设西方提炼能力上。澳大利亚的莱纳斯稀土公司已经开始生产分离重稀土（此前仅在中国加工），并获得了9600万美元的五角大楼合同。美国公司如MP Materials和USA Rare Earth也在大力投资，后者收购了一座巴西矿山，该矿山能够供应所有四种磁性稀土。 上个月，莱纳斯实现了钐的商业化生产，这是一个关键矿物，此前完全来自中国，这成为一个关键突破。然而，挑战依然存在——位于德克萨斯州的计划设施因环境法规导致成本超支，促使其在马来西亚扩张。虽然势头正在积聚，但专家警告说，建立一个完全独立的供应链需要数年时间，并且需要激励商业需求，超越国防领域，以确保长期可行性。

启用 JavaScript 和 Cookie 以继续。

## Vera：一种为LLM驱动编程设计的语言 Vera是一种新的编程语言，专门为大型语言模型（LLM）编写代码而设计。它编译为WebAssembly，旨在解决LLM在代码连贯性和可扩展性方面面临的挑战——特别是源于命名和维护不变式的问题。 与传统语言不同，Vera消除了变量名，而是使用结构化引用（@Int.0，@Int.1）。它*强制*使用显式契约（前置条件和后置条件）和效应声明，编译器会对这些进行静态验证，确保代码的正确性和可预测性。这种“可验证”的方法将重点从模型“正确”转移到“可验证”。 主要特性包括默认纯函数设计、代数效应用于管理副作用（如I/O和LLM调用）以及强大的类型系统。Vera提供详细且对模型友好的错误消息，引导LLM进行修复。 目前版本为v0.0.127，Vera包含一个参考编译器、全面的文档（SKILL.md针对LLM代理）和一个基准测试（VeraBench），展示了与Python和TypeScript相比，LLM在使用Vera时的竞争性能。它正在积极开发中，路线图侧重于构建用于经过验证的工具集成工具。

在《比特币杂志》活动中，蒂姆·德雷珀宣布比特币已进入金融主流，并以政府日益增长的接受度作为证据。他设想了一种分阶段的采用过程：美元到稳定币，然后到比特币作为最终的价值储存手段。 德雷珀是一位长期比特币投资者，曾经历过Mt. Gox的早期挫折，他强调了比特币的关键优势——摆脱政府控制和传统银行。他警告了法定货币的脆弱性，并分享了一张毫无价值的邦联纸币的故事，以此说明潜在的货币失败。他甚至从美国政府拍卖会上直接购买了比特币，相信它具有长期的优越性。 德雷珀预测，零售商最终将*只*接受比特币，这将引发将法定货币转换为BTC的浪潮，因为对国家货币的信任正在瓦解。他建议个人和政府至少持有相当于六个月消费的比特币作为保护，并表示“如果你不拥有比特币，就应该感到害怕”。他敦促与会者积极向家人、朋友和政府推广比特币的采用，相信比特币社区将带领世界走向新的货币标准。

## PowerOFF行动：深入剖析执法部门的网络陷阱 PowerOFF行动是由荷兰警方主导的大型国际行动，旨在打击DDoS租用服务。除了公开行动外，他们还部署了复杂的“蜜罐”——虚假的DDoS网站，以识别和阻止潜在攻击者。 其中一个网站，**Cyberzap**，经过精心设计，看起来非常逼真，包括搜索引擎优化，甚至还有虚假的活动图表。然而，一个关键的线索是它使用了荷兰主机提供商bit.nl。研究人员发现该网站记录了用户信息——包括IP地址和电子邮件——并以处理始终失败的付款为借口。 除了Cyberzap，该团队还运营着**Netcrashers**，一个更明显的陷阱，将访问者重定向到警方警告页面。该行动的目标不一定是进行大规模逮捕，而是要在网络犯罪社区中散布不信任感。通过让潜在买家质疑*任何*DDoS服务的真实性，他们旨在扰乱市场。 有趣的是，当研究人员开始调查Cyberzap时，该行动陷入恐慌，迅速下线了该网站。这凸显了对保密性的重视以及对审查的过度反应。尽管在这些精心设计的陷阱上投入了大量资金，但其总体影响仍然值得怀疑，一些努力更像是旨在恐吓潜在年轻罪犯的代价高昂的宣传。

有一瞬间，你似乎在试图窥探这个门罗币地址：47xmhbRuYpSYSrVZx2RsPBhaAQByZq3ucAT6ULxHvDAu8c853ErpLHqBdDmpVzcmWFdZFCWrfZYwp3rqs14zxXx95S7Fyv2No？嗯…看起来你确实在试图查看这个人的余额。门罗币说“不行”！

为应对劳动力短缺，这由劳动力萎缩和旅游业兴起所致，日本航空公司（JAL）将于今年五月起在东京羽田机场试用人形机器人。这些由Unitree开发、利用人工智能模拟训练的中国制造“G1”机器人，将协助地面工作人员处理行李和货物。 这项试验将持续到2028年，旨在减轻工人的体力负担并提高效率，但安全管理仍将由人工主导。这些高1.32米、重35公斤的机器人拥有出色的移动能力，具备23个自由度，使用3D激光雷达导航，并且单次充电可运行长达两小时。 此举反映了日本航空业对自动化更广泛的需求，因为传统机器人难以适应动态的机场环境。JAL希望将这些适应性强的人形机器人整合到现有基础设施中，分配给它们重复性任务，并建立更可持续的运营结构。

毕马威公司将退出联邦政府审计业务，原因是失去了价值6400万美元的重要美国陆军合同，该合同是其主要客户之一。此前，国防部长皮特·赫格塞斯一直在推动战争部（DoW）的财务问责制，该部门八年来尚未通过独立审计，并面临2028年合规期限。 陆军更换审计师是更广泛战略的一部分，旨在整合审计并简化流程，以减少浪费性支出。毕马威将重新部署其450名联邦审计人员到其他岗位，更加专注于咨询服务。 尽管安永公司继续审计空军、海军和海军陆战队（后者是唯一获得清洁审计意见的分支），但战争部认为这种新方法最终将实现完全的审计合规。尽管五角大楼监察长注意到了一些进展，但由于官僚机构对变革的抵制，挑战依然存在。

2026年4月29日，布伦特原油期货暴涨超过7%，达到每桶近120美元——这是自2022年6月以来未曾见过的水平——受地缘政治紧张局势加剧和供应收紧的推动。伊朗冲突的担忧以及美国持续的海上封锁正在加剧市场焦虑，同时阿联酋意外退出欧佩克也加剧了这一情况。 此外，美国库存数据显示，原油和燃料储备大幅下降，创纪录的出口量超过每天600万桶。这表明全球供应正在萎缩。过去一个月，布伦特油价上涨了近12%，按年上涨了近97%。预测显示，布伦特油价在本季度末将交易在每桶108美元左右，并在一年内可能达到121美元。

启用 JavaScript 和 Cookie 以继续。

布莱斯特琴（Blaster Beam）是一种独特的电子音乐乐器，由约翰·拉泽尔于20世纪70年代初发明，并由弗朗西斯科·卢皮卡和克雷格·赫胥黎等音乐家推广。它由一根金属梁组成，梁上串有电线并配备吉他拾音器，产生独特、深沉且常被形容为“阴森”的贝斯音色。 赫胥黎使用铝材改进了设计，并凭借其在《星际迷航：电影版》配乐中的标志性声音——特别是创造了V’ger的声音——使这种乐器声名鹊起。随后，它被用于许多科幻电影配乐，包括《星际迷航2：可汗之怒》、《星际争霸战》和《2010》，以及北岛康司等艺术家。 除了电影之外，布莱斯特琴在90年代因一场音乐会上的听觉刺激说法而声名狼藉，促使一家电台进行实验，但未产生类似结果。赫胥黎于1984年为其设计申请了专利，该乐器至今仍被用于创造超凡脱俗的声音，最近出现在熊·麦克里亚为《10克洛弗菲尔德巷》（2016年）创作的配乐中。

## Gooseworks 正在招聘创始增长工程师 Gooseworks，一家通过AI“同事”彻底改变增长的新公司，正在寻找创始增长工程师。这是一个实践性很强的工作，适合于精通Claude Code/OpenClaw/Hermes等AI工具，并对增长充满热情的工程师。 工作内容分为两部分，各占50%：**为客户构建和运营AI驱动的增长引擎**（外联、SEO、社交增长等），以及**研发**——将成功的引擎转化为Gooseworks平台的自助服务手册。Gooseworks提供一个用于管理AI团队的产品工作区，以及面向B2B初创企业的“增长即服务”方案。 理想的候选人是具有可衡量结果证明的创业者、高效率增长工程师或代理机构运营者。**精通使用Claude/OpenClaw/Hermes构建代理系统是*必需的*。** Gooseworks最近的成就包括发布了拥有付费客户的产品、数千次注册以及一个蓬勃发展的社区——这很大程度上得益于他们自己的AI同事Goose。他们现在正寻求规模化，需要有人帮助他们以及客户构建、迭代和自动化增长。

## 核能：从承诺到进展——巴克莱摘要 巴克莱报告称，核能行业正在走向成熟，从最初的热情转向实际的建设和交付。 受能源安全、脱碳目标以及不断增长的AI电力需求驱动，该行业正在经历重新燃起的热情——这体现在其核生态系统指数上涨了19%。 虽然核燃料循环仍然是需要投资的关键瓶颈，但各方面都可见进展。 监管改进，尤其是在许可方面，以及超级规模公司（Meta、微软、谷歌、亚马逊）的承诺正在增强信心和资金。 值得注意的是，燃料循环正在取得具体进展，美国和加拿大铀产量增加，同时能源部投资于浓缩。 然而，巴克莱强调了投资者关注点的转变：叙述不再足够；可证明的进展——交付的兆瓦数、许可的进展以及已签约的项目——现在至关重要。 最大的新兴障碍不是资本或供应链，而是*严重的人力短缺*。 数据中心和核电站之间对技术工人的竞争威胁着“核复兴”的速度，使劳动力发展成为扩大生产的关键。

## 模因币泡沫与市场现实 近期模因币（源于网络笑话的加密货币）的激增，表明市场已达到过度投机的顶峰。尽管目前受到牛市和容易获利的认知推动，但这些币缺乏基本价值，不产生任何收入，完全依赖于新投资者来支撑价格。 作者警告说，这种“可爱”的阶段将在不可避免的市场修正到来时突然结束。与成熟资产不同，模因币没有底线；重大的市场下跌将暴露其缺乏实质内容，导致流动性消失，价格迅速崩盘。它们本质上是动量陷阱，依赖于不断涌入的、越来越不计后果的买家。 尽管作者承认比特币和以太坊可能发挥作用，但强调加密货币仍然是一个高度投机的领域，而模因币代表了其最不稳定的极端。他们呼吁谨慎，指出任何仅基于未来买家希望的投资，都只是自愿成为“退出流动性”——当泡沫破裂时，留下拿着空包的人。

## Rust 查询构建器与侧连接 本文详细介绍了一种新的 Rust 数据库查询构建方法，它具有类型安全和可组合性，灵感来自 Haskell 库 Rel8。其核心思想利用 PostgreSQL（和其他数据库）中经常被忽视的 **侧连接 (lateral joins)**，从而创建更具表现力和灵活性的查询 DSL。 传统的查询构建器在组合方面存在困难——要么需要冗长的函数链，要么需要手动处理子查询。这种新方法使用侧连接来增量构建查询，将每个步骤视为一个 `CROSS JOIN LATERAL` 添加一个子查询。这避免了 ORM 关系抽象的陷阱和原始 SQL 生成的冗长性。 该库围绕 `Expr`（用于标量值）和 `Query`（用于完整选择）构建。其成功的关键在于一个复杂的类型系统，它利用生命周期和特征 (`Table`, `ForLifetimeTable`, `MapTable`) 来强制正确性，并实现不同数据表示形式之间的无缝转换（例如，从列名到表达式）。 这种设计允许进行表达性查询、类型安全，并保证即使在复杂的聚合和用户定义类型的情况下也能生成有效的 SQL。作者已经实现了一个 Rust 库 `rust-rel8`，它镜像了 Rel8 的功能，证明了这种方法的可行性和强大性。它提供了一个简洁、可组合的 API，同时保持了强大的编译时保证。

伊朗的货币里亚尔已跌至创纪录的180万兑1美元，原因是近期美以冲突和全球能源价格上涨。在一段通过停止进口维持的虚假稳定之后，里亚尔在过去两天内开始大幅下跌15%。 此次经济衰退与美国持续对伊朗港口实施强硬封锁（包括扣押船只）同时发生，这引发了德黑兰的威胁，如果“海盗行为”不停止，将采取“前所未有的军事行动”。尽管达成了一个脆弱的停火协议，华盛顿仍然加大了力度，实施了新的制裁，目标是伊朗的银行部门和加密货币持有量（超过3.4亿美元）。 美国财政部长贝森特此前曾承认，故意制造美元短缺以破坏伊朗货币稳定并煽动动乱，强调了美国采取经济施压的策略。局势正在升级，伊朗警告说，如果封锁持续，将采取“严厉报复”。

## Meta 2024年第一季度：强劲业绩被支出担忧笼罩 Meta Platforms报告了强劲的第一季度，营收和每股收益均超出预期。营收达到563.1亿美元（同比增长33%），主要得益于广告收入增长33%。每股收益达到10.44美元，受益于80.3亿美元的税收优惠。然而，财报发布后股价暴跌，原因是投资者担心资本支出（capex）不断增加。 虽然第二季度营收指引为580-610亿美元，符合预期，但Meta大幅提高了全年的资本支出预测至1250-1450亿美元——远超分析师的预测，原因是组件价格和数据中心成本上升。 这波投资激增，旨在用于人工智能基础设施，预计将导致2026年出现负自由现金流。 为了抵消这些成本，Meta正在实施削减成本的措施，包括裁员8000人并停止招聘6000个空缺职位。尽管如此，投资者对巨额投资没有立即带来营收回报感到担忧，导致Meta股价下跌6%，并抹去了年初至今的涨幅。该公司还面临与青少年心理健康诉讼相关的持续法律风险。

唐纳德·特朗普和弗拉基米尔·普京就乌克兰和波斯湾的冲突进行了长时间的电话会谈。 值得注意的是，普京提议在俄罗斯胜利日（5月9日）之际在乌克兰停火，特朗普据称对此表示赞同。 据俄罗斯助手称，两国领导人对乌克兰领导层持有相似的观点，并认为基辅在欧洲的支持下正在延长冲突。 这次通话由莫斯科发起，还涉及特朗普的缓和计划（“史诗般的愤怒行动”）以及围绕伊朗日益紧张的局势。 普京表示支持特朗普与伊朗的停火延长，警告如果军事行动恢复，将产生破坏性后果。 俄罗斯提议在涉及中东的外交努力中提供帮助，可能通过缓解制裁和提高油价从当前局势中获益。 虽然细节仍然匮乏，但这次对话预示着焦点可能会再次转向乌克兰，因为美国正在应对伊朗危机的复杂性。

启用 JavaScript 和 Cookie 以继续。

## 加州适得其反的气候政策 加州摆脱化石燃料的方式被描述为不合理且具有破坏性，优先考虑摧毁产业而非采取明智的分阶段方法。在积极立法限制其石油和天然气行业二十年来，加州并未促进可负担能源替代品的开发，反而导致对进口燃料的依赖增加——目前原油的75%和汽油的20%依赖进口。 最近的立法，如参议院法案982，体现了这一趋势，试图追究石油公司数十亿美元的“气候归因损害”责任，而无需证明过错。这被描述为合法敲诈勒索，忽视了未来几十年化石燃料的持续必要性。与此同时，监管障碍导致野火后的保险市场失灵，而责任却被错误地归咎于石油公司，而不是加州自身限制性林业政策加剧了火灾风险。 作者认为，加州的政策转移了对糟糕决策的责任，并重新分配财富，为其他面临类似气候诉讼的州树立了危险的先例。虽然SB 982暂时搁置，但从不受欢迎的行业榨取资金的压力依然存在，可能通过经济上不明智的“绿色”投资来实现。这体现了由气候极端主义驱动的对经济稳定和个人机会的更广泛的全国性威胁。

微软最近的财报最初令人印象深刻，第三季度营收和每股收益超出预期：828.9亿美元（预期814.6亿美元）和4.27美元（预期4.07美元），所有业务部门均超出预期，云业务表现强劲（545亿美元）。Azure增长虽然积极（不含汇率影响+39%），但符合预期，并未超出。 然而，积极势头在投资者仔细研究微软的资本支出后迅速消退。实际资本支出（319亿美元）大幅低于预期的352.9亿美元，引发了对人工智能基础设施部署速度的担忧，尽管该公司预计本财年将投资800亿美元。 这一差异导致股价在最初上涨后下跌3%。尽管首席执行官萨蒂亚·纳德拉对370亿美元的年度人工智能收入规模（同比增长123%）表示乐观，但市场对低于预期的资本支出反应负面。

Alphabet（谷歌母公司）第一季度财报远超预期，推动股价盘后上涨4%。营收达1100亿美元（同比增长22%），每股收益为5.11美元，远高于预测的2.63美元。 强劲的表现得益于云计算和互联网搜索广告的强劲增长——云计算销售额达到200亿美元，增长了63%，搜索广告为604亿美元。尽管今年在人工智能基础设施上的投资巨大（可能高达1850亿美元），但谷歌云的利润率正在迅速提高，订单积压激增至4600亿美元。 首席执行官桑达尔·皮查伊强调了创纪录的谷歌搜索查询量以及对其人工智能产品的强劲采用，包括Gemini应用程序，该应用程序贡献了3.5亿个付费订阅。Waymo也实现了每周50万次自动驾驶里程碑。虽然资本支出略低于预期，但市场关注点仍然是积极的收入和增长趋势。

亚马逊第一季度盈利超出大多数类别的预期，得益于AWS、在线商店和广告的强劲表现。收入达到1815.2亿美元，超出预期，AWS销售额达到375.9亿美元，尽管略低于乐观的“内部”预测。值得注意的是，AWS增长加速至28%，自2022年第二季度以来创下最快增速，且利润率有所改善。北美和国际利润率也显著提升。 然而，该报告并非没有问题。虽然总体结果积极，但自由现金流因资本支出大幅增加而骤降至12亿美元——本季度达到442亿美元，预计全年将达到2000亿美元，这主要是由人工智能基础设施投资推动的。这导致亚马逊债务翻倍至1190亿美元。 尽管对第二季度给出了积极的指引，预计收入在1940-1990亿美元之间，但股价最初下跌，凸显了投资者对维持增长所需的巨额资本支出的担忧，尤其是在竞争激烈的人工智能领域。

参议院少数党领袖查克·舒默正面临对其领导地位的潜在挑战，因为他倾向支持的候选人在关键的2024年参议院初选中表现不佳。尽管他试图在缅因州、密歇根州和艾奥瓦州等州清理竞争者，但进步派挑战者正在获得势头，并经常获得伊丽莎白·沃伦和伯尼·桑德斯等知名人士的背书，他们正在积极竞选反对舒默的候选人。 在缅因州，一位过去备受争议的候选人尽管多次陷入丑闻，仍然领先。密歇根州出现了一场激烈的三角竞争，而艾奥瓦州则有一位挑战者直接批评舒默的领导能力。这场进步派的推动不仅仅是关于候选人；捐助者也在绕过党委会，直接为挑战者提供资金，表达对舒默影响力的不满。 这些初选正成为对舒默领导能力的公投，预示着他对民主党团体的控制力可能减弱，并引发了人们对他带领该党在充满挑战的选举周期中赢得多数席位的能力的质疑。