Kyde 是一款专为 macOS、Linux 和 Windows 构建的快速、原生且专注于 Git 的代码编辑器。它旨在解决现代集成开发环境（IDE）性能臃肿的问题，利用 GPU 加速的 **gpui** 框架，即使在处理如 3.7 万行 JSON 等大型文件时，也能提供 120fps 的流畅体验。 主要功能包括： * **性能优先**：采用视口虚拟化和线程外高亮显示技术，确保低延迟和即时响应。 * **Git 集成**：内置并排对比（diff）视图，支持单词级高亮和直观的代码块暂存（hunk-staging）。 * **可定制性**：提供精致的深色主题，通过 tree-sitter 支持多种编程语言语法，并采用基于插件的架构。 * **开发者友好**：提供模糊文件搜索、草稿文件（scratch files）以及灵活的快捷键预设（VSCode/WebStorm）。 * **轻量级**：摒弃了 Electron 和沉重的依赖，使用模块化的 Cargo 特性来保持较小的二进制文件体积。 Kyde 完全从零构建，旨在为追求代码提交和对比体验的开发者提供快速的原生工具。目前虽然针对 macOS 进行了优化，但它也是跨平台的，并欢迎社区参与贡献，以改进对 Linux 和 Windows 的支持。

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC

尽管 Git 仍然是人类驱动、长期代码保存的金标准，但其创建者 Zach Geier 认为，版本控制系统需要进行现代化改造，以适应人工智能时代的需求。 经过多年的开发，Geier 推出了 **Oak**，这是一个专门为 AI 智能体（AI agents）设计的新型版本控制系统。与需要下载整个存储库的 Git 不同，Oak 利用“虚拟挂载”（virtual mounts）技术，使智能体和开发人员能够快速处理大型项目，而无需承担完整副本带来的开销。这不仅支持并行任务执行，还显著改善了 AI 的上下文管理能力。 尽管目前尚处于早期开发阶段，但 Oak 已经实现了自身代码库的托管。它基于开源核心构建并配有命令行界面（CLI），其中 `oak export` 功能确保了与 Git 的兼容性。虽然对 Windows 的支持和 CI 集成等功能仍在完善中，但 Geier 正在积极开发该平台，并邀请早期用户通过 Discord 加入社区。Oak 旨在将版本控制转化为一种更快捷、更高效的体验，突破传统工具的局限，以更好地适应现代自动化工作流的需求。

SpaceX 的股价较上周高点下跌了 25%。尽管有消息称其与英伟达支持的 AI 初创公司 Reflection 达成了一项重大合作，但股价仍进一步下跌了 9%。 根据协议，Reflection 将在 2029 年前每月向 SpaceX 的 AI 部门支付 1.5 亿美元，以获取高端英伟达 Grace Blackwell Ultra (GB300) 芯片的使用权。这笔交易不仅使 SpaceX 成为了一名 AI 开发商，还使其成为继此前与 Anthropic 达成类似协议后，为外部前沿实验室提供计算能力的商业供应商。 此次合作凸显了当前 AI 热潮的循环本质：英伟达向 Reflection 投资了 8 亿美元，而 Reflection 正将这些资金注入 SpaceX 以租赁基础设施。尽管这一新的收入来源证明了 SpaceX 在数据中心领域的巨额投资是合理的，但市场仍持怀疑态度。投资者依然担忧该公司发行投资级债券的决定，以及其内部 AI 模型需求疲软的可能性；此前，杨立昆（Yann LeCun）等批评人士曾指出，SpaceX 的 AI 模型在与 OpenAI 等行业领导者竞争时表现吃力。

国土安全部部长马克韦恩·马林（Markwayne Mullin）近日指控，伊朗官员曾试图将伊斯兰革命卫队（IRGC）成员安插进其世界杯足球代表团中，以此进入美国。 在接受福克斯新闻采访时，马林表示，在特朗普总统关于“极端审查”的指令下，政府对伊朗代表团进行了严格审查。尽管有53人获准入境，但马林称，另有许多人（包括一名被德黑兰方面认定为足协官员的人）在调查发现他们与被美国列为敌对组织的伊朗革命卫队有直接关联后，被拒绝登机。马林强调，鉴于伊朗政府的对抗性质，采取这些预防措施是必要的。 作为回应，伊朗伊斯兰共和国足球联合会（FFIRI）断然否认了这些指控，称马林的说法是“彻头彻尾的谎言”，并坚称从未发生过此类事件。

