Great stuff. I followed the thread when he released the challenge and enjoyed reading the comments and quibbles people had along the way. Also, strongly agree

Great stuff. I followed the thread when he released the challenge and enjoyed reading the comments and quibbles people had along the way. Also, strongly agree on zero overlap between bulldogs and theorem provers. Those who were assholes didn’t make a single effort to contribute productively to the discussion. A good reminder that jerks (no matter how brilliant they think of themselves) can be safely ignored.