介绍2023第三届中国Rust开发者大会以及两个开源项目:Mailtutan和Kani。Mailtutan是用于测试和开发环境的SMTP服务器,最新版本添加了多项功能。Kani是一个使用模型检查来分析Rust程序的验证工具,最新版本更新了多项功能。
Mailtutan是一个用Rust构建的SMTP服务器,支持多个客户端连接,提供Web界面和REST API来查看电子邮件列表。libtracecmd-rs是libtracecmd的Rust封装,允许您编写程序来分析由trace-cmd记录的Linux的ftrace数据。
完成下面两步后,将自动完成登录并继续当前操作。