This has me wondering. When I was in school about 2 decades ago they were using names of Greek or Roman gods for servers. Part of me wonders if many campuses ev

This has me wondering. When I was in school about 2 decades ago they were using names of Greek or Roman gods for servers. Part of me wonders if many campuses even have many servers worth naming now, since all the services I used at that time have now been outsourced to Google or Microsoft long ago. I’m guessing there must still be a few servers in a rack even in a cloud-centric school, but the days of connecting to like “hermes.university.edu” to get email/FTP/web hosting must be gone basically everywhere by now.