请启用 JavaScript 和 Cookie 以继续。

包括雪佛龙、壳牌和埃克森美孚在内的各大石油公司近日公布了巨额季度收益，总计每日利润约达4.04亿美元。受全球供应中断（特别是中东冲突和对俄罗斯炼油厂的袭击）的影响，原油和燃料价格飙升，推动了这些收益的增长。 尽管这些创纪录的利润引起了美国和欧洲政界人士的愤怒，并引发了征收暴利税以支持困境中消费者的呼声，但行业领袖强烈反对这些措施。高管们认为，此类税收是对成功的惩罚，会阻碍投资，并指出当前的市场波动很可能是暂时的。 尽管近期获得了财务红利，这些能源巨头仍持谨慎态度。各大公司并未积极扩大短期钻探项目以满足当前需求，而是优先考虑削减债务和实现长期的稳健增长。高管们认为，全球对能源的依赖最终将迫使供应趋于稳定，从而使当前极度盈利的时期成为一种不可持续的异常现象。

2026 年 7 月下旬，在一项由人工智能辅助的、成功绕过类型检查的考拉兹猜想（Collatz conjecture）“反证”被发现后，Lean 内核中的一个健全性漏洞随之浮出水面。该漏洞位于嵌套归纳类型的处理逻辑中，允许在通过直接元编程访问时构造出 `False` 的证明。 Lean 基金会（FRO）在收到报告后一小时内解决了该问题，随后加强了内核不变量并增加了新的回归测试。由于该漏洞仅限于直接与内核交互（绕过了前端细化器），因此这属于实现层面的错误，而非 Lean 元理论的失效。 值得注意的是，一个独立的基于 Rust 的内核 `nanoda` 同时也存在一个偶然的独立漏洞，使得该恶意项得以提前通过；目前两者均已修复。此次事件凸显了独立内核验证的重要性。为此，FRO 已聘请网络安全专家对内核进行审计，识别并修补了其他小型漏洞，同时更新了诸如 `nanoda` 等外部验证工具，以确保其与 Lean 官方实现保持同步。FRO 坚持认为，限制元编程并非可行的解决方案，因为内核必须始终作为证明有效性的最终且独立的权威。

尚未激活。每一个字典词汇的域名在几十年前就已被抢注。因此，我们在实验室中缝合新的躯体：真正的词汇，在接缝处切开，嫁接到来自 150 个国家代码和 58 个通用顶级域名的供体肢体上，并针对注册局本身进行验证。下方的样本尚无生气。在别人动手之前拉下开关吧。带上你自己的词汇，我们会找到缝合点。 + + + + + + + + + + + + “注册局内毫无生气”并不代表购买保证：一些国家域名设有居住权规定或最小长度限制，可能适用溢价定价，且其他人可能会比你更快拉下开关。注册商链接为联盟营销链接：如果你通过其中一个链接激活了样本，实验室可能会获得少量佣金。由 Klaus Breyer 缝合。

NetBSD 项目已正式发布 NetBSD 11.0。建议用户在通过 CDN 下载镜像前查阅发行说明和架构安装指南。ARM 用户请使用预配置的 U-Boot 镜像。 为避免进一步延误，团队采取了透明化的方针，尽管仍存在一些已知的未解决安全问题，但仍决定发布 11.0 版本。这一决定源于 AI 工具所识别出的漏洞数量日益增加，使得在发布前达到完美变得不再可能。项目组已简化了构建和分发流程，尽管人工安全验证仍是一个必要的瓶颈。 现有的未解决安全合并请求将很快提交至稳定分支，预计 NetBSD 11.1 将在未来两个月内发布。鼓励遇到问题的用户通过项目的邮件列表或问题报告系统反馈。

