GrapheneOS 是一个完全依靠捐款支持的开源项目，捐款用于支付开发人员薪资、硬件、基础设施及法律开支。该项目通过非营利组织 GrapheneOS Foundation 接受捐赠，以确保操作系统的持续维护与开发。 支持者可以通过多种方式进行捐赠： * **信用卡/借记卡：** 通过 GitHub Sponsors 进行定期或单次捐款。 * **加密货币：** 接受比特币 (Bech32/Taproot/BIP47)、门罗币 (Monero)、Zcash、以太坊 (Ethereum)、卡尔达诺 (Cardano) 和莱特币 (Litecoin)。 * **银行转账：** 通过 Wise 进行国际转账，并提供欧盟、英国、美国、澳大利亚、新西兰、加拿大、匈牙利和土耳其的本地账户信息。 * **PayPal：** 通过特定货币链接、PayPal.Me 或电子邮件进行单次或定期捐款。 * **Interac 电子转账：** 加拿大用户可使用自动存款功能直接向 `[email protected]` 捐款。 对于大额捐赠或企业支持，项目方建议相关方查看其专属赞助页面。所有捐赠对于 GrapheneOS 的可持续性和独立发展都至关重要。

请启用 JavaScript 和 Cookie 以继续。

模型上下文协议（MCP）发布了重大更新（版本 2026-07-28），从有状态的双向协议转型为**无状态的请求/响应模型**。此次演进旨在通过允许 MCP 服务器在无需持久会话的情况下运行于标准负载均衡器后方，从而提升可靠性、可扩展性和部署便利性。 **核心亮点包括：** * **无状态架构：** 去除基于会话的握手简化了基础设施；请求现已具备自描述性，支持无缝的横向扩展。 * **多往返请求（MRTR）：** 一种在无需维持开放流的情况下处理复杂交互（如用户确认）的新机制。 * **增强的缓存与路由：** 改进了对缓存提示和 HTTP 标头的支持，使网关能够更高效地路由请求并进行授权。 * **正式扩展：** “任务”（Tasks）已从实验性功能转为正式扩展，同时改进了对企业级管理授权（EMA）的支持。 * **弃用政策：** 为旧版功能（包括旧的 HTTP+SSE 传输）提供了明确的 12 个月过渡期。 一级 SDK（TypeScript、Python、Go 和 C#）已更新以支持这些变更。此次发布标志着该协议的重大成熟，使 MCP 成为适用于企业级 AI 智能体工作流的生产级基础设施。

网络传染研究中心（NCRI）的一份新报告指出，总部位于伯克利的非营利组织“中东儿童联盟”（MECA）可能充当了进步派捐赠者与被美国列为外国恐怖组织的“巴勒斯坦解放人民阵线”（PFLP）相关团体之间的资金渠道。 据NCRI称，自2017年以来，MECA已发放了约3500万美元的对外赠款，且在2023年10月7日袭击事件后，资金发放量激增。该报告强调了其极度缺乏透明度的问题，指出70%的对外赠款仅被标注为“社区项目”，并确认了MECA与PFLP附属实体之间在人员和组织架构上存在重叠。 调查显示，一些大型进步派基金会和激进网络利用MECA输送资金，捐赠者可能并未意识到最终受益者是谁。在政府加强对激进左翼网络审查的背景下，这一消息引发关注。官员们认为，这些运动日益受到革命性、反美议程的驱动，而非出于人道主义目的。NCRI的报告就利用慈善工具以激进活动为幌子资助武装组织的行为，提出了严重质疑。

本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

获取新 iPhone 的方式不止一种。你可以通过我们全新的 Apple 升级计划进行租赁；选购最新的运营商优惠；使用 Apple 分期付款；或者一次性全额购买。不确定哪种方式最适合你？欢迎在线或前往零售店与专家进行交流（在新窗口中打开）。

