Remix.run Logo
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.

simgt 3 days ago | parent [-]

CS thesis that requires traveling, tell us more! What's the topic? :)

tekne a day ago | parent | next [-]

I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!

jll29 3 days ago | parent | prev [-]

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...