Also:
Hier eine kleine Anleitung für Leute, die noch nie was mit IRC zu tun hatten.
Das IRCnet ist eines von vielen IRC-Netzen, die sich um die ganze Welt ziehen. Der Zugang erfolgt direkt über IRC-Server, die auf der ganzen Welt verteilt stehen.
Also als erstes braucht man ein Chat-Programm, mit dem man ins IRCnet connecten kann. Für Windows bietet sich mIRC an, ein Programm, das man hier downloaden kann:
http://www.mirc.de/default.php
Für Linux und Mac empfehle ich xChat,
http://www.xchat.org/download/
Für Konsolen-Puristen ist wohl Irssi das beste,
http://www.irssi.org/?page=download
Nachdem man das Programm erfolgreich installiert hat, muß man noch einige Einstellungen machen, zB seinen Nickname festlegen und den entsprechenden IRC-Server wählen. Der IRC-Server ist quasi das Portal zum weltweiten IRC-Netzwerk. Fürs IRCnet würde ich entweder
irc.uni-erlangen.de
oder gleich
random.ircd.de
nehmen. Es geht natürlich auch jeder andere IRCnet-Server.
Man muss nur aufpassen, daß man nicht versehentlich einen falschen erwischt, im mIRC sind tausende Server voreingestellt.
Nachdem man Verbindung zu dem Server aufgenommen, hat kann man einzelne Chatrooms betreten, sogenannte Channel. Im mIRC geht glaub ich standardmäßig ein Fenster auf, in dem man den Channel eintippen kann, oder man wählt den entsprechenden aus der Liste. Der Channelname lautet in unserem Fall wie gesagt #witze-welt.de. (Die Raute # nicht vergessen

)
Wenn man t-online als Provider hat, dann muß man noch einen kleinen Trick beachten. T-Online-Nutzer müssen bei sich einen sogennanten Ident-Server aktivieren. Dazu gibts massig schöne Anleitungen für jedes Chatprogramm im Internet.
Hier zB:
http://www.ircd.de/doc/ident.html
bzw.
http://yauw.de/irc/ident-FAQ.shtml
Hört sich alles viel schwieriger an als es tatsächlich ist.
Wenn man sich erstmal daran gewöhnt hat, denn gehört IRC genauso mit dazu wie ICQ.
Wenn sich jemand immernoch nicht auskennen sollte oder Probleme hat in den Channel zu kommen, dann schreibt bitte einfach.