Slint语言的新变化
Slint 语言的设计结合了新旧元素：在 QML 方面的丰富经验和全新 Canvas 的可能性，现代 HTML/CSS 提供的功能使 UI 设计的某些方面非常方便。
- 声明组件
- Input/Output 属性
- 表达式中查找顺序的变化
原文链接，https://slint-ui.com/blog/changes-to-the-slint-language.html
Github 讨论区，https://github.com/slint-ui/slint/discussions
Rust中的作用域线程
TL; DR 作用域线程在循环中等待线程完成，异步版本则不能等到任务完成。博文主要内容包括：
- 作用域线程的“无畏”并发
- 控制线程的生命周期
- 作用域线程的异步版本
博客原文链接，https://wishawa.github.io/posts/thread-scoped-async/
哪些 crate 是事实上的标准？
“事实上的标准”是指大多数项目都在使用的crate，但它不是 std 的一部分，尽管它们最终可能会进入，比如：
- 错误处理 -
thiserror,anyhow - 命令行参数解析 -
clap - 异步 -
tokio
Rust 生态系统的非官方指南 Blessed，https://blessed.rs/crates
Prop，Rust中带有类型的命题逻辑
Prop，是 Rust 中的一个库，用于使用直觉命题逻辑进行定理证明。支持经典命题逻辑中的定理证明，由 AdvancedResearch 社区提供用于路径语义研究。
代码语言：javascript复制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 日报小组 洋芋
