【Rust日报】2019-12-03 - 微软：我们在打造一个基于Rust的语言，用于安全编程

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 倍性能！

文章写得真好，图也配得好。

赶紧阅读下面原文链接。

​​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​​

---

​

日报订阅地址：

独立日报订阅地址：

• Telgram Channel
• 阿里云语雀订阅
• Steemit
• GitHub

社区学习交流平台订阅：

• Rust.cc 论坛: 支持 rss
• Rust Force: 支持 rss
• 微信公众号：Rust 语言学习交流