Checking one’s phone every 5 to 10 minutes is nothing but relaxation. One needs ...

		frizlab 61 days ago \| parent \| context \| favorite \| on: Further human + AI + proof assistant work on Knuth... Checking one’s phone every 5 to 10 minutes is nothing but relaxation. One needs to have the mind at ease to relax.