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?
I currently only have a craptop, but I’ve settled on naming them after elements, vaguely based on the power of the machine. My craptop is called hydrogen. I also have a full installation on a USB drive called quark, being less than a full machine/element.