EdgeDNS: A high performance DNS cache designed for Content Delivery Networksgithub.com/jedisct12 pointsundecidedly10 years ago