yo pondria esa informacion en el hilo [CHAT] canal #inlineonline abierto, pero ya que has abierto un nuevo hilo, solamente decir que oficialmente, el servidor a utilizar para conectarse a la red irc-hispano es el servidor «irc.irc-hispano.org», y que a su vez es un dns round-robin:
host irc.irc-hispano.org
irc.irc-hispano.org is an alias for libres.irc-hispano.org.
libres.irc-hispano.org has address 195.85.200.15
libres.irc-hispano.org has address 195.85.200.16
libres.irc-hispano.org has address 62.42.230.93
libres.irc-hispano.org has address 194.149.73.7
libres.irc-hispano.org has address 194.149.73.55
libres.irc-hispano.org has address 194.149.73.161
libres.irc-hispano.org has address 195.85.200.10
libres.irc-hispano.org has address 195.85.200.11
libres.irc-hispano.org has address 195.85.200.12
libres.irc-hispano.org has address 195.85.200.13
libres.irc-hispano.org has address 195.85.200.14
(lo cual quiere decir con antes o despues ya te conectaras a un servidor irc-hispano funcional, independientemente de si bigbang/aire/lo-que-sea esta en servicio o no).
añadir que aunque un servidor (por ejemplo «bigbang») vaya bien para una persona, no necesariamente tiene porque irle bien tambien a otra persona que posiblemente conecte al servicio irc usando otro ISP o desde otra red. los round-robins intentan remediar este tipo de problemas, aunque tambien es cierto que cada persona deberia apuntar el nombre (o numero IP) del servidor que le vaya mejor, para futuras referencias.