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 use famous computer scientists. Torvalds, Kernighan, Ritchie, Woz (for the MacBook). My most recent one was bought in Hampton VA, so I named it kjohnson after Katherine Johnson (as seen in the movie Hidden Figures, she used to work at the NASA facility in Hampton).
I think it’s a good system, and I don’t think I’ll ever run out!