I don't think this post was limited on side projects. Many people reading this are working, or will work in environments where safety and correctness are important, if not critical.