River 是一个为 Go 语言设计的高性能后台任务处理系统，旨在与 Postgres 无缝集成。通过将应用程序数据和任务队列存储在同一个数据库中，River 实现了事务性入队。这确保了只有在相关的数据库事务提交后才会处理任务，从而有效避免了分布式系统中常见的数据一致性问题。 主要特性包括： * **简单的定义**：任务由结构体对（实现 `JobArgs` 和 `Worker`）定义，并具有唯一的“kind”标识符。 * **灵活的客户端**：River 客户端负责管理任务插入、工作进程注册和维护。它支持跨多个队列的并发任务执行，并提供优雅的关闭机制。 * **事务完整性**：通过使用 `InsertTx`，开发者可以在单个事务中将业务逻辑与任务入队操作一并执行。 * **互操作性**：尽管 River 使用 Go 编写，但它支持跨语言的任务插入，允许非 Go 服务将性能敏感的任务委托给基于 Go 的工作进程。 得益于详尽的文档和配套的 UI 界面，River 为基于 Postgres 的 Go 应用程序提供了一套稳健且可靠的后台任务管理方案。

请启用 JavaScript 并关闭所有广告拦截器。

**Ponytrail** 是一款 CLI 工具和 Agent 技能，旨在追踪文件变更原因、可视化修改历史并将文件恢复至先前状态。它会在隐藏的 `.pony-trail/` 目录（建议将其从 Git 中排除）内维护一个本地历史树。 **主要功能：** * **快照追踪：** 记录文件状态的快照，包括所执行的操作、摘要及回滚详情。 * **Agent 集成：** 可轻松作为 Agent 技能安装（通过 `npx` 或 `bunx`），以追踪 Claude 或 Copilot 等 AI 工具所执行的操作。 * **版本回退：** 允许将文件恢复至之前的快照。用户可以使用 `--dry-run` 在应用变更前进行预览。该工具能安全处理文件删除，并确保在修改项目前获得人工确认。 * **可审计性：** 提供人类可读（`--details`）和机器可读（`--json`）两种格式的详细历史日志。 通过在本地管理状态，Ponytrail 为你的项目开发工作流提供了一个可靠的“撤销”按钮。

微软已与雪佛龙签署了一项为期 20 年的协议，旨在德克萨斯州西部开发“基尔比项目”（Project Kilby），这是一个专注于人工智能的大型数据中心园区。该设施预计于 2028 年投入运营，将由一座由二叠纪盆地天然气驱动的 2.67 吉瓦专用发电厂提供动力。通过使用通用电气 Vernova 涡轮机自行发电，该项目避免了对当地电网造成压力。 这项耗资约 70 亿美元的投资凸显了一种战略转变：科技巨头不再仅仅依赖公用事业公司，而是越来越多地直接与能源生产商合作以获取可靠电力。对于人工智能竞争力而言，这种电力保障正变得与芯片获取同等重要。这一趋势的推动力在于微软计划在两年内将其数据中心规模扩大一倍。 虽然该项目为丰富的天然气资源提供了有效的利用途径，但也反映了人工智能热潮所带来的巨大能源需求；预计到 2030 年，美国数据中心容量将翻一番，达到 77 吉瓦。这一模式突显了人工智能基础设施的快速扩张、电网可靠性与长期脱碳目标之间日益加剧的矛盾。

唐纳德·特朗普总统宣布，在林肯纪念堂倒影池遭到严重破坏后，将立即对其展开修复工作。该倒影池作为“让哥伦比亚特区安全且美丽”倡议的一部分，近期刚完成包括重新涂刷蓝色油漆在内的翻新工程，但目前已出现藻类滋生和结构损坏的问题。 特朗普报告称，蓄意破坏者造成了严重损害，包括池体外立面出现了一条250英尺长的裂缝，并涉嫌使用腐蚀性化学品诱发藻类生长。总统将该地点描述为“遭到严重破坏”，并确认当局已就相关损坏逮捕了多名嫌疑人。 美国联邦检察官珍妮·皮罗强调，政府正将这些行为视为严重刑事犯罪进行处理。她警告称，责任人将受到法律的最严厉制裁，并指出恢复国家广场的原貌仍是政府的首要任务。尽管修复工作可能需要排干池水，但官员们预计该地点很快就能完全恢复。

