Roc now has an IRC channel. See details here: https://roc-project.github.io/roc/docs/about_project/contacts.html -- Victor