Title: I have noticed many times, writing down a problem and work on it on a paper is much more productive than staring at my screen and&#x2F;or jumping right to code.<p>Last time it happened, I spent a day on a Coq exercise, when I finally I decided to grab a paper and pen, and solved it in 5 minutes.<p>Is this something that anyone else is experiencing? Is it something that has been (dis)-proved?
Upvote: