The official Lojban IRC channel is at 'irc.lojban.org:6667, #lojban'. This is actually an alias for carter.openprojects.net (actually now irc.freenode.net:6667). We've had a good turnout; there are usually about 10 users on at any moment, although many are away from their computers...
"Not everyone knows how to use IRC. I'm trying to connect through the Trillian software. It's asking me to select a server to use when connecting to IRC. Do I pick one from the list at random? When I try to join this channel, nothing happens." — Matt
"Use the server irc.lojban.org:6667. If it's not there, add it." --LittleDan
Well, it says above which server to use: irc.lojban.org. If you have to specify a port, pick 6667 (but that's the default port for IRC so you shouldn't have to change it). If you try to join #lojban on another server than irc.lojban.org, then you probably won't get the same channel other people are talking about (unless you happen to pick a server on the same network). Specifically, picking an EFNet, DALnet, IRCNet, or Undernet server (to name four of the larger IRC networks) will not get you into the #lojban channel that other people use (joining #lojban will still succeed, since joining a non-existant channel creates it for as long as someone is in that channel, but you'll probably be the only one in the channel). HTH. — Philip.