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