The new Gödel Prize winner tastes great and is less fillingblog.computationalcomplexity.org110 pointsbaruchela year ago