clap减肥记（第二集）

减肥 vs 性能

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

---

又一本学习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关键字的支持

你觉得如何？