Rustc 编译期常量传递优化已经在 nightly 版本中默认打开
编译期常量优化是指在编译期就可以对一些常量相关的表达式进行计算，比如：
const X: u32 = 2;
let y = X + X;
变成
const X: u32 = 2;
let y = 4;
这次更新，是增加了常量传递的检查优化。
https://blog.rust-lang.org/inside-rust/2019/12/02/const-prop-on-by-default.html
micromath - 可嵌入的Rust计算，2D/3D向量，和统计库
支持 no_std!
https://github.com/neobirth/micromath
Microsoft: We're creating a new Rust-based programming language for secure coding
Microsoft's Project Verona involves creating a new language for "safe infrastructure programming" to be open-sourced soon.
Microsoft can't throw away old Windows code, but the company's research under Project Verona is aiming to make Windows 10 more secure with its recent work on integrating Mozilla-developed Rust for low-level Windows components.
很多人都在担心MS的新语言（还未命名）可能会分裂Rust社区，我想说，这是杞人忧天。这只会对 Rust 有促进，不会对 Rust 有任何负面效应。理由：
如果确实有创新，会对 Rust 本身产生积极的进化作用；
微软的东西，往往会聚焦在其自身的生态上，比如 Windows 等，对其它生态侵占有限；
如果成功，会让 Rust 系语言进入工业主流语言!!!
https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/
RMI - The recursive model index, a learned index structure
比较新的一个索引（learned index）的一个算法实现。
https://github.com/learnedsystems/RMI
Deadpool - 一个连接异步池的实现
目前支持这两个后端
Backend Crate tokio-postgres deadpool-postgres lapin (AMQP) deadpool-lapin
https://github.com/bikeshedder/deadpool/
moxie - Rust的增量响应式UI库
最新UI库有点多，确实也是大家在这方面的呼声比较大吧。可以关注一下。
https://blog.anp.lol/rust/moxie-intro/
好文推荐！使用Rust进行机器学习，提升 25 倍性能！
文章写得真好，图也配得好。
