Is there an IRC channel for this course?

I am more comfortable in the IRC channels and was wondering if we could create some channels to chat more informally?