The name as displayed on HN is the "real" domain name, it's a format called Punycode, used to allow Unicode domain names despite DNS only allowing a subset of ASCII characters.
I believe Chrome users can do this as well, however it requires an extension.