jacquesthibs comments on Algorithmic Improvement Is Probably Faster Than Scaling Now