【Rust日报】 2019-03-06

通告： [北京][2019年4月20日] RustCon Asia 第一届 Rust 亚洲技术大会

#RustConAsia2019

Read More

Oxide：无限接近Rust所有权和借用本质的形式化语义模型

#rust

Rust是工业编程语言的一个重大进步，它重点是弥合了底层系统编程和高级应用程序编程之间的鸿沟。但目前Rust编程的缺点是缺乏一个用于证明Rust程序的有效工具，之前也有很多类似的工作但是不太理想。

该论文展示了Oxide了形式化语义，重新使用类型系统构建了Rust所有权和借用这个核心机制，来推理Rust的行为，并且希望研究人员能将其作为Rust工作的基础。

氧化：Rust的本质（Oxide: The Essence of Rust）

Arxiv平台Rust相关论文整理：

• Rust在安全领域的应用： Angora: Efficient Fuzzing by Principled Search
• Rust实现的Tsetlin Machine
• Tsetlin Machine 对模式识别优化的论文地址
• Rust加密API的可用性如何？
• 使用Javascript安全地管理Rust数据的生命周期
• 优化编译器的未来方向
• Mesh：可避免灾难性内存碎片的内存分配器

ALE现在通过RLS支持了Clippy

#vim

Vim用户注意了。

ale

Google编程之夏项目：改进WebDriver支持

#servo

• Read More
• GSoC

Rust开发游戏24小时经验谈

#game #ecs

作者用Rust开发了一款个网球主题的模拟小游戏，耗费了大概24个小时，游戏虽然没完成，但是他拥有了一些经验想要分享给你。涉及ECS模式。

Read More

使用Rust + Warp + Juniper + Diesel编写Graphql API的模板项目

#graphql #warp #juniper #diesel #api

rust_graphql_api_boilerplate

persy 0.4发布

#TransactionalStorageEngine

persy是一个Rust编写的简单事务存储引擎

persy

日报订阅地址：

• Telgram Channel
• 阿里云语雀订阅
• Stemmit
• Rust.cc论坛
• GitHub