Comment by lanstin

For me, the functionally useful bit of these ideas are that pushing pushing pushing your mind on one problem is not an effective use of resources. Alternating pushing with not pushing often finds good solutions faster.