Rust’s central feature is ownership. Although the feature is straightforward
to explain, it has deep implications for the rest of the language. (more…)
Read 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…)
Read 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...
Read more »
Part 3 covers functions, closures, if-else, while, for..in, range and iterators... (more…)
Read 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…)
Read more »