Getting to find a good server naming convention is one of the treats of being the CTO of an internet startup. We had some heated discussions around the green table and also during the week from behind our 22" monitors... TV Series characters? Star Wars names (I am not a trekkie)? Planet names so we can make fun of someone doing penetration testing on the planet following Jupiter (anyway, not enough names for our needs).
Then it hit us : energy drink names! I found a huge list and we picked a few of the initial names. Our main production server had to be called Guru, that's our official drink at the HQ. But what about the dev server? Of the many options, Duff was found to represent quite well the team's spirit (and catch a bit of our TV/Comics roots). Our NAS is Rockstar (guess why) and we have Base, Spark, Amp and Rage lined up for a few other servers we have (most in the cloud, we are almost a serverless internet company, almost).
Next up : release/version names!
Funny, we did the same at standoutjobs.
Our main dev server is named redbull.