Varnish wasn't in production at that point. We're testing/using Varnish now for some things. It definitely is helping.

In the general caching front though, I want to note though that Disqus is particularly hard to cache -- there's a very long tail leading to relatively a high miss:hit ratio per pound of caching.