中东局势依然紧绷，美国正在考虑对伊朗采取重大军事打击。尽管特朗普总统誓言要对伊朗进行“沉重”打击，以迫使其重返谈判桌，但美军昨夜并未采取任何行动。周六，科威特报告称伊朗对其“重要设施”发动了无人机袭击，并被科威特军队成功拦截，局势进一步升级。 在不确定性加剧的情况下，美国国务院发布了紧急旅行警告，建议美国公民考虑撤离该地区，以防局势进一步恶化。多家航空公司延长了航班取消期限。有报道称，美国和以色列可能计划在周一全球市场开盘前，对伊朗能源基础设施发动大规模轰炸。 特朗普总统表达了强烈不满，称伊朗领导人“不讲信用”，并排除了近期进行外交会谈的可能性。尽管美国官员努力避免陷入“无休止的战争”，但人们仍担心局势正陷入复杂的泥潭。与此同时，一些分析人士认为，德黑兰方面可能在采取拖延战术，押注美国国内的政治反对声音最终会迫使美方放弃军事行动。

宝马因在其高端车型仪表盘中植入促销广告而受到批评。近日，有车主反馈称，在启动车辆时收到了电影《蜘蛛侠》的推广弹窗通知。尽管宝马将这些“节日动画”描述为给驾驶者提供的独家增值惊喜，但批评者认为，这是企业广告对私人空间的令人不安的侵入。 作者认为，支付高昂价格购买车辆，车主理应享有免受无休止营销轰炸的避风港。宝马将原本用于导航和显示车辆信息的仪表盘作为广告平台，是将客户视为“受众俘虏”而非车辆所有者。文章将此举与宝马此前备受争议的订阅制功能尝试相提并论，指出这破坏了汽车制造商与消费者之间的契约。最终，作者将此视为晚期资本主义的一种症状，并建议消费者应抵制该品牌，直到其停止将驾驶者的注意力货币化。

伟大的公司——对我们的数据有着更大的胃口？！ ·监控将是我们未来必须面对的主要问题。 ·每个人——直到现在还更多地被视为公民，民主与（或多或少和谐的）共存正是建立在他们的肩上——却正日益被仅仅视为嫌疑人、潜在的罪犯、极端分子或恐怖分子，必须在每一个转折点都被全面监控！ ·如果你想要隐私，或许还能在封闭式社区中“享受”它——这被视为富人专属的特权。 ·也许我们应该彻底开始为这个时代书写一本新书——我建议书名为《2099》。 ·由一群“长成”的作者和人工智能模型共同撰写，他们感到肩负这一使命，旨在安葬我们的旧世界。⚰️ ·未来，我们想要生活在什么样的世界里？

Google 的 BeyondCorp 通过以身份和设备验证取代基于边界的网络信任，彻底改变了安全领域。如今，Google 推出了“Beyond Zero”，这是一种旨在应对人工智能时代独特挑战的后续架构。 虽然 BeyondCorp 有效地授权用户访问整个应用程序，但现代人工智能代理以“软件速度”运行，这使得传统的基于会话的权限变得过于宽泛，存在风险。Beyond Zero 将授权方式从“谁可以访问此系统”转变为“此实体可以在此特定记录上执行什么具体操作”。 至关重要的是，Beyond Zero 将人工智能整合为三个角色：劳动力（代理）、攻击者（恶意自动化）和防御者（自主安全运营）。尽管系统严重依赖人工智能进行实时风险预警和遏制，但它仍保持了一个静态且可验证的策略核心。这种设计确保了安全决策的可审计性——这是欧盟《人工智能法案》等监管合规的必要条件。 随着人工智能代理的普及，当前广泛的访问模型将变得难以为继。各组织应将 Beyond Zero 视为保障未来人工智能驱动环境安全的蓝图，并从审查当前授予内部代理试点项目的过度权限开始。

澳洲航空首架空中客车 A350-1000ULR（生产序列号 MSN 707）已在法国图卢兹成功完成首飞。此次测试飞行历时 3 小时 43 分钟，标志着为期两个月的认证工作的开始，重点将测试该机型的专用燃油系统（包含一个额外的后中央油箱）以及全新的高效厨房冷却技术。 A350-1000ULR 是专为澳洲航空的“日出计划”（Project Sunrise）而研发的，旨在实现悉尼至纽约和伦敦之间的前所未有的商业直飞航线，航程近 10,000 海里，飞行时间长达 22 小时。这种超远程飞行能力得益于结构上的增强，使飞机的航程增加了 1,000 海里。 完成认证后，MSN 707 将进行改装，以符合澳洲航空的商业规格。澳洲航空已订购了 12 架此类特制飞机，首架交付计划于 2027 年 4 月进行。这一进展是长途航空业的一个重要里程碑，旨在连接全球最后几个尚待开发的直飞航线市场。

