Freenode is a good server for FIRST, being intended for free (that is, open source) software and other "peer directed projects". There are a number of FIRST-related channels, FRC, FLL, etc.
See my footer (AAA_awright on Freenode IRC chat. (Join us at ##FRC on irc.freenode.net)) and
http://java.freenode.net .