随着 CPU 核心数量增加，主要的可扩展性瓶颈可能不再是算法复杂度，而是同步开销。传统锁耦合在二叉树中的表现尤其糟糕，因为每次查找都会在高度竞争的节点（尤其是根节点）上反复获取和释放共享锁，即使读者之间在语义上并不冲突。 乐观锁耦合将读者产生的写竞争移除。写入者更新数据并递增版本计数器；读者则在不加锁的情况下乐观地遍历结构，读取节点的版本和数据，然后在使用数据或移动到下一个节点之前验证版本。任何并发修改或正在进行的写入都会导致验证失败，使查找重新开始。 由于在验证之前使用数据可能引入难以察觉的竞态条件，该设计利用类型系统在编译时确保正确性。乐观访问器返回 `unvalidated<T>` 值；这些值在经过锁守卫验证之前无法使用。即使是锁的获取和指针传递，也必须遵循这一验证链。这样既能在编译时防止不安全的读取，又能保留接近无锁的查找可扩展性以及安全的并发写入。

根据《喜马拉雅数据库》（The Himalayan Database）的数据，珠穆朗玛峰上的人类活动量在三十年间几乎增长到原来的四倍。2025年，记录在册的登山者和受雇工作人员共计1,519人，其中游客585人、受雇工作人员934人；相比之下，1995年仅有395人。2025年共有878人登上峰顶，而年均登顶人数已从1995年至1999年的大约100人增加到2021年至2025年的约720人。 登山活动越来越集中在春季，尤其是天气适宜的短暂时段。2000年至2009年间，超过99%的登顶都发生在春季；2010年代春季共有5,561人次登顶，而秋季仅有六次。2019年，曾创下单日354人登顶的纪录。 工作人员的增长速度更快，2025年工作人员占记录在册人员总数的60%以上。2014年的雪崩和2015年的地震造成了多名工作人员死亡，也凸显了他们所面临的风险。这股热潮通过许可费和旅游业带来了经济效益，但在极高海拔地区也造成了重大的废物管理难题。

佛罗里达州一名女子被指控利用 Claude 写日记，并在其中写下计划袭击警长办公室，因此面临重罪指控。Anthropic 的安全系统标记了这篇日记，一名人工审核员认定其构成可信威胁，公司随后向执法部门报告。她被拘留时没有发生冲突，并依据佛罗里达州一项禁止以书面或电子形式威胁实施暴力的法律受到起诉。 这起事件凸显了将人工智能对话视为私人内容的局限性。Anthropic 表示，在紧急情况下，为防止死亡或严重伤害，公司可能披露用户信息。此前有报道称，审核 Microsoft Copilot 图像的承包商可以看到用户的提示词、上传的照片以及人工智能生成的编辑结果，其中可能包含令人不安的内容，这进一步加剧了人们对隐私的担忧。 此前已有多起诉讼，指控人工智能公司未报告与现实世界暴力行为有关的可疑对话。聊天机器人信息披露的法律责任仍是一个新兴问题。

SQLDoom 是一个从零开始移植的 1993 年《Doom》引擎版本，其游戏逻辑和渲染器完全在 CedarDB 中执行。精简的 Python/Pygame 客户端仅负责采集输入、以固定的 35 Hz 频率触发游戏逻辑帧，并显示 SQL 返回的 320×200 RGB 帧缓冲区。WAD 数据可以自然地映射为关系表，而 AI、移动、战斗、物品、门、投射物、动画、音效和扇区效果则通过约 5,900 行 SQL 和数据库函数实现。 渲染与模拟相解耦，并通过相机插值达到最高 60 FPS。其 SQL 渲染管线使用 BSP 排序、生成的像素扫描块、用于可见平面裁剪的窗口函数，以及用于深度解析的打包整数键。在 Ryzen 7 7840U 上，一个典型逻辑帧耗时 2.15 毫秒，观察到的最慢逻辑帧耗时 10.45 毫秒，远低于 Doom 所需的 28.6 毫秒时间预算。 数据库还便于进行数据驱动的模组开发，并提供事务一致性、身份认证、访问控制，以及四人多人游戏所需的一致性快照。SQLDoom 支持《Doom》第一集的分享版内容，并在 GitHub 上开源。

