【Rust日报】2023-08-18

本文介绍了Rust编译器基准测试套件的工作原理和组件，以及开发人员如何使用它。同时还介绍了一个新的Rust播客和一个用于验证Rust程序的开源工具Kani的发布。