Hacker News Reader

You do not have to use your registrar's dns. You can register wherever you like, and host dns from cloudflare, route53, gcloud or whatever you want.

Pretty sure he meant the dns provider. If he was talking about the domain registrar he would have said domain registrar.