Micah R Ledbetter /mɹ̩ˈled/
@mrled
(Technically you could hard code someone’s NTP server’s IP address, but this is considered bad manners, and is not robust besides. The pools are made by round robin DNS, so if you want to use Internet NTP servers correctly, you must have working DNS.)
