All ~60,000 servers are given 32-bit UUID’s, plus a 3 word CNAME from 3 unique and distinct lists of nouns. i.e. a server would have an A record of 1b30fafd-0a28-4999-b51f-bfa2b8af68e5 and a CNAME of tiger-ball-hill. A few servers that I often SSH into will be given friendly cnames like “bastion1” or “ansible” or something like that.