Interesting points in there, indeed we rarely see things presented along an advantage in productivity for Rust when it's compared to Python.

Discusions around a fascinating and very important class of errors in distributed systems.

I like it when type systems can express this kind of constraints. It clearly allows to catch mistakes early in the development cycle.