The IRC bot of #termisoc