Tardis runs a server as part of the ImaginaryNet IRC network and is the only IRC network that can be connected to from tardis. The server's address is irchost.tardis.ed.ac.uk (works inside tardis but not outside) - irc.tardis.ed.ac.uk points the the IRC networks round-robin (works outside tardis but not inside).
A guide for users on how to connect to the network can be found here.
Tardis admins aren't encouraged to add themselves as opers without the consent of the other network admins.
The server currently runs the default debian installation of hybrid (hybrid-7.2.2.dfsg.2-debian.4(SVN)).
The hub server is ginsberg.weegie.net though cowu.be is also linked to the tardis server. Currently linking between the servers in manual (FIXME?).