gwern comments on Crypto-fed Computation