The Minix 3 IRC channel is #minix on irc.freenode.net