Ask HN: What IRC channels do you use to work or study?