虽然增加粒度通常与高效和灵活挂钩，但这并非没有代价。在战略系统中过度追求粒度，可能会产生意想不到的脆弱性，导致用户利用优先级规则进行博弈，从而损害平台的既定目标。 作者通过两个例子说明了这一点： * **金融市场：** 当“报价跳动单位”（最小价格增量）相对于买卖价差过小时，流动性提供者会因为其他交易者可以轻易以微小差价“插队”而失去积极报价的动力。这反而降低了市场效率。 * **预订系统：** 通过允许 1 小时的会话被重叠的 30 分钟时段预订，预订平台无意中制造了“无法预订”的间隙。精明的用户可以利用这些间隙获取免费的场地时间，或者利用“滚动锁定”来垄断优质时段，实质上将预订过程变成了一场偏袒投机者而非普通用户的游戏。 结论是，粒度增加了用户可用的“操作”数量。虽然这可以增强功能性，但设计者必须谨慎，因为更多的选择可能会为战略型参与者提供绕过规则的工具，最终导致公平性和盈利能力的下降。

为了解决大规模基础模型在图像修复任务中高昂的计算成本，研究人员推出了 **Moebius**，这是一个高效且轻量级的框架。虽然通常的深度压缩往往会降低模型性能，但 Moebius 通过两项关键创新克服了这一“表征瓶颈”。 首先，它采用了 **局部-λ 混合交互（LλMI）模块**。该模块重构了扩散主干网络，将空间和语义数据总结为紧凑的线性矩阵，在保持复杂潜在交互的同时大幅减少了参数量。其次，它采用了一种**自适应多粒度蒸馏策略**，通过在潜在空间内全流程运行来对齐高保真输出，从而避免了代价高昂的像素级解码过程。 实验结果表明，Moebius 的性能足以媲美甚至超越拥有 119 亿参数的工业级模型 FLUX.1-Fill-Dev。通过仅使用不到 2% 的参数（0.22B）并实现 15 倍的推理速度提升，Moebius 为高效、高质量的图像修复确立了新的基准。

请求被拦截。 20260622T150249Z-17dd6878b64546gshC1JKT9vx00000000qa0000000006bhk

以下是内容摘要： Claude Code 用户需注意，本地记录的“思考区块”并非模型实际的推理过程。它们实际上是作为占位符的加密签名。由于加密密钥由 Anthropic 持有，API 仅返回模型逻辑的高级摘要，而非完整的执行轨迹。目前，获取原始且完整的推理输出需要企业级协议。 对于依赖这些日志进行审计追踪的用户而言，这引发了严重的透明度问题。由于本地日志仅是经过信息丢失处理的摘要，而非底层的决策数据，用户无法独立验证或重构其智能体所采用的具体逻辑。作者对 Anthropic 的间接文档表达了不满，指出这种行为往往被刻意模糊处理。对于需要智能体行为可验证、透明日志的开发者而言，目前的 Claude Code 本地文件尚不足以满足需求，这也凸显了对更透明的开源替代方案日益增长的迫切性。

本周经济焦点集中在周二公布的全球PMI初值，以及周四发布的美国核心PCE报告，预计该报告将显示持续的通胀压力。 在美联储发布鹰派会议纪要后，德意志银行目前预测今年将加息两次（每次25个基点），而美国银行则预测2026年将加息三次。市场高度关注美联储官员（包括威廉姆斯、古尔斯比和沃勒）的表态，以评估央行的紧缩路径。美联储还将于周三发布银行压力测试结果。 在欧洲，关键指标包括德国Ifo商业景气指数和欧洲央行消费者预期调查。在亚洲，日本东京CPI和澳大利亚5月通胀报告是主要数据亮点。此外，随着基尔·斯塔默的辞职，英国正面临政治不确定性。 本周企业财报数量有限但意义重大，投资者密切关注美光科技。该公司显著的同比增速已使其成为宏观环境的风向标。总体而言，投资者正在权衡央行更为鹰派的前景展望，与即将公布的决定全球通胀是降温还是持续的关键数据之间的平衡。

