JuSt Be CaReFuL
If there’s one lesson from decades of software engineering, it is the failure of “just be careful” as a strategy. C/C++ programmers still experience memory corruption constantly, no matter how careful they are. Java programmers still frequently see
NullPointerExceptions, no matter how careful they are. And so on. One of the reasons that Rust is so successful is that it adds automated checks to prevent many common mistakes.
By the author of the blog Considerations on Codecrafting in Fixing the Next Thousand Deadlocks: Why Buffered Streams Are Broken and How To Make Them Safer.