@dhy what I try to do, but it works very partially, is to fix times in my schedule for specific writing tasks. Another very general idea is to always work in groups and then you feel responsible to the other members :-)
@dhy With great difficulty (seriously, this is something that's super hard for me to do). If you find a good trick please tell me :)
@BrunoStonek I'm not even sure I know what a homotopy-theoretical analog of a field is... My intuition is that we should try to generalize the notion of strictly henselian ring instead
