It appears that a major internet DNS provider UltraDNS is having timeout issues. While we don’t use them ourselves, one of our upstream providers that hosts some of our web content does. This may cause some sporadic timeout issues on our website for some of our users.
Update 9:45AM EDT
Looks like UltraDNS has corrected their problem. Everything should be functioning normally again.