The IRC bot used in #infonomicon on freenode