请启用 JavaScript 和 Cookie 以继续。

访问受限 抱歉，您当前所在的地区无法访问此页面。感谢您的理解。

Modernity.news 的一篇文章称，英国本土事务部在今年1月至6月间向乘小艇抵达的移民发放了974条头巾，而服装发放记录显示，受领者绝大多数是成年男性。文章指出，这些头巾是临时拘留点提供的 basic welfare packs（基本福利包）的一部分，例如曼斯顿拘留点。该部门表示，必须在“切实可行的范围内”照顾移民的文化和宗教需求。 文章还称，英国本土事务部雇员和工会官员曾前往加来的一处移民营地，做饭并分发衣物。文章批评这些活动，认为它们体现了相关机构对抵达移民的支持。 文中引用的数据显示，今年乘小艇抵达的人数接近2万人，比2025年下降了42%；但自2024年7月以来，抵达人数已超过8.3万人，其中据报约90%为男性。文章还详细介绍了 Care4Calais 参与的年龄评估争议，以及多佛抗议活动和相关直播中的警方执法情况。 包括克里斯·菲尔普、安德鲁·罗辛德尔以及 GB News 主持人本·利奥在内的受访批评者认为，向移民提供援助和宗教服饰 constitutes 一种不受欢迎的“欢迎包”。

新巴比伦和晚期巴比伦时期的宗教教育，并不是一门独立学科，也不以圣典为核心，而是精英书吏训练的一部分。富裕家庭的男孩通常在家中的学校学习，先掌握阿卡德语和苏美尔语的基础读写能力，再进阶学习高级文学，并接受专业学徒训练。除书写技能外，课程还传授神话、祭祀知识、社会价值观和帝国意识形态。 学生通过神祇名录、祷文、赞美诗和神话文本，了解庞大的众神体系，尤其重视马尔杜克。《卢杜卢尔·贝勒·内梅基》和《智慧箴言》等作品讲授神明的 characteristics、应有的虔敬、道德行为，以及面对疾病或不幸时的应对方式。《廷蒂尔》和《尼普尔纲要》将巴比伦和尼普尔描绘为神圣中心；奉献文书则让学习者接触实际的祭祀仪式。 这种教育为书吏和祭司日后从事学术、行政、医疗、占卜和祭祀服务奠定了基础。后来，这些专家运用所掌握的文字知识，在阿契美尼德和塞琉古统治时期保存或重塑宗教传统。对马尔杜克和巴比伦日益强调，可能有助于在外来帝国统治下维护巴比伦人的身份认同。

在 Go 工作负载运行时，使用交换空间（swap）吸收内存峰值可能会造成明显干扰。Go 的垃圾回收器（GC）会在停止世界（stop-the-world）阶段反复读取持久化的运行时元数据。由于这些页面会被重复使用而不是释放，内核的页面老化机制可能会将它们换出到交换空间，从而迫使 GC 在所有 goroutine 都暂停期间处理同步的严重页面故障。 在配备 MGLRU 和 NVMe 的 Linux 6.8 上，GC 暂停时间的中位数约为 51 微秒，但最长暂停时间达到 40 毫秒。其中，39 毫秒用于处理 GC 内部记账期间发生的 228 次页面故障。此类暂停会显著增加尾部延迟，并推迟已完成 I/O 的处理。 内存分配密集的路径也受到了影响：构造一条 511 KiB 消息所需的时间，在 NVMe 上从 3–5 毫秒增加到 105 毫秒，在网络存储上则增加到 903 毫秒，不过这一额外开销仅影响执行内存分配的 goroutine。 结论是，交换空间本身并不一定有害，但将 Go GC 元数据换出到交换空间，可能会把存储延迟转化为全局停止世界延迟。在此次实验中，Go 1.26 的 Green Tea 垃圾回收器几乎没有带来改善。

