Ask HN: How do big tech companies manage their DNS? | Hacker News Reader