lukeprog comments on From Philosophy to Math to Engineering