Bugs that the Rust compiler catches for you: The revolution of compiler-enforced correctness

Over the decades, Humans have proved to be pretty bad at producing bug-free software. Trying to apply our approximative, fuzzy thoughts to perfectly logical computers seems doomed. While the practice