Rust unsafe 类型需要大修(Rust's Unsafe Pointer Types Need An Overhaul)

作者 Aria Beingessner 在文中指出了他认为 Unsafe 指针类型中的三个大问题：

• 允许把整数声明为指针 （Integer-To-Pointer Casts Are The Devil）
• 引用的有效断言过于严格（References Make Really Strong Assertions）
• 偏移和位置很混乱（Offsets And Places Are A Mess）

并且在文中给出了一些解决方案。

原文：https://gankra.github.io/blah/fix-rust-pointers

cargo-spec 用以将代码转换成规范文档（specification)的工具

这款工具需要两样东西：

• markdown 格式的模板文档，里面可以用占位符以供获取代码
• 规格文档，用以列举需要用在模板中的代码清单

原文：https://www.cryptologie.net/article/553/the-code-is-the-specification-introducing-cargo-spec/ 仓库：https://github.com/mimoo/cargo-specification