Hacker News new | ask | show | jobs
by rtkwe 1247 days ago
There are alternatives like simply pinging the servers or one of the many alternative DNS servers like 1.1.1.1 or 8.8.8.8 that are out there.