许多程序分析任务都可归结为求单调函数的固定点。在完备格上，塔斯基定理保证最小固定点和最大固定点都存在，但必须根据需求有意识地选择：从底元素开始迭代通常会逼近最小固定点，而从顶元素开始迭代则会逼近最大固定点。 死变量消除很好地说明了这一问题。将所有值都初始化为活跃，并反复删除不再活跃的值，通常只能得到不够理想的固定点，并可能遗漏循环以及其他无用计算。正确的方法是从返回、内存写入等可观察效果出发，将相关值反向标记为活跃，再正向传播活跃性；这样计算得到的是最大固定点。 罢工强制条件分析提供了一个现实示例。从已经参与的工会开始，不断扩充参与罢工的工会集合往往会趋向最小固定点，并可能导致不必要的死锁。若要找出满足所有条件的最大协同群体，就应从所有受强制条件约束的工会开始，反复删除未达到要求的工会，从而计算最大固定点。 保守初始化可以得到安全且可行的中间结果，并加快收敛速度，但可能牺牲完备性。因此，选择初始近似值——也就是选择最终要逼近的固定点——应当明确权衡准确性与性能。

安德鲁·科雷布科指出了俄罗斯面临的三项战略挑战，并认为，要应对这些挑战，就必须进行现实的风险评估，而不能一厢情愿。 第一，俄罗斯正面临一条环绕其领土、延伸至欧洲、高加索、中亚和东北亚的“卫生隔离线”。为缓解这些压力，他建议推动美国支持、由波兰牵头的“中间海洋”（Intermarium）计划，与德国达成军控安排，与阿塞拜疆达成非军事化协议，并就千岛群岛问题与日本进行谈判。 第二，俄罗斯必须维持中国与印度之间的战略平衡。向印度提供优惠的军事技术、贸易准入机会和联合国防生产，可以减轻印度对过度依赖中国的担忧，也能防止印度进一步向美国靠拢。 第三，俄罗斯需要修复政策制定中失灵的反馈回路。这些回路受到官方过度乐观、不能容忍不同意见、危机识别能力薄弱以及宣传等因素的影响。提高决策的坦率程度，加强反共识分析，有助于领导人识别并有效应对其他战略风险。

俄罗斯伊尔库茨克州卫生部门表示，据官员和媒体报道，一名实验室工作人员因鼠疫死亡后， 近200人被要求接受医学观察。这名27岁或28岁的员工在伊尔库茨克抗鼠疫研究所工作，据称她在打碎一支装有活菌的试管后感染了鼠疫。她出现严重肺炎，被送往舍列霍夫斯克住院治疗，随后接上呼吸机，并于周四死亡。 至少197名可能的接触者被隔离，其中100多人住在医院病房，舍列霍夫斯克医院也已被封闭。公众活动被取消，当局还就可能存在的卫生安全违规行为启动刑事调查。州官员表示，接触者均无症状，检测结果也呈阴性。据报道，这起病例属于肺鼠疫，但官方声明没有说明具体类型；邻近的布里亚特共和国没有报告疫情暴发。

**《河流突袭》（1982）**在浏览器中得到高度忠实的 Atari 2600 移植。玩家驾驶飞机沿程序生成的河流 endless 向上飞行，避开河岸、桥梁、轮船、直升机和喷气式飞机，同时应对迅速消耗的燃料。飞越燃料库可为油箱补充燃料，也可以将其击毁，获得 80 分。必须射击桥梁才能继续前进；撞毁会损失九条命中的其中一条，每获得 10,000 分便奖励一条新命。 原始 4 KB 卡带会使用确定性的 16 位随机数生成器，提前生成每个由 32 条扫描线组成的河流区块，因此每次游玩都会出现相同路线。河道在不同路线之间交替，包括笔直和蜿蜒路段，难度也会逐渐提高。 该项目没有使用模拟器，而是用 JavaScript 重新实现了卡带的 6502 运行逻辑，保留了其 128 字节内存、硬件碰撞检测、图形、音效，甚至一些未公开的特殊行为。原始 ROM 也会同时运行，以进行逐字节验证。测试结果显示，在 45,000 帧内没有出现任何差异，开场画面完全一致，并且 300,000 个河流生成器状态下的行为均完全匹配。

