Hmm, my ISP's DNS servers are down. Circumvented by switching to 4.4.4.4 and 8.8.8.8 because they are easy to remember, but would rather not use Google's DNS...
@Gargron https://www.opennic.org/ (full disclosure I run a server in their pool)
OpenNIC Project

An organization of hobbyists who run an alternative DNS network, also provides access to domains not administered by ICANN.