标签
Apple 已开始通过一项名为 KernelKit 的新工作将 Swift 集成到内核中，嵌入式 Swift 运行时出现在 macOS 和 iOS 中，标志着向内存安全内核扩展迈出了一步。
cuTile Rust 引入了一种基于块（tile）的编程模型，利用 Rust 的所有权机制来保证 GPU 内核的内存安全和无数据竞争，基于该模型构建的 Grout 推理引擎在 Qwen3 模型上实现了与 vLLM/SGLang 相当的吞吐量。
NVIDIA Labs发布了cuTile Rust，这是一个基于瓦片的系统，用于用地道的Rust编写内存安全、无数据竞争的GPU内核。它将Rust的所有权模型扩展到GPU内核，通过JIT将Rust的AST编译为GPU代码，并实现接近原生CUDA的性能。
分析Rust与C/C++在内存安全CVE报告方式上的不同，论证即使存在错误，Rust的设计也能降低某些类型漏洞的发生。
Apple 将 TrueType Hinting 解释器从 C 语言迁移到 Swift，实现了内存安全并提升了 13% 的性能。源代码已开源。
Fil-C 0.679 是一个全新版本，它是 C 和 C++ 的一种极度兼容的内存安全实现，采用并发垃圾回收和隐形能力来防止所有内存安全错误，且没有逃生舱口。
本文介绍了一种基于线性类型和抽象解释的内存安全新方法，旨在比Rust更符合人机工程学原理地消除诸如释放后使用和内存泄漏等常见错误。
Anthropic 收购了 Bun，并使用 Claude Code 智能体在九天内将整个运行时从 Zig 重写为 Rust。该重写通过了 99.8% 的测试，但引入了超过 10,000 个 unsafe 块，引发了对内存安全性益处的质疑。
本文介绍了 iddqd，这是一个 Rust 库，它提供了从值中借用键的映射，减少了重复和同步问题。本文讨论了编写不安全 Rust 代码的挑战以及该库如何保持正确性。
作者认为，内存不安全的开源软件极易受到即将到来的人工智能漏洞查找代理的攻击，这使内存安全成为道德义务，并且Rust必须作为领先且零开销的内存安全语言取得成功。
Trifecta Tech Foundation 宣布首次发布 libzstd-rs-sys，这是一个纯 Rust 实现的 Zstandard 压缩格式，可作为 C 参考实现的直接替代品，在轻微性能损失下提供更好的可移植性和内存安全性。
本文类比了C/C++中的安全漏洞与Verilog中的安全漏洞，指出硬件描述语言的设计导致了缺陷，并认为行业应投资于更安全的替代方案，类似于软件领域对内存安全编程语言的推动。
深入探讨极简、内存安全的Go实现的rsync如何避免原始C版本中存在的十几个漏洞，并与OpenBSD的openrsync及纵深防御技术进行对比。
Fil-C 是一种开创性的新编程语言，承诺通过内存安全性彻底革新软件生态系统。
一个三人团队在人工智能辅助下，利用两个漏洞和一个巧妙的想法，在五天内绕过了苹果的内存完整性执行（MIE）机制，展示了苹果基于硬件的内核内存安全栈中存在的一个重大漏洞。
微软宣布对 C# 16 中的 unsafe 关键字进行重新设计，以强制执行内存安全契约，使 unsafe 操作变得可见并由编译器强制执行，预览版将在 .NET 11 中发布，正式版在 .NET 12 中发布。
一位经验丰富的C++开发者认为，所有非平凡的C和C++代码都包含未定义行为，使得内存安全无法实现，并质疑这些语言在现代软件开发中的持续使用。
Fil-C 优化调用约定确保 C 程序即使在恶意滥用情况下也能保持内存安全性，同时通过在常见情况下省略安全检查来保持效率。它解释了通过 panic 或定义明确的行为来处理类型违规的通用优化和寄存器传递优化。
C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。