irc.entropynet.net is the server, as for some unknown reason they didn't think entropy.net was a good idea.