RobustIRC — IRC without netsplits reddit / irc