Like Mentality said, either method will work. Connecting via the IP numbers doesn't give you a more stable connection but it will get you connected to the IRC server a little bit quicker (one or two seconds) because you're bypassing your ISP's DNS server.