【Rust日报】2024-03-15 Slint v1.5 版本发布并支持 Android

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 社区学习交流平台订阅： Rust.cc论坛: 支持rss 微信公众号：Rust语言学习交流