**Toast** 是一款现代化的终端开发环境，专为那些希望拥有强大编辑器功能，却又不想像使用 Neovim 或 Emacs 那样进行繁琐配置的用户而设计。它提供了一种“开箱即用”的体验，内置了 LSP、文件树、多标签页以及主题支持。 主要功能包括： * **即用型工具：** 集成语言服务器（Go、Rust、Python、JS/TS、Markdown）、Tree-sitter 语法高亮和拼写检查。 * **核心功能：** 全项目搜索（通过 `rg`）、文件查找、Markdown 预览以及支持 Git 的文件管理。 * **高度可配置：** 用户可以通过 JSON 配置文件轻松自定义快捷键、编辑器行为和主题（包括导入 VSCode 主题）。 Toast 使用 Go 语言编写，目前处于开发初期。macOS 用户可通过 Homebrew 或从 GitHub 安装二进制文件来使用。无论是代码导航、标签页管理还是配置自定义 LSP，Toast 都旨在保持您的工作流程高效，并完全在终端内完成。 *注：作为早期阶段的项目，用户可能会遇到 Bug。*

我正在让 AI 向我解释第 3 点，它看起来确实非常重要，甚至有可能被收录进大学一年级的代数教材中。入门代数似乎避开了关于可数群或有限群的最优美的近代定理，因为它们涉及令人困惑的理论工具。

作者分享了对 Claude (Opus 5) 近期更新的失望，指出其体验已从过往版本中那种有益、专业的风格，转变为令人沮丧且“粗鲁”的人格。 尽管作者起初非常看重 Claude 提供的可用代码和简洁文风，但他们发现最新版本变得越来越简慢，且容易使用令人困惑的比喻。更重要的是，在处理知识型工作时，该模型的语气变得刻薄。作者列举了 Claude 讽刺其工作流程并侮辱其草稿内容，将其标记为“博眼球内容”的案例。 作者认为，当 AI 被每天使用数小时时，其人格特质就成了用户体验的关键组成部分。他们总结道，编码能力的边际提升不足以抵消与不愉快的交互界面打交道所带来的情绪损耗，这促使他们转而使用态度更中立、礼貌的 ChatGPT。

**Kaisel** 是一个为 Flutter 设计的 Dart 3 原生路由库，它将导航视为纯数据，而非基于字符串的路径。通过使用密封类（sealed classes）和穷举式 switch 语句，Kaisel 确保了编译时的安全性，从而消除了运行时的“未知路由”错误。 主要功能包括： * **零代码生成**：无需 `build_runner` 或复杂的配置；路由直接定义为标准的 Dart 类。 * **基于列表的导航**：导航栈被视为路由对象的简单 `List`，使其易于测试和恢复，且无需依赖组件树。 * **统一观察**：通过单一的 `NavigatorObserver` 跟踪所有导航事件，包括自适应更改和标签页切换。 * **简洁性**：通过避免魔法字符串和外部依赖，提供了直接且类型安全的开发体验。 Kaisel 为现有路由库提供了一种精简的替代方案，在支持深度链接、模态流程和自适应布局等复杂模式的同时，保持了完整的类型安全。

今天，我推出了 I ♥ RSS，这是一个专为 RSS 爱好者打造的目录。我已经将徽章添加到我的页脚，并把我的网站提交到了该目录。它的首页还展示了一个精美的实时博客列表（由 FeedLand 提供支持）。如果你也像我一样热爱 RSS，不妨去看看并添加你自己的网站。发布于 2026 年 7 月 30 日。

