From PrgmrWiki

well, it has a 'channel', though perhaps unofficial and (currently unpublished?); did you mean 'server' ?

I don't think we will have our own irc server, and the channel is official I think. We are in the process of registering it with freenode. A while ago some people were being really annoying though, so we decided to make it a little bit more obscure. The information is still in the history of the page anyway. --Nick 02:21, 7 October 2009 (UTC)