There's also the misplaced emphasis on speed. Software safety and verification courses are considered "advanced" level. CS undergraduates are now led to believe

There's also the misplaced emphasis on speed. Software safety and verification courses are considered "advanced" level. CS undergraduates are now led to believe that logic is a bore, and is old-fashioned computer science. Of course, with the advent of machine learning, "It Works!" is now considered as enough proof, so that's a whole new level of crazy.