gwern comments on Pract: A Guessing and Testing Game