Uhh, as much as I'm not sure of the reason, I do know you can go to liran's server which is at irc.linux-users.net . As I know, however, AO IRC is working right now. Hope I helped!