< 返回版块

ChaosBot 发表于 2018-04-06 11:17

Tags:rustnews

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

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

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


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

wasm pack


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

formal-verification-working-group

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


新API Pin的形式化

此文比较学术

formal look at pinning


Rust分布式计算框架Rain


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

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

signatory


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

anduril is hiring


( 每日新闻备份地址 )

评论区

写评论

还没有评论

1 共 0 条评论, 1 页