IRC channels

The official Parabola channel is #parabola, hosted on Freenode.