Slint v1.5发布，支持Android部署和实时预览功能。Kani 0.48.0更新，是一个验证Rust程序的开源工具。本周Rust社区总结。
本文介绍了如何通过编程语言创建自然语言接口，以实现复杂任务。作者在一个体素世界中展示了一个用户社区可以同时教授一个共同系统各种不同的语言，并用它来构建数百个复杂的体素结构的例子。三天内，这些用户从只使用核心语言到85.9％的后10K个语句中使用自然化语言。
Pipelight项目发布了v0.6.14版本，增加了文件修改时触发管道、28个可用的git hook触发管道等功能。egui_dnd发布了0.5.0版本，支持动画和触摸。Kani发布了0.34.0版本，通过更改默认求解器为CaDiCaL来提高性能。
介绍2023第三届中国Rust开发者大会以及两个开源项目：Mailtutan和Kani。Mailtutan是用于测试和开发环境的SMTP服务器，最新版本添加了多项功能。Kani是一个使用模型检查来分析Rust程序的验证工具，最新版本更新了多项功能。
完成下面两步后，将自动完成登录并继续当前操作。
