One big company we did work for at my last job had theme names. Each cluster of computers had a theme and each computer was named to match the theme.
The servers we maintained where "North Pole" and had computers named Rudolf, Blitzen, Dancer and Dasher. There was also a group called "Pet Farm" which had cow, pig, goat.
Following their pattern, we named our development computers Hades, Tartarus and Pluto.
Jay