DNS or the Domain Name System translates easy to remember hostnames like google.com into IP addresses, like 142.250.186.78.
The HRZ provides DNS servers for the dormitories. It is possible to use a third party DNS server. Different DNS servers have differing pros and cons, aswell as different priorities.
| DNS-Server | Description | Logging |
|---|---|---|
| 130.83.22.60 | HRZ (Primary) | Unknown |
| 130.83.22.63 | HRZ (Secondary) | Unknown |
| 130.83.56.60 | HRZ (Tertiary) | Unknown |
| DNS-Server | Desciption | Logging |
|---|---|---|
| 1.1.1.1 | Cloudflare (USA, Anycast, Primary) | Some |
| 1.0.0.1 | Cloudflare (USA, Anycast, Secondary) | Some |
| 8.8.8.8 | Google Public DNS (Anycast, Primary) | Yes |
| 8.8.4.4 | Google Public DNS (Anycast, Secondary) | Yes |
| 94.140.14.140 | AdGuard unfiltered (Anycast, Primary) | Some |
| 94.140.14.141 | AdGuard unfiltered (Anycast, Secondary) | Some |
| 9.9.9.9 | Quad9 (Anycast, Primary) | Some |
| 149.112.112.112 | Quad9 (Anycast, Secondary) | Some |
| 91.239.100.100 | UncensoredDNS (Anycast, Primary) | No |
| 89.233.43.71 | UncensoredDNS (Unicast, Denmark, Secondary) | No |