Discord is not built on IRC. It's a completely custom, proprietary thing. "Servers" are not separate machines, as they are in IRC land, they're just groups of channels.