Comment by cubefox

He says he is retiring from pseudonymity. (Gwern Branwen is not his real name: https://en.wikipedia.org/wiki/Gwern)