美国联邦能源管制委员会（FERC）已向 PJM 互联电网公司发出最后通牒：该电网运营商必须在 9 月底前同意进行重大的治理与利益相关方改革，否则委员会将强制实施。 PJM 目前深陷“合法性危机”，表现为利益相关方信任丧失、决策效率低下以及无法吸引必要的电力资源。受数据中心需求激增驱动，容量价格上涨与电网稳定性担忧加剧了外界对其企业文化及行业加权投票制度的长期批评；该制度常使少数成员群体能够阻挠关键措施的通过。 拟议的改革方案包括提高董事会独立性、赋予各州正式的参与角色，并将利益相关方系统转型为类似于中大陆独立系统运营商（MISO）的咨询模式。PJM 管理层已承认变革的必要性，首席执行官大卫·米尔斯（David Mills）承诺将解决这些系统性问题。FERC 主席劳拉·斯威特（Laura Swett）强调，“一切照旧”的做法已不可接受，并表示如果 PJM 未能在即将召开的争议解决论坛上就改革方案达成共识，监管机构已准备好进行干预。

为纪念 Web 开放字体格式（WOFF）诞生周年，W3C 正在回顾网络排版的发展历程。虽然网络字体的概念早在 20 世纪 90 年代就已出现，但受限于授权、盗版以及数字版权管理（DRM）等方面的顾虑，其普及进程停滞了十余年。 当浏览器工程师与字体设计师联合寻求一个“足够好”的折中方案时，突破出现了。其成果便是 2010 年 7 月推出的 WOFF 1.0，这是一种无 DRM 的格式。它的成功促成了广泛应用，随后于 2014 年引入了压缩率提升 40% 的 WOFF 2.0。该标准最终对全球网络和电视广播变得至关重要，其背后的团队因此在 2022 年获得了艾美奖。 如今，近 90% 的网站都使用了网络字体。W3C 持续改进这项技术，工作组目前正专注于“增量字体传输”。这一创新旨在改善延迟和性能，最终使拥有数千个字符的语言也能实现高质量的网络排版。这种持续的进步确保了网络始终是全球交流中一种丰富、富有表现力且高效的媒介。

请启用 JavaScript 和 Cookie 以继续。

Anthropic 的研究人员利用其“Claude Mythos Preview”人工智能模型，发现了两种主流加密算法中的重大漏洞。在该半自主过程中，人工智能针对后量子数字签名候选算法 HAWK 发现了一种改进型攻击方式，使其密钥强度降低了一半。此外，该模型还开发出一种针对简化轮次版高级加密标准（AES）的攻击方法，其效率比现有方法快 200 到 800 倍。 这些发现表明，前沿人工智能能够进行高水平的密码分析研究，并识别出人类专家尚未发现的缺陷。尽管目前这些漏洞并未影响现有的生产系统——因为 HAWK 尚未部署，且针对 AES 的攻击仅适用于简化后的弱化版本——但这项研究凸显了人工智能在网络安全领域中日益重要的作用。 为促进深入研究，Anthropic 在发布上述发现的同时，还推出了一个名为“CryptanalysisBench”的新基准测试，旨在评估人工智能在密码学方面的能力。这些结果强调了人工智能作为压力测试安全标准有力工具的潜力，同时也引发了关于随着人工智能能力的持续提升，社会应如何管理漏洞发现过程的关键问题。

美国司法部已对科罗拉多州提起诉讼，挑战该州的《推进学生实现更美好明天法案》（Advancing Students for a Stronger Tomorrow Act）。该法案允许非法移民享受州内学费和经济援助，而目前外州的美国公民却无法获得这些福利。 司法部主张，这些州法规违反了《美国法典》第8编的相关规定，即禁止向非法移民提供高等教育福利，除非向所有美国公民（无论其居住地为何处）提供同等福利。诉讼援引了美国宪法中的“至高条款”（Supremacy Clause），认为联邦法律优先于州政策，科罗拉多州对非法移民的优待违宪。 司法部正在寻求永久禁令以阻止该法案的执行，并将此诉讼定性为旨在防止以纳税人的代价为非法移民的教育提供补贴。这是司法部发起的第14起此类诉讼，此前针对德克萨斯州、伊利诺伊州、肯塔基州、内布拉斯加州和俄克拉荷马州等地的类似政策均已取得胜诉。相反，学费公平法案的支持者则认为，此类政策有助于降低辍学率，并增加各类移民身份学生的大学入学率。

大多数智能手表都是密封产品。当电池老化、传感器故障或停止技术支持时，通常只能更换整个设备。UNA 的设计理念则截然不同：这是一款你可以维修、升级并长期使用的 GPS 手表。

