Time for my handy "Open this page in Google cache" bookmarklet:

    javascript:window.open("http://webcache.googleusercontent.com/search?q=cache:"+encodeURIComponent(location.href))

Or, if you're using Firefox, use https://addons.mozilla.org/en-US/firefox/addon/web-mirror-vi...

I think you're missing a quote after cache: in there.

Otherwise, very handy, thanks.

Weird. It got stripped out somehow. Thanks for pointing it out; fixed.

Not always dead for me - I think it's just under a heavy load. I guess we've "SlashDotted" it, or, more accurately, "HN'd" it.

Same here. I had to reload a few times before it worked.

Here's the version I found in the Google cache:

http://webcache.googleusercontent.com/search?q=cache:Jxv6vFH...

In that case here's the Coral CDN mirror: http://www.askamathematician.com.nyud.net/?p=4524