《航空专家》的照片显示，一架美国海军 F/A-18F“超级大黄蜂”战斗机在执行“史诗怒火”行动后，机身上出现了“反潜杀手”标志。这表明该战斗机可能因击毁一艘伊朗潜艇而获得战果，但尚未得到证实。 这一标志类似用于标记击毁基洛级潜艇的战绩标志。伊朗拥有三艘俄罗斯制造的基洛级潜艇。美国已证实，其中“塔雷格”号在港内被摧毁，另外两艘据认为已有一段时间无法运作。 美国海军尚未公开确认这架“超级大黄蜂”击沉了潜艇，也未解释该标志的含义。目前尚不清楚这架飞机是直接投掷武器击毁潜艇、为其他作战平台提供支援，还是以其他方式参与了此次行动。

# 使用 OCaml 进行量化金融 这是一本全面指南，介绍如何用 OCaml 构建正确、高性能且易于维护的金融系统。本书将量化金融理论与生产级、可复用且类型安全的库相结合，同样重视数学表达的清晰性、正确性和性能。 全书分为七个部分，涵盖 OCaml 基础、数学与概率；固定收益和利率衍生品；股票、布莱克–斯科尔斯模型、蒙特卡洛方法与波动率；信用风险、CDO 和多资产模型；市场风险、希腊字母、XVA 与投资组合优化；算法交易、交易执行和高频基础设施；以及随机微积分、机器学习、监管和 OxCaml 等高级主题。书中贯穿使用了现代 OCaml 5 的特性，包括域和效应。 每一章都提供讲解文字、可复用模块、实例、练习和基准测试。项目使用 Dune，并包含安装依赖项、构建示例和运行测试的命令。有经验的 OCaml 或金融读者可以跳过部分入门章节，并将本书作为连续教材或参考手册使用。

错误：请求无法完成，请求已被阻止。目前无法连接到此应用或网站的服务器。可能是流量过大或配置错误。请稍后重试，或联系该应用或网站的所有者。 如果您通过 CloudFront 向客户提供内容，可以查看 CloudFront 文档，了解如何排查并防止此错误。 由 CloudFront 生成 请求 ID：eXniWmyEc4SXbwLnRJ1Bc07fZyTOZ6itVnVNxf6fcF-09CdJh8wKWQ==

美国财政部和国税局已为联邦奖学金税收抵免（FSTC）拟议 regulations。该项目是《一个大而美法案》确立的一项全国性学校选择计划。自2027年1月1日起，纳税人可就向获批奖学金资助组织的捐款申请联邦税收抵免：单身申报者最高1,700美元，联合申报者最高3,400美元。这些组织提供的资助可用于私立学校学费、辅导、书籍、科技设备、特殊needs服务及其他教育支出。 这项不可退还的税收抵免可以与州税收抵免叠加使用，并最多结转五年。各州可以选择参与，但不得对奖学金获取或学校选择施加不必要的限制。目前已有30个州选择参与。财政部估计，到2030年，该项目每年最多可为220万份奖学金提供资金。 布鲁金斯学会研究人员警告称，捐款可能使较高收入社区受益过多，因此除非将资金定向用于低收入地区，否则该项目可能具有累退性。

中国多个省份的农民报告疑似非洲猪瘟疫情，称猪只接种疫苗后仍迅速患病或死亡，一些养殖场被迫整群扑杀。广西、湖南和江西还出现了感染猪被低价出售的情况；另有一项未经证实的说法称，患病动物可能被用于香肠加工。 中国农业农村部尚未公开确认与这些说法相符的疫情，因此疫情规模难以核实。农民还报告接种疫苗的母猪出现流产和死胎，引发了对国家支持疫苗的担忧，但这些说法尚未经过独立检测。 与此同时，该行业正面临需求疲软和价格下跌。8月，全国三元杂交猪平均价格同比下降超过21%。由于补贴有限且替代买家很少，小农户尤其容易因疫情遭受损失。

