Miguel Ojeda (Rust for Linux 项目贡献者和 Linux 内核维护者) 于周日发布了一份"Rust 内核政策"文档,阐明了将 Rust 代码整合到以 C 语言为主的开源内核代码库中的最新进展。这份声明表明,尽管有不同的声音,但 Rust for Linux 项目仍在稳步推进。
该文档直面核心问题,提出并回答了"内核维护者是否支持在内核中使用 Rust?"的问题。答案是:"是的,有关键的内核维护者支持在内核中使用 Rust。"值得注意的是,"关键内核维护者"并不等同于"所有内核维护者"。
最近几周,关于 Rust 代码贡献是否受欢迎出现了一些质疑。如我们此前报道,内核维护者 Christoph Hellwig 对一个帮助基于 Rust 的设备驱动程序调用内核 C 核心中直接内存访问 (DMA) API 的补丁表示反对。这一分歧演变成了一场僵局,促使 Arm 架构 Apple Mac 的 Asahi Linux 项目负责人 Hector Martin 寻求 Linux 创始人 Linus Torvalds 的介入。
Martin 认为,如果有争议的 DMA 补丁不被采纳,"Rust for Linux 项目实际上就会停滞,直到 Linus 或 Christoph 采取行动。"Torvalds 指责 Martin 将技术问题演变成社交媒体事件,认为维护现有技术状态和维护者工作量的问题应该避免政治化。这导致 Martin 辞去了支持 Apple Arm 兼容硬件的上游 Linux 代码维护者职务。
仅仅几个月前,Microsoft 软件工程师 Wedson Almeida Filho 因"非技术性的争议"(本质上是与专注于 C 语言的维护者的分歧)而从 Rust for Linux 项目离职。
他的离职凸显了 Rust for Linux 项目面临的持续挑战。在 2022 年底首批 Rust 代码进入内核之前,支持在 Linux 中使用 Rust 的人士就承认这需要额外的工作并存在风险。尽管如此,他们认为 Rust 的内存安全优势(现在已在政府和行业的软件开发中广泛推广)会随时间推移带来回报。
在持续讨论中,Ojeda 的 Rust for Linux 政策文档重申了 2021 年将 Rust 添加到 Linux 内核的 RFC 中做出的承诺。该文档也试图解决 Rust 和 C 语言程序员之间紧张关系所带来的一些混淆。
当被要求评论时,Ojeda 指向他本月早些时候在欧洲软件会议 FOSDEM 2025 上的演讲 [PDF],该演讲突出展示了 Rust for Linux 项目的成就和其持续发展的可行性。
演讲中包含了一些内核维护者的支持声明和更细致的观点。
Nvidia 的 Linux 内核工程师 Andrea Righi 表示:"内核社区某些部分的热情是不可否认的,因此似乎不可避免地会继续看到更多 Rust 代码被合并到上游。然而,像内核中的任何重大变化一样,更广泛的采用可能需要时间。"
这是许多人的共同观点。虽然一些 Linux 子系统的维护者可能会继续抵制在 Linux 内核中使用 Rust,但 Ojeda 引用的观点表明,随着资深 C 语言维护者逐渐退出,以及 Rust 技能变得更加普及,这种反对可能会随时间推移而减弱。
好文章,需要你的鼓励
R语言在Tiobe 12月编程语言流行度指数中重返前十,排名第10位,占比1.96%。作为统计计算专用语言,R语言凭借在统计分析和大规模数据可视化方面的优势重新获得关注。尽管传统软件工程师对其语法和扩展性存在质疑,但R语言在大学和研究驱动行业中仍表现出色,在快速实验、统计建模和探索性数据分析领域具有独特优势。
MBZUAI和法国综合理工学院联合开发的SchED算法能让AI写作速度提升3-4倍。该算法通过监测AI生成文本的置信度,采用进度感知的动态阈值策略,在保持99.8%-100%原始质量的同时显著减少计算时间。实验覆盖多种任务类型,证明了算法的有效性和鲁棒性。
AWS在2025年re:Invent大会上展现出不寻常的防御姿态,面临证明其仍能引领企业AI议程的压力。随着微软和谷歌通过集成AI堆栈加强对CIO的影响力,AWS推出了新芯片、模型和平台增强功能。分析师认为AWS尚未成功构建统一叙述。Nova Forge是AWS最大的尝试,旨在解决其战略弱点:缺乏将数据、分析、AI和代理整合为单一路径的统一框架。但分析师指出,企业采用仍需大量工程投入,AWS仍是需要组装的零件集合。
西安交通大学研究团队发现,AI视觉语言模型容易受到功能词(如"是"、"的"等)的干扰而遭受攻击。他们开发了功能词去注意力(FDA)机制,让AI减少对这些词汇的关注。测试显示,该方法可将攻击成功率降低18%-90%,而正常性能仅下降0.2%-0.6%。FDA无需额外训练即可集成到现有模型中,为AI安全防护提供了简单有效的解决方案。