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 对于验证 Rust 中的不安全代码块特别有用，其中“不安全超级能力”编译器未检查。

以下是版本新增内容的摘要0.42.0：

从源代码构建 CBMC 并通过 @bennofs 在非 x86_64 上安装为软件包 #2877 和 #2878
当 CBMC 内存不足时，由 @JustusAdam 在 #2885< 中发出建议和解释/span>
Rust 工具链已升级至 nightly-2023-11-28 由 @celinval

完整变更日志：kani-0.41.0...kani-0.42.0

From 日报小组时光

社区学习交流平台订阅：

Rustcc 论坛：支持 rss
微信公众号：Rust 语言中文社区

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

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

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

Kani 0.42.0已经发布了！