该网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

正在检查您的浏览器……需要启用 Javascript。

台湾检方在搜查英伟达（Nvidia）台北办公室后，拘留了一名被称为“张姓”的员工。这是首次有英伟达员工被卷入有关非法向中国转移受限人工智能硬件的调查。 张姓员工被指控伪造与出口含有英伟达芯片的高端服务器相关的商业文件。他是目前因该计划被拘留的七人之一，该计划涉及通过伪造文书将服务器经由日本等第三国转运，以规避美国的出口管制。 由于台湾目前缺乏针对未经授权向中国出口人工智能芯片的刑事法律，检方目前依靠伪造罪和背信罪进行指控。尽管此项调查与美国联邦针对美超微（Super Micro Computer）涉及25亿美元的重大案件相互独立，但它凸显了全球为遏制高端人工智能处理器走私所做的努力。英伟达表示，公司遵守所有出口法规，并未受到任何不当行为的指控；而台湾政府正在考虑进行立法修订，以填补芯片出口方面的监管空白。

这段文字是欧洲公民倡议（ECI）官方网站的导航页眉和页脚结构说明。欧洲公民倡议是一项允许欧盟公民通过在各成员国收集签名来提议制定新法规的机制。 所提供的内容概述了该网站的功能，包括： * **流程指南：** 关于ECI运作方式、监管框架以及倡议生命周期的信息。 * **资源：** 获取学校教育工具包、宣传材料、新闻动态和简报的途径。 * **协作：** 为组织者提供联系和分享经验的专门论坛。 * **支持与透明度：** 欧盟机构的联系方式、数据保护和隐私政策、无障碍详情及法律声明。 总体而言，该页面是公民发起、支持和了解欧洲公民倡议的核心枢纽，提供了参与欧盟民主进程所需的必要工具和行政信息。

为了实现高效的并行开发（特别是配合编程智能体使用），代码仓库应实施支持工作树（worktree）的 `bin/setup` 脚本。尽管 Git 可以隔离代码，但开发者必须手动隔离运行时状态，以防止端口、数据库和容器冲突。 最佳实践是采用“共享服务，隔离命名”模式。由单一的共享 Docker 堆栈处理数据库等资源密集型服务，而 `bin/setup` 脚本则为每个检出（checkout）动态生成唯一标识符（如 `WORKTREE_ID`、`APP_PORT`）。该脚本负责自动化安装工具（例如通过 `mise`），使用 `bin/doctor` 命令验证宿主机需求，并确保环境配置的可复现性。 核心原则包括： * **幂等性与并发性：** 设置脚本必须支持重复运行，并使用锁机制来处理智能体的并发请求。 * **快速失败诊断：** `bin/doctor` 应在执行耗时的设置步骤前，识别所有缺失的依赖要求。 * **生命周期管理：** 由于 Git 不会自动清理运行时资源，必须配备相应的 `bin/teardown` 脚本，以便在移除工作树时释放端口并删除已隔离的数据库。 通过实现环境一致性的自动化，开发者和智能体可以安全地管理多个分支，从而大幅缩短设置时间并减少环境“偏移”。

由于您提供的代码块内没有文本内容，我无法为您翻译。请提供您需要翻译的具体文字。

Xenharmlib 0.4.0 是一次重大升级，扩展了库的核心功能，以支持几乎所有常规律制，包括纯律和多生成器系统。通过从传统的标量移位转向数学上一致的常规移位，该更新能够对多种音乐传统进行精确分析——从印尼加美兰（Gamelan）和阿拉伯木卡姆（Maqam）到 20 世纪的实验音乐。 主要功能包括： * **高级律制支持：** 新增 `PrimeLimitTuning` 和 `MultiGenTuning` 结构，用于构建复杂的和声结构。 * **完整的音程算术：** 期待已久的工具，用于对音程和记谱进行计算。 * **扩展的分析工具包：** 新增原语，如序列（支持逆行和倒影）、音程扇（Interval Fans）以及用于后调性分析的音程类向量。 * **最接近频率近似：** 改进了将原始频率数据映射到和声记谱的实用程序。 * **全面翻新的文档：** 重新构建的指南，按律制和记谱法编排，为所有和声原语提供了详尽的示例。 此版本将 Xenharmlib 转变为一个强大且全面的系统，用于表示和分析整个音乐律制宇宙，为作曲家和理论家提供了数学上的严谨性和实践上的灵活性。

