If you want to get to the bottom of a problem and of why an accident happen, people need psychological safety. This is indeed necessary if you want them to share truthfully why the accident happened in the first place. Otherwise fear will drive the conversation and hide important facts.

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.