Excellent! I was reminded of a project I worked on at IBM in the early 90s. Some boffin (an IBM Fellow or such) had devised a white-box testing approach (or was it black-box?). Wherein one could mysteriously mathematically "prove" the correctness of your code without running a single test. I evaluated the cost of this and concluded that it would take approximately 100X longer and refused to do it (much to the chagrin of the IBM manager)....... As you say, gurus should keep well away from software!
Excellent! I was reminded of a project I worked on at IBM in the early 90s. Some boffin (an IBM Fellow or such) had devised a white-box testing approach (or was it black-box?). Wherein one could mysteriously mathematically "prove" the correctness of your code without running a single test. I evaluated the cost of this and concluded that it would take approximately 100X longer and refused to do it (much to the chagrin of the IBM manager)....... As you say, gurus should keep well away from software!
I chuckled all throughout. This should be a stage play. Thanks for writing it!