当前的金融市场呈现出股市表现韧性与债市态度谨慎相脱节的特征，投资者正努力应对滞胀压力。受中东地缘政治紧张局势引发的能源市场波动影响，全球增长正因负面供给冲击而受阻。 各国央行的应对政策正出现分歧：美联储因通胀持续存在而暂停了宽松步伐；而欧洲央行则为应对能源驱动的价格上涨，重新开始收紧货币政策。尽管美伊在瑞士进行的会谈为稳定霍尔木兹海峡的航运路线带来了一线希望，但专家警告称，能源流动的任何恢复都将是渐进的。 得益于强劲的人工智能相关盈利，股市仍徘徊在历史高点附近，但债券市场却在释放利率将长期维持限制性水平的信号。这种背离表明，市场尚未在通胀风险与增长前景之间达成一致。此外，英国首相基尔·斯塔默的意外辞职进一步加剧了全球政治的不稳定性。归根结底，市场维持当前估值的能力取决于未来的能源价格、通胀的持续性以及全球经济增长的韧性。

NVIDIA Halos 是一套全面的全栈式安全系统，旨在确保自动驾驶汽车（AV）的开发与部署安全。通过整合硬件、人工智能模型、软件及各类工具，该系统为车辆的全生命周期——从云端训练到实际道路运行——提供了端到端的安全保障。 该系统集成了三大核心平台：用于模型训练的 NVIDIA DGX、用于仿真的 Omniverse 和 Cosmos，以及用于车端部署的 DRIVE AGX。这些平台由 NVIDIA Halos OS 串联，作为实现量产级安全和人工智能可解释性的统一基础。 除了满足自动驾驶汽车的监管标准外，NVIDIA Halos 还通过其专门的“人工智能系统检测实验室”（AI Systems Inspection Lab）促进严格的验证工作。通过将安全性和可靠性嵌入智能机器的架构框架中，该系统目前正扩展至机器人及其他自主应用领域，以提升其安全性。

头条新闻：为您热衷于挑战难题的大脑每天提供锻炼。免费畅玩数独、杀手数独、算独、加法数独、涟漪、数织等多种游戏，无广告，无需订阅。每天精选一款不同游戏。

Intel 8087 浮点协处理器于 1980 年发布，是一款革命性的芯片。它将数学运算速度提升了高达 100 倍，极大地造福了科学与工程软件。在 8087 出现之前，浮点计算不仅缓慢、依赖软件实现，且缺乏统一标准。Intel 与数值分析专家 William Kahan 的合作促成了 IEEE 754 标准的诞生，该标准至今仍是现代浮点运算的基石。 8087 是 20 世纪 80 年代工程学的杰作，包含 4 万个晶体管。其架构的一个关键组件是高速“桶形移位器”（barrel shifter），它使芯片能够在单步内将二进制数移动最多 63 位。作者对芯片核心的显微分析显示，该设计采用了复杂的两级结构（位移位器和字节移位器），并利用双向传输门逻辑最大限度地提高了效率。 通过将超越函数和归一化等复杂任务从主 CPU 中分担出来，8087 为高性能计算树立了先例。它的成功证明了专用浮点硬件的价值，并最终促使这些单元直接集成到现代微处理器中，从而使独立的协处理器成为历史。

互联网强制“年龄验证”的推行，实则是一场旨在实现永久性、普遍性身份追踪的骗局。这些系统打着保护儿童的旗号，实则要求所有用户提交政府身份证件或生物识别面部扫描，从而建立起一个庞大且脆弱的个人数据注册库。 事实上，这些工具不仅毫无成效——青少年可以轻易绕过——而且还成功建立了一个危险的、集中式的用户真实身份数据库。这种基础设施构成了严重风险：这些包含生物识别数据的“蜜罐”不可避免地会成为黑客攻击和未来政府监控的目标。将现实身份与在线活动绑定，意味着我们正面临数字匿名性丧失、审查制度加剧，以及无法逆转的身份盗用风险。 作者认为，这些系统的运作完全依赖于用户的配合。由于这些平台需要大量受众来获取收益，瓦解这种监控最有效的方法就是广泛抵制。我们必须拒绝为了访问在线空间而牺牲隐私的行为常态化。通过拒绝上传身份证件或面部扫描，我们可以让这些系统失去其生存所必需的参与度。拒绝配合，保护你的身份。

