Kani Rust Verifier 发布了第一版

Kani Rust Verifier（简称 Kani）发布了第一版，这是一个用于证明 Rust 代码属性的开源自动推理工具。像其他自动推理工具一样，Kani 提供了一种使用数学技术明确检查代码的属性在任何情况下是否为真的方法。通过这种方式，Kani 可以帮助您用更少的 bug 编写更好的软件。

Github - model-checking/kani：https://github.com/model-checking/kani

Announcing the Kani Rust Verifier Project：https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html

文章 - GAT 的光明未来

这篇博客文章的目的是试图想象一个拥有 GATs 的“光明未来”。考虑了一些人们希望使用 GATs 的模式，以及如何将 GATs 整合进标准库的 traits 中，以及一些暂时不起作用但期望未来能够有用的问题。

尽管现在 GATs 仍然有一些已知的缺点，但是没关系。GATs 已经很强大了，正如你将看到的，这里也提到一些关于如何使它们在未来变得更强大和符合人体工程学的想法。

A shiny future with GATs： https://jackh726.github.io/rust/2022/05/04/a-shiny-future-with-gats.html

This Week in Rust 441

新一期的 Rust 周报速递发布，快来看看有哪些内容你曾经关注过 :)

This Week in Rust 441: https://this-week-in-rust.org/blog/2022/05/04/this-week-in-rust-441/

From 日报小组 PsiACE

社区学习交流平台订阅：

• Rust.cc 论坛: 支持 rss
• 微信公众号：Rust 语言中文社区