Slint 语言的设计结合了新旧元素：在 QML 方面的丰富经验和全新 Canvas 的可能性，现代 HTML/CSS 提供的功能使 UI 设计的某些方面非常方便。

原文链接，https://slint-ui.com/blog/changes-to-the-slint-language.html

Github 讨论区，https://github.com/slint-ui/slint/discussions

TL; DR 作用域线程在循环中等待线程完成，异步版本则不能等到任务完成。博文主要内容包括：

博客原文链接，https://wishawa.github.io/posts/thread-scoped-async/

“事实上的标准”是指大多数项目都在使用的crate，但它不是 std 的一部分，尽管它们最终可能会进入，比如：

Rust 生态系统的非官方指南 Blessed，https://blessed.rs/crates

Prop，是 Rust 中的一个库，用于使用直觉命题逻辑进行定理证明。支持经典命题逻辑中的定理证明，由 AdvancedResearch 社区提供用于路径语义研究。

use prop::*;

fn proof<A: Prop, B: Prop>(f: Imply<A, B>, a: A) -> B {
imply::modus_ponens(f, a)
}

Github 链接，https://github.com/advancedresearch/prop

From 日报小组洋芋

社区学习交流平台订阅：

ITPub博客

【Rust日报】2022-11-05 Slint语言的新变化