作者已向 Zig 软件基金会（ZSF）追加捐赠 40 万美元，使其总资助额达到 70 万美元。此举彰显了作者对 Zig 在技术进展、质量承诺及独特的社区理念方面的高度推崇。 尽管作者明确表示不认同 ZSF 严格的反大模型（LLM）政策——并指出自己也在广泛使用人工智能，但他强调，开源项目应拥有自主设定文化边界的权利。他呼吁在网络讨论中多一份同理心，少一些宗派主义，并指出即便意见相左，依然可以认可一个项目的独立性与雄心。 Zig 对作者个人工作（特别是 Ghostty 的开发）所产生的影响，是此次资助的主要动力。归根结底，作者认为 Zig 是一门卓越、实用且严谨的语言，值得社区支持，无论其具体政策是否与每位用户的个人观点完全一致。他鼓励其他人考虑捐款，以帮助该基金会继续开展工作。

彭博社 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 要继续访问，请点击下方方框以确认您不是机器人。 为什么会这样？ 请确保您的浏览器已启用 JavaScript 和 Cookie，且未阻止其加载。 欲了解更多信息，请查阅我们的服务条款和 Cookie 政策。 需要帮助？ 如有关于此消息的疑问，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID：4dffafb9-6e43-11f1-82e1-723b3c787527 订阅 Bloomberg.com，随时随地获取最重要的全球市场资讯。 立即订阅

研究表明，为人父会引发显著的神经系统变化，这一发现挑战了“大脑的育儿适应性仅限于分娩母亲”的传统观念。研究显示，新手父亲的大脑会经历“大脑修剪”——即灰质减少，这很可能提高了照顾婴儿的效率；同时，与共情和奖赏相关的神经网络也会被激活。这些神经层面的转变是由实际的照护经历所驱动的，而不仅仅是受怀孕等生物学过程的影响。 尽管发生了这些变化，父亲在心理健康方面面临的挑战却常被忽视。大约十分之一的男性会经历父亲产后抑郁或焦虑，其症状通常表现为易怒、愤怒或药物滥用，而非典型的抑郁表现。与母亲在产后会定期接受心理筛查不同，父亲缺乏经过验证的筛查工具，且支持网络往往较小。此外，父亲心理健康问题的峰值通常出现在产后三到六个月，这正好与照护需求增加的时间点相吻合。专家认为，现有的支持系统必须从“以母亲为中心”的模式，演变为涵盖所有照顾者的包容性体系，以正视并满足所有照顾者的心理健康需求及不断变化的职责。

请启用 JavaScript 和 Cookie 以继续。

中国宣布对美国采取新的报复措施，以回应五角大楼近期扩大中国军事黑名单的行为。北京将10家美国公司列入出口管制清单，禁止其获取两用物项。值得注意的是，该名单包括稀土领域的主要企业MP Materials和美国稀土公司（USA Rare Earth），这表明中国意在利用其在关键矿产供应链中的主导地位。此外，中国还禁止46家美国公司参与政府招标。 此前，美国将阿里巴巴和百度等多家中国科技巨头列为具有军事背景的实体。分析人士认为，中方的这些举措是一种“警告性投球”，即北京试图为即将到来的外交谈判（包括习近平主席预计在9月对美国的访问）筹集筹码。虽然专家指出这些报复行动不太可能完全破坏双边关系，但他们警告称，持续的升级可能会引发“恶性循环”的制裁，为未来的稳定与贸易合作带来不确定性。

苏格兰法院近日裁定，将跨性别生理男性安置在女子监狱中属于违法行为，这与英国目前的法律共识一致，即女性的定义基于出生时的生理性别。此前，曾因强奸罪被判入狱的伊斯拉·布赖森（Isla Bryson）最初被安置在女子监狱，此事引发了公众的强烈抗议，法院随后做出了上述裁决。 作家乔纳森·特利（Jonathan Turley）指出，司法层面的这一转变与苏格兰对“仇恨犯罪”法律的严格执行形成了讽刺的对比；苏格兰政府此前甚至威胁要逮捕那些批评跨性别政策的人士，例如J.K.罗琳。这导致了国家对言论的定罪与司法机构对生物学现实的承认之间出现了脱节。 在美国，这一问题依然存在严重分歧，各州对于监狱安置应基于性别认同还是生理性别各执一词。随着美国最高法院即将就体育运动中的生理性别要求作出关键裁决（即 *Little v. Hecox* 和 *West Virginia v. B.P.J.* 两案），关于生物学、政策与言论自由之间交叉点的全球辩论仍在持续升温。

