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.
An algorithm must be seen to be believed. -- D.E. Knuth