Our IRC host, Freenode, appears to be having some problems with DDOS currently, so don't fret if you can't get onto the IRC; it should be back in a day.