一位针对 GNU/Linux 系统测评数位板的内容创作者，一直在努力弥合硬件品牌与开源社区之间的隔阂。为了改善 Linux 的支持情况，该创作者曾尝试促成 Gaomon/Huion 等品牌与负责 `udev-hid-bpf` 的 Red Hat 开发者进行直接合作。 尽管起初与技术人员取得了联系，但这项努力最终遭到了品牌营销部门的拒绝。拒绝的原因在于开源基础设施本身：Linux 关键的数位板代码库（如 `libwacom`）带有明显的 Wacom（行业最大竞争对手）品牌印记。硬件公司不愿将产品规格贡献给一个看似属于其竞争对手的基础设施。 该创作者感叹，这种关于项目命名的“糟糕设计决策”阻碍了 Linux 的广泛兼容性。因此，创作者决定放弃促成企业合作的策略，转而回归此前那种耗时费力的老方法：手动记录每款数位板的规格，并依靠志愿开发者的慷慨支持。尽管该创作者仍致力于推广自由开源软件，但他们指出，如果社区无法跟上驱动开发的步伐，他们最终可能被迫彻底停止对这些硬件的测评。

Chrome 的 `window.showDirectoryPicker()` API 正在改变基于浏览器的应用程序，它允许网站直接在用户的本地计算机上读写文件。这种“本地优先”的方法使强大的工具（如照片管理器和基于节点的合成器）能够在浏览器中运行，同时将数据安全地存储在用户的文件系统中，而非云端服务器上。 作者通过使用 Claude 生成复杂的原型展示了这一潜力，包括受 Aperture 启发的照片管理器和 Shake 风格的合成应用程序，整个过程无需手动编码。通过将基于浏览器的 UI 灵活性与本地存储相结合，开发者可以创建精密的创意套件（如视频或照片编辑器），在提供桌面软件强大功能的同时，兼具 Web 的易用性。这一转变预示着一个充满希望的未来：高性能创意工具将在本地运行，赋予用户对其数据的完全所有权和控制权。

在历史上绝大部分时间里，书写只有两种停顿：逗号用于短促的换气，句号用于结束。到了1496年，威尼斯的一位印刷匠创造了第三种停顿：分号。它将两个完整的思想连接起来，且不中断其中任何一个。其他的标点符号历经数个世纪缓慢演变，才逐渐形成了我们今天所熟知的样子。而分号在1496年出自一位印刷匠之手时，便已完全定型。 各标点符号的出现时间： · 句号（.）：约公元前200年 · 问号（?）：约公元800年代 · 感叹号（!）：约公元1360年代 · 分号（;）：1496年 · 破折号（—）：约公元1750年代

全球市场本周开局平淡，投资者在消化地缘政治动态的同时，正等待美国关键经济数据。标普500指数期货小幅走低，而半导体股继续领跑市场，推动了由人工智能驱动的全面反弹，使得亚洲股指和费城半导体指数双双创下历史新高。 在美伊于瑞士举行会谈后，地缘政治紧张局势有所缓解，两国建立了黎巴嫩冲突降级机制，并制定了在60天内达成最终协议的路线图。这一进展导致油价回落。与此同时，随着英国首相基尔·斯塔默辞职，英国市场成为关注焦点，预计到9月将有序过渡到新的工党领导人。 投资者目前的目光转向相对平静的宏观日程，重点转为关注美联储理事沃勒及其他官员的评论，以及周四发布的美联储首选通胀指标——PCE物价指数。企业消息方面，并购活动依然活跃，包括艾伯维（AbbVie）以109亿美元收购Apogee Therapeutics的报价，市场也对美光科技即将发布的财报充满期待。由于市场继续重新评估美联储更趋鹰派的政策路径，债券收益率小幅走高。