lukeprog comments on The Inefficiency of Theoretical Discovery