< 返回版块

ChaosBot 发表于 2018-01-23 10:07

Tags:rustnews

clap减肥记(第二集)

减肥 vs 性能

这篇文章里,clap作者比较了LTO (Link Time Optimization)和优化级别对编译文件的大小,可以从中学习一些优化技巧。

img


又一本学习Rust的书出炉

step ahead Rust


新项目

支持在控制台预览markdown文件,并支持语法高亮

mdcat

快速简历命令行app

quicli

基于hyper实现的新的websocket server

websocket-serial-server


RustBelt的介绍文

RustBelt是一个证明Rust安全性的项目,采用lris实现了一个叫做λrust的形式化语言,以此来论证Rust的安全性、并发性等(如有理解错误,请指正)。这是为Rust的未来做好理论保证。

RustBelt: securing the foundations of the Rust programming language


用GPU渲染2D矢量图的项目介绍

Introduction to lyon: 2D vector graphics rendering on the GPU in rust crate doc


对嵌入式感兴趣的朋友可以关注这个博客

也是xargo的作者( 今天搞明白了ARM Cortex-M是微控制器),他在搞嵌入式

rtfm项目更新到0.3版本。

rtfm


bindgen发布0.32

bindgen

bindgen项目是自动生成C(部分C++)FFI绑定的库


新的RPC PR

为实现了Into的类型提供as关键字的支持

你觉得如何?

评论区

写评论
Mike Tang 2018-01-23 10:10

干货满满

1 共 1 条评论, 1 页