[nandaja]

Yes! an IRC channel would be great! Do you want to start it and post the info here? Or else I can start

[agumonkey]

I remember using IRC chans when doing coursera moocs, it was fun. See ya there

[lanius]

You can start :)

[iKlsR]

Discord seems faster and more likely to attract a small group nowadays.

[nandaja]

Just created one here https://discord.gg/RBPmmdWg

[iamcreasy]

Is this link still valid? It says the invite is invalid.

[vmmenon]

I'm interested too.