This works well for me too :) Specifically when I am going to sleep. Recently, I spent a couple of days working on "tight paving/tiles" problem from Knuth's Chr

This works well for me too :) Specifically when I am going to sleep. Recently, I spent a couple of days working on "tight paving/tiles" problem from Knuth's Christmas Lecture ( https://www.youtube.com/watch?v=BxQw4CdxLr8 https://www.youtube.com/watch?v=BxQw4CdxLr8 ) and surprised myself when I managed to exhaustively enumerate all valid arrangements(around 40 I think) for some small configuration while lying on the bed at night, something that I never thought I could do without a pen and paper.