尽管许多美国人担心人工智能会取代工人，但肯·巴克（Ken Buck）认为，对美国经济更真实、更紧迫的威胁是不断飙升的国家债务。 巴克主张，联邦债务会产生“挤出效应”，即政府借款会分流本应用于私人投资的资本，从而抑制就业增长和工资增长。他援引安永会计师事务所（Ernst & Young）和国会预算办公室的数据警告称，预计未来几十年内，不断增加的债务将导致数百万人失业，并显著降低收入增长。此外，巨额的债务利息支出推高了消费者的借贷成本，进一步加剧了支付能力危机。 年轻一代受这些因素的影响尤为严重，他们面临着工资停滞、贷款成本增加，以及社会安全网未来不确定等问题。巴克总结道，虽然人工智能带来的经济变革是一个值得关注的问题，但政府的鲁莽支出才是“房间里的大象”。他呼吁政界拿出勇气遏制赤字支出，并断言私营企业——而非政府干预——才是创造财富和实现长期经济稳定的唯一可持续动力。

本研究通过在 Intel Xeon E-2236 上使用 `gcc -ffixed-<reg>` 逐步限制寄存器资源，探讨了寄存器压力对九个 C 语言内核性能的影响。 **主要发现：** * **性能影响：** 在寄存器资源最紧张的情况下，九个内核中有八个的性能下降了 14% 至 76%。SipHash-2-4 未受影响，这表明寄存器压力在很大程度上取决于内核特性。 * **可预测性：** 静态溢出计数对运行时间成本的预测能力较弱（皮尔逊相关系数 r = 0.55）。每次溢出的代价差异可达 30 倍，因为处于关键路径之外的溢出通常会被驻留在 L1 缓存的栈和乱序执行机制所掩盖。 * **寄存器文件特异性：** 性能下降与内核所使用的特定寄存器文件（通用寄存器或 XMM 寄存器）相关。然而，编译器行为（如自动向量化）可能会导致原本看似无关的寄存器文件中出现意外的溢出增加。 * **历史背景：** 尽管现代乱序执行 CPU 掩盖了大部分寄存器溢出的代价，但早期的顺序执行硬件对于循环密集型代码可能会遭受更严重的性能损失。 本研究结论认为，即使在单一架构和编译器内，寄存器分配和溢出的代价也非常微妙，且并非简单的单调关系。

参议院司法委员会主席查克·格拉斯利（Chuck Grassley）及其他15名共和党议员已要求威瑞森（Verizon）解释其为何未披露与特别检察官杰克·史密斯（Jack Smith）“北极霜”调查相关的一份2023年大陪审团传票。该传票针对参议院的电话记录（包括参议院军士长的线路），但威瑞森在回复国会质询时遗漏了该信息，公司随后将其归咎于“人为失误”。 议员们质疑此次遗漏究竟是失误，还是蓄意不通知国会，特别是考虑到威瑞森在合同上有义务就参议院设备的传票通知参议院军士长。议员们还对时间点表示担忧，指出与此类传票相关的禁言令本应在2024年中期到期，但威瑞森直到2025年才保持沉默。 此次质询是针对史密斯利用传票获取多名共和党官员及机构记录的更广泛调查的一部分。鉴于签署联名信的参议员中有12人自身的记录也被纳入了调查范围，委员会已要求威瑞森在8月13日前提供详细的内部记录并作出全面解释，这标志着对电信行业和史密斯检察官行为的监管力度进一步升级。

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

**探索式建模 (Explorative Modeling, XM)** 引入了一种新的生成式建模范式，将复杂训练目标的负担从“分解生成”（如扩散模型等多步过程）转移到了“分解训练”（探索）上。 传统的生成模型往往因为试图预测多种有效输出的平均值而失败，导致生成结果模糊且质量低下。目前的解决方案（如扩散模型或自回归模型）通过将生成过程拆解为许多小而可预测的步骤来解决这一问题，但这造成了“暴露偏差”，并阻碍了真正的端到端学习。 XM 通过引入**生成表达力 (generative expressivity)** 作为继参数和数据之外的第三个预训练维度，解决了上述问题。在训练过程中，XM 模型会生成 $K$ 个潜在输出，仅针对与真实值匹配度最高的那一个进行训练。这鼓励模型专注于独特的、高质量的数据点，而不是对它们进行平均。 **主要优势：** * **效率：** XM 在样本效率（6.2倍）、算力效率（FLOP，4.1倍）和参数效率方面均有显著提升。 * **可扩展性：** 随着模型和数据规模的扩大，性能提升愈加显著。 * **端到端性能：** 在控制任务中，XM 在减少高达 256 倍推理计算量的情况下，达到了与扩散模型相当的性能；通过消除迭代推理步骤，实现了真正的端到端生成。

