官方思考: 如何合理地特化

官方核心成员Aaron的博文，讲述了特化面临的问题（主要是编译期生命周期擦除）和解决方案（编译器判断不合理的特化需求并拒绝）。

如果情况好的话，可能在今年稳定。

• sound specialization
• 相关RFC

官方 Rust WASM Book增加了wasm pack章节

wasm pack

官方「形式验证工作组」成立

formal-verification-working-group

从RustBelt项目开始，分析Rust程序，对Rust语言做形式验证。

新API Pin的形式化

此文比较学术

formal look at pinning

Rust分布式计算框架Rain

• 介绍
• Rain

密码学实践： multi-provider数字签名库signatory发布0.4版

基于Ed25519算法（一种椭圆曲线加密/签名/密钥交换算法），常用于数字货币区块链

signatory

又一家国外公司开始招Rust开发人员了

anduril is hiring

( 每日新闻备份地址 )