Theory and Design in the Second Machine Age