Spotify 正面临一个日益严峻的挑战：在线服务和人工智能代理需要从其“数据湖”的艾字节（exabyte）级数据中，进行亚秒级的“点查询”（即查找特定用户的数据）。虽然云存储延迟已大幅降低，但像 Trino 或 BigQuery 这样的标准查询引擎主要针对分析型吞吐量进行了优化，而非单行查找。 随机访问 Parquet（Random Access Parquet，简称 RAP）通过直接在现有 Parquet 文件上实现交互式查询，填补了这一空白，且无需数据冗余或专门的键值（KV）存储。 RAP 使用“外部索引”将键（如 `user_id`）直接映射到文件位置和行偏移量。这消除了标准 Parquet 文件中常见的昂贵、高延迟的扫描以及“依赖读取链”。通过优化文件布局（例如按键排序、交错列存储以及使用 ZSTD 帧重置），RAP 可以将查询简化为仅需几次千字节的并行范围读取，甚至可以通过覆盖索引完全免除存储读取。 最终，RAP 将数据湖从仅能进行批处理的系统，转变为能够提供交互式、实时 AI 上下文的系统，使企业能够以传统服务系统极低的分数成本和复杂度来查询历史数据。

Cursor 用户对最近的一项刻意更新表示强烈不满。该更新将所有自助服务方案（包括 Teams 版）的费用追踪从美元计费方式改为仅显示 Token（令牌）用量。此前，用户可以查看每次请求、每个模型以及每日的费用详情，这对他们的预算管理、监控模型效率以及了解支出至关重要。 Cursor 代表 "kevinn" 解释称，此举是旨在简化计费并避免用户混淆“套餐内包含用量”与“按需付费”的刻意设计。尽管用户仍可在仪表板中查看总支出，但移除精细到请求层级的成本数据（甚至包括历史记录和 API 端点中的数据）引发了强烈抵制。 用户认为，仅凭 Token 数量难以进行财务规划，且透明度的降低妨碍了他们评估不同模型的性价比。许多用户呼吁提供一个切换选项以恢复美元显示方式，认为此项更改降低了工具的实用性与透明度。批评者将此举描述为“开倒车”，要求 Cursor 要么恢复成本显示字段，要么提供更稳健、透明的支出追踪方式。

本文指出，政治左派通过将以色列和美国作为替罪羊，试图逃避大规模移民所引发的社会动荡责任。作者声称，面对休达近期移民涌入引发的强烈抗议，西班牙进步派领导人编造了阴谋论，暗示以色列和美国正策划这些事件以破坏西班牙的稳定。 作者反驳了这些理论，认为这是利用现有的反以色列情绪来制造话题的荒谬尝试。文中澄清，本雅明·内塔尼亚胡及其子此前的言论仅是对西班牙外交批评的回应，而非移民问题的战略蓝图。 作者主张，西班牙自身的社会主义政策才是这场危机的真正根源。政府通过实施大规模的大赦计划并放宽驱逐法规，诱发了非法移民。作者总结称，左翼政客利用这些“巨大的阴谋论”来转移公众视线，使其忽略政府开放边境议程所带来的后果，并敦促他们停止归咎于外国势力，应对本国的政策失败及由此产生的犯罪活动承担责任。

由于开发者兴趣转移，OpenBSD 的 `relayd(8)` 和 `httpd(8)` 的开发一度陷入停滞。作者出于对精通 C 语言的渴望，以及对“编程已被大语言模型解决”这一论调的挑战，主动承担起这些守护进程的现代化工作。 凭借实践经验和专业架构知识，作者对这些工具进行了系统性的重构。工作重点包括重构遗留的 `imsg` 代码、提升安全性、修复长期存在的错误以及增强功能。关键的安全更新包括：改用“安全”默认 TLS 密码套件、强化 HTTP 解析以防止请求走私，以及实施更严格的进程控制。 为了降低新贡献者的参与门槛，作者改进了文档，并打破了传统的仅限 CVS 的工作流，建立了易于访问的 Git 镜像（Gothub、Codeberg 和 GitHub）。这项振兴工作已经显著提升了这两个守护进程的稳定性和功能，未来还将有更多更新计划。通过拥抱 C 语言的复杂性并投身于规范的开源贡献，作者成功地焕新了这些此前面临停滞风险的关键基础设施。

