Rust是工业编程语言的一个重大进步，它重点是弥合了底层系统编程和高级应用程序编程之间的鸿沟。但目前Rust编程的缺点是缺乏一个用于证明Rust程序的有效工具，之前也有很多类似的工作但是不太理想。
该论文展示了Oxide了形式化语义，重新使用类型系统构建了Rust所有权和借用这个核心机制，来推理Rust的行为，并且希望研究人员能将其作为Rust工作的基础。
氧化：Rust的本质（Oxide: The Essence of Rust）
Arxiv平台Rust相关论文整理：
Vim用户注意了。
作者用Rust开发了一款个网球主题的模拟小游戏，耗费了大概24个小时，游戏虽然没完成，但是他拥有了一些经验想要分享给你。涉及ECS模式。
#graphql #warp #juniper #diesel #api
persy是一个Rust编写的简单事务存储引擎
日报订阅地址：
