Linux 创始人 Linus Torvalds 再次介入 Linux 内核争议,这次是关于 Rust 设备驱动程序的问题,他直接指出了信息传递者的问题。
针对 Asahi Linux 首席开发者 Hector Martin 呼吁 Torvalds "给出权威答案"以解决设备驱动程序僵局,以及 Martin 为在社交媒体上"羞辱"Linux 维护者对 Rust 代码的敌对态度进行辩护,Torvalds 否定了这种方式并直接针对 Martin。
"不如你接受这样一个事实:也许问题出在你身上,"几年前曾承认自己在线交流方式有问题的 Torvalds 说道。"你认为你更懂,但目前的流程是有效的。"
"确实存在问题,但问题是生活中的常态。没有完美的东西。"
"然而,我要说的是,社交媒体上的围攻只会让我不想与你的方式有任何瓜葛。"
"因为如果我们在内核开发模式中存在问题,社交媒体绝对不是解决方案。就像它绝对不是解决政治问题的方案一样。"
"技术补丁和讨论才是重要的。社交媒体围攻 - 不,谢谢。"
Torvalds 相对克制的信息 - 与苹果公司曾经给开发者的忠告"如果你跑去媒体抨击我们,这永远无济于事"并无太大区别 - 产生了重大影响。不久之后,Martin 请求被移除作为上游 Linux 代码(为苹果 Arm 兼容硬件提供支持)的维护者身份。
这场争议源于内核维护者 Christoph Hellwig 反对上个月提出的一个补丁,该补丁将允许用 Rust 编写的设备驱动程序调用主要基于 C 语言的内核核心 DMA API,该 API 用于分配和映射直接内存访问的内存区域。
Linux 内核主要使用 C 代码编写。近年来,C 语言和 C++ 因其手动内存管理可能导致内存安全错误而变得不受欢迎。在某些情况下,这些错误可能会带来严重的安全隐患。
Rust 作为一种较新的编程语言,通过其所有权模型强制执行内存安全,防止了 C 和 C++ 中常见的许多漏洞。因此,它被广泛推广为减少软件开发中内存安全问题的方法。
Linux 内核于 2022 年开始集成 Rust 代码,但它仍然主要是一个以 C 语言为主的代码库。许多贡献和维护代码的 C 语言程序员已经明确表示,他们不会因为 Rust 的崛起而改变他们的方式。
正如我们之前报道的,Hellwig 强烈拒绝该补丁导致 Martin 敦促 Rust for Linux 团队"一旦审查完成就合并这个系列,无视 Christoph 明显试图破坏项目的行为。"
周二,Martin 发布消息建议不要卷入争议 - 尽管他在 Mastodon 上发表了一篇充满激情的帖子(现已删除)- 因为 Torvalds 对设备驱动程序补丁是否被接受拥有最终决定权。
他写道:"要么 Linus 喜欢它,要么他不喜欢。其他都是一些破坏者维护者策划的干扰,他们试图打击你的士气直到你放弃,因为他们知道他们迟早会站在历史的对立面。无论老顽固维护者如何破坏,都无法阻止世界向内存安全语言发展。"
但内核维护者对 Rust 的抵触可能会减缓 Linux 社区的这一进程。补丁的命运尚未确定。
好文章,需要你的鼓励
企业AI搜索公司Glean宣布年度经常性收入(ARR)达3亿美元,较15个月前的1亿美元增长三倍。尽管谷歌、微软、OpenAI等科技巨头纷纷入局企业AI搜索市场,Glean凭借"上下文图谱"技术深度理解企业业务需求,并帮助客户显著降低AI计算成本。该公司提供按用量计费和混合定价两种模式,客户涵盖Databricks、Reddit、Pinterest及三星等企业。Glean上轮融资后估值达72亿美元。
香港中文大学与MiniMax提出ClaimDiff-RL框架,将图像描述的AI训练从整体打分升级为逐条核查,有效解决了传统方式导致AI"少说保平安"的问题,同时在多项基准测试上超越Gemini-3-Pro-Preview。
杰夫·贝索斯旗下的蓝色起源公司在佛罗里达卡纳维拉尔角进行静态点火测试时,新格伦重型火箭发生爆炸。这是美国历史上最大规模的火箭爆炸之一,也是蓝色起源公司遭遇的最严重失败。所有人员安全,但该事故可能导致新格伦火箭项目长期暂停。此前该火箭已成功完成三次发射,并实现了助推器回收和重复使用。
ParaVT是一个由南洋理工等多校联合提出的并行视频工具调用框架,通过让AI同时分析多段视频并引入PARA-GRPO算法解决训练中的格式崩溃与工具跳过问题,在六项长视频理解测试中平均提升约7.9%。