受寻找琐事“最优解”（例如免费餐厅面包）的启发，一位软件工程师开始探寻“幂等键”（idempotency key）的起源，这是一种用于分布式系统中防止同一请求被重复处理的工具。 作者首先通过一个生动的类比阐述了这一概念：如何防止家里的狗林戈（Ringo）被不同的家庭成员重复喂食。在反驳了大型语言模型关于 Stripe 在 2011 年发明该概念的说法后，作者追溯了幂等性的演变过程，从 21 世纪初的“仅限一次 POST”（POST Once Exactly）规范和企业级传输协议，一直回溯到印加结绳记事等古老的记录方法。 将搜索范围聚焦于数字计算领域后，作者将这一谱系追溯到了施乐帕罗奥多研究中心（Xerox PARC）1984 年发表的研究论文《实现远程过程调用》（Implementing Remote Procedure Calls，作者为 Birrell 和 Nelson）。该论文描述了一种用于消除重复数据包的“调用标识符”，标志着该机制的一个基础实例。尽管作者承认要确定绝对的“首例”依然困难，但他们总结认为，对这类问题的探索凸显了人类是如何不断地重新发明解决方案，以应对分布式系统中“仅处理一次”这一持久难题的。

``` CTRL 操作简单 单指操控。武器自动开火。易于上手，爱不释手。 SRC 开源 无黑箱。整个游戏在 GitHub 上开源，采用 GPLv3 协议。 OFF 离线畅玩 无需信号即可运行。整个游戏存储在您的手机中。 PRIV 无广告，无追踪 无需联网权限。不收集任何信息。数据绝不会离开您的手机。 PERM 无敏感权限 无需相机、麦克风、定位、通讯录、文件或网络权限。绝不索取任何权限。 FREE 永久免费 无价格，无应用内购买，无充值变强。完整游戏，完全免费。 ```

耶鲁大学语言学家克莱尔·鲍恩（Claire Bowern）共同参与的一项研究显示，全球语言多样性在 1,000 到 3,000 年前达到顶峰，这一时期被认为是拥有数千种语言的“黄金时代”。与人们认为语言快速灭绝始于 500 年前欧洲殖民主义的观点不同，研究指出，语言的衰落开始得更早，且与古代国家及多民族帝国的兴起相吻合。 随着这些强大帝国的扩张，它们促进了自身语言的存续，同时取代或吸收了人口较少群体的语言。因此，现存的约 7,600 种语言只是人类原始语言遗产中一个片面的、带有历史偏见的样本。研究人员强调，理解这一长期趋势对于准确解读全球语言和文化演变的模式至关重要。

本项目记录了将支持 MMU 的 Linux 成功移植到 ESP32-S31 (RV32IMAFBCNSUX) 架构的过程。由于开发期间无法获取 S31 的技术文档，该移植工作依赖于对自定义中断处理的逆向工程推测，特别是用自定义的 CLIC/SCLIC 驱动替代了标准的 PLIC。 为了适应硬件平台的局限性，内核采用了 Linux 6.12 版本，利用其 XIP（原地执行）支持，在优化设备 16MB PSRAM 使用的同时实现系统启动。 目前，基础系统运行正常，能够执行 shell 进程并运行 CoreMark 基准测试（得分约为 1058 次迭代/秒）。尽管内核可以启动且基础控制台访问已实现，但绝大多数特定于硬件的外设——包括 GPIO、以太网、I2C、SPI 和安全加速器——仍处于未测试、开发中或未实现状态。本项目代表了一项重大的“底层启动”工作，证明了 Linux 可以在 S31 上运行，但对于依赖大量外设的应用而言，尚未达到生产就绪水平。