【Rust日报】2023-08-18 RustShip：一个新的 Rust 播客

探索 Rust 编译器基准测试套件

在最近关于 Rust 编译器 CI（持续集成）和基准测试基础设施的文章中，作者承诺写一篇关于运行时基准测试的博客文章，这是 Rust 编译器基准测试套件的新补充。然而，在这样做之前，最好首先描述基准测试套件的实际工作原理、它的组件是什么以及 Rust 编译器 (rustc) 开发人员如何使用它，以介绍必要的上下文。因此，运行时基准测试将不得不等待，而这篇文章将尝试介绍 Rust 编译器基准测试基础设施的当前状态。

详情请看：https://kobzol.github.io/rust/rustc/2023/08/18/rustc-benchmark-suite.html

RustShip：一个新的 Rust 播客

RustShip：一个新的播客，作者在其中采访其他 Rust 开发人员，以学习他们的经验。

详情请看：https://ieni.dev/2023/08/rustship-a-new-rust-podcast/

Kani 0.34.0已经发布了！

Kani 是一个开源验证工具，使用模型检查来分析 Rust 程序。 Kani 对于验证 Rust 中的不安全代码块特别有用，其中编译器不会检查“不安全的超级能力”。

详情请看：https://www.reddit.com/r/KaniRustVerifier/comments/15n7lcr/kani_0340_has_been_released/

项目地址：https://github.com/model-checking/kani

---

From 日报小组 @Jancd

社区学习交流平台订阅：

• Rust.cc论坛: 支持rss

• 微信公众号：Rust语言学习交流