Please connect using the round robin: irc.insomniairc.net since servers may come and go. But if you must know, we have two servers:

• hypocrisy.insomniairc.net (IPv6, SSL)
• leibniz.insomniairc.net (IPv6, SSL)

The port is 6667, as usual. SSL is available on 6697.