not sure if the irc channel is still used... i had some troubles to get into the server some time ago i tried it,
anonymous user login
~1yr ago