Miri在过去三年取得显著进展，论文《Miri: Practical Undefined Behavior Detection for Rust》被POPL'26接收，增强了多平台API支持，改进了错误提示和性能，并集成了GenMC进行模型检查。Parcode实现了真正的惰性持久化，优化了大文件访问效率。Rust音频库cpal更新，提升了设备ID稳定性和并发性能。

Datadog将其静态分析器从Java迁移到Rust，将分析时间缩短了三倍，并消除了对JVM的依赖。大约20%的Rust crates使用“unsafe”关键字，通常用于调用非Rust代码或库。Rust Foundation开发了像Miri这样的工具来维护生态系统的安全性。文章还讨论了使用鸢尾花数据集将CSV数据集加载到NDArray中的示例。

该文讨论了实现堆栈借用和Miri的使用，但作者认为难以理解。询问是否在编写不安全代码之前需要了解这些内容，以及如何高效编写和检查不安全代码。