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