Not sure who uses IRC anymore, but I found it very useful back in the day with the iPhone and Mac community (#macdev, #iphonedev).
Apparently there is a channel on irc.freenode.net (the most popular IRC server) called #cocos2d-x. If anybody is interested, I think it would be useful to start making use of it for those who are working together or who need some questions answered.