Does anyone know what OS Terry Tao uses? I'm just really curious.

install gentoo

>>60308715
Chinkdows 10.

>>60308715

he runs a templeOS VM inside of an arch VM inside of a trisquel VM running on a dyne:bolic USB

>>60308715
most likely MacOS with MacBook Pro, like other bright minds whom are busy contributing to society doing what they are passionate in, and simply need an OS that just werks.

Bubuntu

Windows 10.

>>60308715
OpenSUSE is really popular with mathematicians

File: 1494221113270.png (236KB, 808x805px) Image search: [Google]

236KB, 808x805px

>>60309256
Kms, arch isnt hard to install >:^(

Scientific linux...source : i forgot where i read it..

File: 1494359210273.png (13KB, 650x650px) Image search: [Google]

13KB, 650x650px

>>60309988
If opensuse == "good" then
print ("end your life now")
end

( lua is love, lua is life )