Works for me (and quite fast, given I'm using the Tor browser).
The top page seems to be working but lookup part seems to choking. Getting one from gpg didn't work, too
It's long been the least reliable keyserver I've used.
What are some better ones?
Hmm, I was about to suggest http://keyserver.eu/ but they seem slow now as well. A sudden surge of interest in PGP?
pool.sks-keyservers.net is a round-robin pool pointing to several dozen synchronized keyservers (including the MIT server). It's usually the default option for most PGP clients. See https://sks-keyservers.net/