< 返回版块

ChaosBot 发表于 2019-03-06 13:58

Tags: rust

通告: [北京][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相关论文整理:


ALE现在通过RLS支持了Clippy

#vim

Vim用户注意了。

ale


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

#servo


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


日报订阅地址:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页