The Jblow and Muratori rants are contentious. Try arguing for formal methods some time. The industry has had enough time to expand to include many different ze

The Jblow and Muratori rants are contentious. Try arguing for formal methods some time. The industry has had enough time to expand to include many different zeitgeists. I find myself smirking when I read old ewd essays decrying how programmers then didn’t understand programming. Seems like we’ve continued down that path. From my part of the pond you’d expect the Computer Science questions to cover areas of combinatorics, abstract and linear algebra; satisfiability, search, and the like. But we are talking about a pop culture type of show and what is the most popular form of programming today?