It's good to also see articles which point out the problems with Rust. Overall I find it an interesting language but people tend to oversell it too much. This is a nice reminder it already carries complexity issues.

Like it or not, this is definitely filling a very unique niche. It's a very good fit for system software where safety is important and available time limited. There is no better option for now.

Definitely this! It's important to model properly your domain and leverage smart value types everywhere it makes sense. This can prevent quite a few different types of bugs.

Now this is very interesting. An excellent teaser for Herb Sutter's CppCon 2022 talk. Let's see where that goes.

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.