@joshuagrochow@mathstodon.xyz @tao@mathstodon.xyz On a more personal level, it baffles me how mathematicians could find interesting to do all that boring engineering. Even installing and keeping lean up to date feels to me a chore. And I am a guy who has fiddled with linux for almost three decades.