Slint v1.5 版本发布并支持 Android
Slint 1.5版本发布，它具有 Android 部署和改进的实时预览功能，同时保持完全的向后兼容性。
更多请看：https://slint.dev/blog/slint-1.5-released
Kani 0.48.0 版本更新
Kani 是一个开源验证工具，使用模型检查来分析 Rust 程序。 Kani 对于验证 Rust 中的 unsafe 代码块特别有用。
项目地址：https://github.com/model-checking/kani
This Week in Rust 538期
一周总结： https://www.reddit.com/r/rust/comments/1bec9sy/this_week_in_rust_538/
From 日报小组 @Jancd
社区学习交流平台订阅：
1
共 1 条评论, 1 页
评论区
写评论slint刚发布的时候许可证挺傻的，现在也改了。
不过slint的最大缺点就是生成的代码太多，编译太慢了。在我的机器上编译1000+crate依赖的zed也就不到10min，slint稍微大点的程序可不止这点时间。