We have reached the end of childhood for programming. Artisanal code written by hand is no longer acceptable and neither is slop code. We need formal methods and we need them 10 years ago.