My main server is named Postulate (an idea that you assume for the sake of argument), my desktop is named Axiom (a proved postulate), and my backup server is named Corollary (an idea that follows from an axiom).
What are your computers named, and why?
In theme with my username:
My VMs are uninterestingly named after what they serve. Also I’m not touching my partner’s machines, that stuff is not my problem.