Sol is the main server, individual computers are named starting with the inner most planet Mercury and go from there. Mobile devices are named after their type and user, e.g. Hank's Smartgun, Gene's E-Whip, Peter's Shrinkray, Josy's Iphone.
"Pascal is Pascal is Pascal is dog meat." -- M. Devine and P. Larson, Computer Science 340