For anyone wondering where IRC users have migrated these days, the answer is Discord.

There are several programming-themed servers with thousands of concurrent users, and many more high population servers for other interest groups.