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

into_boxed_slice ptr T Legend 4/8 bytes Box<T> Vec<T> len cap ptr cap len ptr 4/8 bytes T T T Rc<T> ptr strong weak T Box<[T]> len ptr len T T T Box<Trait> T vtable size Arc<T> ptr strong weak T 4/8 bytes atomic allocat... (more…)

I recently saw several posts from ESR discussing his attempts to learn Rust, for use in rewriting NTPsec: “Rust vs. Go” and “Rust severely disappoints me”, as well as “Rust and the limits of swarm design”. These posts gave me the incentive to...

Part 3 covers functions, closures, if-else, while, for..in, range and iterators... (more…)

Kani is a Rust verification tool based on model checking. With Kani, you can ensure that broad classes of problems are absent from your Rust code by writing proof harnesses, which are broadly similar to tests (especially property tests). Kani is especiall... (more…)