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 系语言进入工业主流语言!!!
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 倍性能！
文章写得真好，图也配得好。
赶紧阅读下面原文链接。
https://www.lpalmieri.com/posts/2019-12-01-taking-ml-to-production-with-rust-a-25x-speedup/
Rust 2020: Rust at Wasmer
Wasmer 的 Rust 2020 畅想。
先读为快。
https://medium.com/wasmer/rust-2020-rust-at-wasmer-7646646a2024
From 日报小组 Mike
日报订阅地址：
独立日报订阅地址：
社区学习交流平台订阅：
评论区
写评论补充一下，搞新语言的是 MSR 不是 MS 本身。MSR 本身就是个研究院同时在搞一大堆语言（貌似在函数式方面贡献挺多的），有他们的参与 Rust 很可能从中获益。