Does anyone know any writeups that describe how someone solved a difficult problem they couldn't previously solve, using a note-taking app?