特朗普总统任命美国国家情报总监杰·克莱顿兼任白宫人工智能事务负责人。克莱顿将与多 名高级官员共同领导新成立的“超级智能力量”，该机构向特朗普总统和幕僚长苏茜·威尔斯汇报，成员包括副总统 JD 万斯、国防部长皮特·赫格塞思、财政部长斯科特·贝森特等。 该机构将在120天内评估人工智能带来的风险和机遇，并提出加强政府应对措施的建议。其章程强调，在支持美国引领人工智能发展的同时，防止过度监管和监管俘获。 克莱顿接替了大卫·萨克斯，后者成为该机构的外部顾问。此次任命正值人工智能安全、监管以及行业发展速度的争论日益升温之际。特朗普曾批评拟议中的安全防护措施和暂停措施，强调要实行他所谓的“强有力”行政监督。多家大型人工智能企业的高管最近签署了一项自愿协议，承诺加强模型控制并开展独立审计。克莱顿表示，超级智能是一项国家安全问题，并警告称，在其他国家继续推进人工智能发展的情况下，美国实施人工智能暂停将很难得到有效执行。

美国人工智能数据中心扩张正受到电网容量限制和监管延误的制约。PJM互联系统680万千瓦的容量缺口已推动电价触顶。近期，数据中心导致约294亿美元的容量成本被转嫁给13个州及华盛顿特区的客户。 美国联邦能源管理委员会（FERC）暂停了PJM拟议的15年期兜底拍卖，理由包括成本分摊、输电设施所有者规则和担保要求存在问题。这一延误加剧了新增电力采购和数据中心合同的不确定性，而电价仍在上涨。高盛预计，长期的监管不确定性将压制独立发电商的表现，但紧张的供应将支持PJM现有发电机组。 另一项针对PJM不可中断资源附加服务（IRAS）提案的裁定可能更为关键。该提案允许大型数据中心在承诺可随时削减用电的前提下，无需配备专用电源即可接入电网。 与此同时，不断上涨的公用事业账单正在加剧政治压力。高盛预计，到2030年，表后自备发电将为25%的数据中心供电，而小型模块化反应堆则可能成为一项周期更长、但也会延期的解决方案。总体而言，数据中心、融资和电力项目都在延误，客户电费却按计划上涨。

备份之道

``` 请启用 JavaScript，并禁用任何广告拦截器 ```

**开源** 每一行代码都托管在 GitHub 上，并采用宽松许可证。你可以阅读、复刻并在此基础上构建。 **原生，而非套壳** 使用纯 Rust 编译成真正的桌面应用，支持 macOS、Windows 和 Linux。不依赖 Electron，也不使用 WebView。 **第一天上手就像老朋友** 采用办公人员已经熟悉的布局、工具和快捷方式，无需重新学习。 **你的文件，你的设备** 所有操作都在本地处理你自己的文件。无需在云端与工作内容之间反复传输。 **为智能代理而生** 每款应用都可以通过 CLI、JSON 控制通道或 MCP 服务器驱动，专为自动化和 AI 智能代理打造。 **也能在浏览器中使用** PhotoCraft、VectorCraft、LightCraft、PrintCraft、EffectCraft 和 DesignCraft 均可编译为 WebAssembly，并在浏览器标签页中运行。

没有可翻译的内容。

一项全球分析估计，2024年感染导致约230万例新发癌症，约占当年所有癌症诊断病例的12%。研究人员评估了12种与癌症相关的病原体，其中四种病原体导致的病例约占感染所致癌症病例的92%：幽门螺杆菌（76万例）、人乳头瘤病毒（HPV；75万例）、乙型肝炎病毒（36万例）和 Epstein–Barr 病毒（26万例）。 研究结果凸显了巨大的预防机会。HPV疫苗和乙型肝炎疫苗的有效性很高，但疫苗接种覆盖率仍然不足；2024年，只有31%的符合条件的青少年女性至少接种了一剂HPV疫苗。简化为单剂次的HPV疫苗接种方案可能有助于改善疫苗可及性。目前尚无EBV疫苗，而幽门螺杆菌的预防重点是检测和治疗。 中低收入国家承担了全球77%的感染相关癌症负担，主要原因是预防项目的覆盖范围有限。研究人员提醒说，癌症登记系统覆盖不完整可能低估真实负担，这种情况在非洲尤其明显。加强疫苗接种、感染筛查和治疗，可能预防大量癌症病例，并降低长期医疗成本。

围绕模型选择器打造的产品，往往只是成功 AI 工具的拙劣仿制品。那些号称能够避免供应商锁定、降低价格或支持开源模型的产品，并没有抓住重点：用户选择前沿模型，主要是因为它们能带来最佳结果，而不是因为他们信任供应商或喜欢选择模型。 正确的抽象层级应是产品体验，而非底层模型。成功的平台会自动为每项任务选择最佳模型和工具，并为用户提供完善、流畅的工作流，涵盖编程、图像生成、文档编辑等。用户关心的是完成工作，而不是管理模型层级或 token 价格。 只要开源模型价格足够低、能力足够强，它们仍然具有价值。评估成本时，应以完成一项任务为单位，而不是按每百万个 token 计算。 制造成败的关键是打造用户喜爱的产品，将每项任务交给当前可用的最佳模型处理，并让模型选择隐于出色的用户体验之后。

特朗普总统敦促参议院共和党人通过《阳光保护法案》，使夏令时永久化。众议院已于7月以308票对117票通过该法案，但参议院尚未审议。 特朗普称，每年两次调整时钟既不方便、成本又高，还会扰乱生活，并可能危害健康、安全、体育和教育。他声称该法案得到了广泛的两党支持，并指责参议员汤姆·科顿拖延了相关进程。 科顿和参议员迈克·朗兹表示担忧，永久实行夏令时可能会让儿童在黑暗中步行或前往学校。他们还提到了1974年至1975年全国范围内实行夏令时的失败尝试，当时支持率迅速下降，国会随后废除了这项决定。尽管存在这些反对意见，众议员弗兰克·帕洛尼表示，只有约12%的美国人支持每年两次调整时钟。

提佩特工作室于8月关闭后，菲尔·提佩特数十年来积累的道具、艺术品及收藏品被公开拍卖。一名匿名买家购入了一整盒档案光盘，将其数字化，并上传至互联网档案馆，以免这些资料落入私人手中。该档案包含90张光盘镜像，记录了《机械战警》《星船伞兵》和初版《星球大战》的幕后资料，还包括电脑生成影像测试片段、幻灯片、提佩特于2008年接受采访的内容，以及《猫女》的宣传照。庞大的资料库为研究者和爱好者提供了难得的机会，使其能够深入探索提佩特富有影响力的动画与特效创作历史。

请启用 JavaScript 和 Cookie 后继续。

Alex Alejandre 是一名专业的 Clojure 和 CHICKEN Scheme 开发者。他的编程之路始于 Commodore 64 上的 BASIC，随后学习 C；在大学接触 Lisp、Scheme、《计算机程序的构造和解释》（SICP）以及人工智能后，他的方向逐渐定型。他之所以对 CHICKEN 感兴趣，是因为它速度快、实用、由社区驱动，并采用宽松的许可证。后来，他为 CHICKEN 贡献了软件包，也参与了核心开发，包括数值塔、Irregex 集成、编译器、垃圾回收器、HTTP/URI 库、性能优化和安全工作。 他重视 Scheme 的小型核心，但认为实验性的极简设计与实现互操作性所需的大型标准化系统之间存在张力。他认为 R7RS-small 的拆分方式合理，批评 R7RS-large 的采用率较低，也对 SRFI 更新过快感到担忧，同时忧心 Scheme 过度依赖少数维护者。CHICKEN 6 在保留兼容性的同时 modernize 了 UTF-8 处理和模块系统；该版本延迟发布，是因为一个堆损坏问题被追溯到 `read-symbolic-link`。未来的设想包括由编译器消除安全检查，以及引入一种最小化的标准化日期/时间类型。 Alejandre 非常偏好 PostgreSQL，对 MySQL 和 SQLite 的默认配置持怀疑态度。他不喜欢 Clojure 以 nil 和 map 为中心的设计，但认可它让 Lisp 再次受到关注，并认为 REPL 对实验探索至关重要。工作之外，他重视家庭、健康和隐私教育，并希望如果孩子有兴趣，可以教他们 Scheme。