【Rust日报】2023-12-03 Kani: 使用模型检查来分析 Rust 程序

ftag：用于标记和搜索文件的 CLI 工具

大家好，我刚刚发布了我的第一个crate：https://crates.io/crates/ftag

在未能找到组织大型文档和图片档案的良好解决方案后，几年前我决定自己编写一个简单的 CLI 工具。我用 python 编写并使用了很多年。所以我知道该系统在组织和检索文件方面效果很好，至少对我来说是这样。我最近将它移植到 Rust，并认为它对其他人也有用，所以我发布了它。 Rust 版本比 python 版本快大约 50 倍。

Rust Nation 2024：完整演讲者名单和时间表已公布

大家好，

我想告诉大家，Rust NationUK 已公布其完整的会议日程和演讲者名单。https://www.rustnationuk.com/schedule

我们很高兴 2024 年将有一系列令人惊叹的演讲者，包括

• David Hewitt（Pyo3 的首席维护者）

• Ben Wishovic（乐浦首席维护者）

• Mithun Hunsur（Ambient 首席维护人员）

• 克里斯·比斯卡迪

• 彼得罗·阿尔比尼

以及主题演讲来自

• 拉斯·伯格斯特罗姆

• 尼科·马萨基斯

• 艾丽丝·赖尔（东京）

• 汉娜·奥布里

Kani 0.42.0已经发布了！

Kani 是一款开源验证工具，使用模型检查来分析 Rust 程序。 Kani 对