最近发布的 Kimi K3 是早期 Kimi Linear 模型的一次重大且可投入生产的演进，参数规模从 48B 扩展到了惊人的 2.8T。 在架构上，K3 高度聚焦于推理效率，采用了 LatentMoE 和多头潜在注意力（multi-head latent attention）等先进组件以简化处理流程。一项值得注意的创新是使用了“注意力残差”（attention residuals），它通过加权注意力分数连接各层间的残差，在计算成本仅有小幅增加的情况下显著提升了性能。 或许最重要的是，Kimi K3 是首个完全摒弃旋转位置编码（RoPE）的前沿模型，转而在整个架构中采用 NoPE（无位置编码）。此外，该模型现已具备原生多模态支持。通过优化现有组件并扩展至前所未有的规模，Kimi K3 代表了模型效率和架构设计方面的一次重大飞跃。

一位联邦法官对《Solitaire Cash》等热门“技巧类”应用发行商 Papaya Gaming 作出了 7.19 亿美元的里程碑式判决。裁决认定，该公司利用数百万个预设机器人操纵比赛结果，以牺牲真人玩家利益为代价牟取暴利，构成了“极其严重”的欺诈行为。 该诉讼由竞争对手 FIRY, Inc.（前身为 Skillz）提起，指控 Papaya 通过利用“流动性机器人”模拟活跃游戏场景，并使用“定制机器人”强制玩家输掉比赛，从而系统性地欺骗用户。尽管 Papaya 试图为其行为辩护并援引美国宪法第五修正案，但法院最终认定该公司的行为是蓄意且违背诚信的违法行为。 对于 FIRY 而言，这一判决是一次重大的平反。鉴于 FIRY 目前的市值仅为 1.3 亿美元，这笔 7.19 亿美元的赔偿金（远高于最初陪审团裁定的 4.2 亿美元）具有变革性意义。在此前赢得针对另一竞争对手 AviaGames 的专利侵权诉讼后，FIRY 已将自身定位为行业欺诈的监督者，目前其目标已转向针对 Voodoo 的另一起悬而未决的案件。

您没有提供需要翻译的内容。请提供您想要翻译的文本。

决定是否要自研游戏引擎是一项重大投入，但这并不意味着它“太难”。你的决定应基于具体的项目目标：如果你想尽快发布游戏，请使用现有的引擎；如果你想提升开发能力、摆脱对商业引擎的依赖，或者单纯享受工程开发的过程，那么自研是一条充满回报的道路。 游戏引擎本质上就是一组帮助你制作游戏的工具、库或代码。它可以是只有几百行、负责处理窗口创建和输入的简单代码，也可以是复杂的工业级 AAA 引擎。 **建议方案：** 不要一开始就试图“构建引擎”，而应专注于制作游戏。参加游戏开发竞赛（Game Jams）并从零开始编写代码。随着时间推移，你会自然而然地发现自己在重复某些任务。最终，你可以将这些可复用的代码提取出来形成自己的库。通过根据实际需求不断优化这些工具，你将有机地构建出一个完全契合自身工作流的定制引擎，从而避免因使用他人预设系统而带来的冗余和挫败感。

**XY** 是一款超快且交互式的 Python 图表库，专为 Web 应用、Notebook 和静态导出而设计。它以 Rust 为核心，在处理海量数据集时表现卓越——能够渲染多达 1 亿个数据点。它通过动态计算优化屏幕分辨率的显示效果，同时保留了缩放到具体数据行的能力。 **主要功能包括：** * **高性能：** 使用类型化二进制缓冲区和“列存储”（ColumnStore）架构，避免了 JSON 序列化的开销，在大数据集上的表现显著优于 Matplotlib 和 Plotly 等库。 * **灵活的 API：** 支持声明式组合和标准的 Matplotlib 规范，可无缝集成到现有工作流程中。 * **高度可定制：** 可完全通过 Python、CSS 或 Tailwind 进行样式设置。 * **交互性：** 内置平移、缩放、悬停和选择功能，即使在处理数百万个数据点时依然保持响应流畅。 * **多功能性：** 从简单的绘图到复杂的数据密集型 Web 仪表盘，皆能胜任。 XY 目前处于 Alpha 阶段，为开发者提供了一套强大的解决方案，能够轻松实现从日常可视化到大规模交互式数据分析的跨越。对于 Web 开发者而言，它可以直接集成到 Reflex 等框架中，且无需额外的 JavaScript 依赖。

