Not too long ago I happened to watch @jonhoo's Crust of Rust stream on iterators. He implemented the standard library function flatten and along the way explained bits and pieces of Rust's trait system. In the stream, he recommends implementing flat_map a... (more…)

roughenough - A Roughtime secure time sync server written in Rust... (more…)

Level: Intermediate The Rust for Linux project is adding support for the Rust language to the Linux kernel. This talk describes the work done so far and also... (more…)

Paper Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

Rust’s central feature is ownership. Although the feature is straightforward to explain, it has deep implications for the rest of the language. (more…)