shell:$ nslookup -timeout=2 -retry=1 'mathstodon.xyz'
Server:		1.1.1.1
Address:	1.1.1.1#53

Non-authoritative answer:
Name:	mathstodon.xyz
Address: 57.128.189.224
Name:	mathstodon.xyz
Address: 2001:41d0:808:e000::