gwern comments on Spend twice as much effort every time you attempt to solve a problem