Mark Schmidt questions optimization theory's relevance to ML practice · Digg