通告： [北京][2019年4月20日] RustCon Asia 第一届 Rust 亚洲技术大会
#RustConAsia2019
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用户注意了。
Google编程之夏项目：改进WebDriver支持
#servo
Rust开发游戏24小时经验谈
#game #ecs
作者用Rust开发了一款个网球主题的模拟小游戏，耗费了大概24个小时，游戏虽然没完成，但是他拥有了一些经验想要分享给你。涉及ECS模式。
使用Rust + Warp + Juniper + Diesel编写Graphql API的模板项目
#graphql #warp #juniper #diesel #api
persy 0.4发布
#TransactionalStorageEngine
persy是一个Rust编写的简单事务存储引擎
日报订阅地址：
1
共 0 条评论, 1 页
评论区
写评论还没有评论