本文介绍了 **Kimi Delta Attention (KDA)**，这是一种在 Qwen 和 Kimi 等现代大语言模型中使用的内存高效型线性注意力机制。 ### 核心问题 标准的 Softmax 注意力机制需要 $O(T^2)$ 的内存和计算量，因为每个查询（Query）都必须检查整个历史记录。线性注意力机制通过将 Softmax 替换为固定大小的状态矩阵 $S_t = \sum |v_i\rangle\langle k_i|$ 来尝试解决这一问题，从而实现 $O(T)$ 的递归。然而，简单的加法更新会导致“干扰”，即新的写入会破坏先前的关联。 ### DeltaNet 的解决方案 DeltaNet 通过使用**增量规则修正（delta-rule correction）**来解决此问题：它不直接添加整个值，而只添加*残差*（新值与当前内存预测值之间的差额）。 * **门控 DeltaNet (Gated DeltaNet)** 增加了一个标量保留门 $\alpha$，以允许模型进行遗忘。 * **KDA** 将其升级为对角保留矩阵 $D_t$，使模型能够有选择地遗忘特定的键通道（key channels）。 ### 实现方式 KDA 为相同的数学递归提供了两种执行模式： 1. **递归模式 (Decode)：** 使用串行向量运算，非常适合低延迟、有状态的推理。 2. **分块模式 (Chunkwise/Training/Prefill)：** 将计算重组为并行矩阵乘法，利用张量核心实现海量吞吐量。

正在验证您不是机器人……

这篇文章概述了一种测量 eBPF 程序性能开销的方法，重点关注文件访问等关键操作。 为了获得准确的结果，作者建议使用轻量级的 C 语言测试工具，通过原生 `syscall(SYS_openat)` 调用执行高频文件打开操作。通过将测试绑定到单个 CPU（`taskset`）并设置高优先级（`chrt`），可以最大限度地减少环境干扰，从而获得可靠的 p50/p99 延迟数据。 分析 eBPF 钩子（hook）性能影响的过程如下： 1. **系统配置：** 启用 JIT 编译和符号导出（`net.core.bpf_jit_kallsyms`），以便 `perf` 工具能够解析 eBPF 程序名称。 2. **基准测试：** 在没有 eBPF 钩子的情况下对系统进行基准测试。 3. **性能分析：** 使用带有内核模式采样（`-e cycles:k`）的 `perf record`，在 eBPF 代码运行时捕获调用栈。 4. **分析：** 使用 `perf report` 或火焰图，准确定位 eBPF 执行路径中的瓶颈，例如高开销的辅助函数或尾调用。 通过对该分析过程进行迭代，开发人员可以精准定位 eBPF 程序中需要优化的特定逻辑。

Zig 核心团队已成功实现增量编译，该功能仅重新编译更改后的代码并将其直接修补到二进制文件中，从而显著加快了开发速度。这一转变将构建时间从秒级缩短至毫秒级。 编译器通过多阶段流水线实现这种速度： * **源码处理**：源文件被解析为 ZIR（Zig 中间表示）并进行缓存，从而实现简单且并行的更新。 * **语义分析**：Zig 利用依赖图跟踪“分析单元”（函数、类型和值）之间的关系。当源代码更改时，仅有失效的单元会被重新分析。 * **代码生成**：AIR 被转换为针对每个函数的机器指令，允许在无需大量缓存的情况下进行并行处理。 * **链接器集成**：Zig 的自定义链接器使用 `MappedFile` 抽象来更新二进制文件中的特定内存区域，而无需重写整个文件。 虽然该功能目前专注于 x86_64-Linux 平台，并可通过 `zig build --watch -fincremental` 使用（目标是在 0.17.0+ 版本中获得全面支持），但核心团队已在日常开发中使用它。尽管仍处于开发阶段，但它展示了编译器性能的重大飞跃，预计不久后将对引用跟踪图进行进一步优化。