【Rust日报】2023-12-03
原文中文，约1000字，阅读约需3分钟。
📝
内容提要
ftag是一个用于标记和搜索文件的CLI工具，作者将其从Python移植到Rust，速度提高了50倍。Rust NationUK公布了2024年会议日程和演讲者名单。Kani发布了0.42.0版本，是一款用于验证Rust程序的开源工具。
🏷️
