Tim Hua comments on Anton de la Fuente’s Shortform

[Tim Hua]

Thanks for catching this Anton! I’ve updated our lesswrong post to incorporate results from my replication.