Comment by tekne
3 days ago
Much of my PhD thesis was/is done traveling in places with poor, poor Internet. Currently on my laptop in rural Calabria, where I pull a blazing fast 60 kbps, sometimes. Would be very irritating waiting for the compiler/theorem prover to go brr, remotely… I can hardly edit a Google doc out here!
This doesn’t contradict your minority point, but it really does make me appreciate local-first.
CS thesis that requires traveling, tell us more! What's the topic? :)
I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!
Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)
If I had been in Italy, perhaps my Ph.D. would never have been finished...