Comparison of two concurrency models. This is a light read which shows quite well the differences.

Interesting case where you want to property test but without a specific property base test tool. Indeed, if you need to be exhaustive and the input space is small enough this is the better decision. This article also comes with interesting point on Rust type system but that's less central to the main point.

This is not indeed the win you'd expect. More surveillance coming pushed by the settlement...