We use phpBB for the forum. This will be changed soon. phpBB is terrible in just about every way. We've finally been able to dedicate some of our internal resources to replacing it with something fast, secure, and reliable. It will be coming shortly after the new year.