Google Search Error!

On monday while searching on google I get a server error. I was surprised, this was the first time this happened on google search (though I've faced it in other google sites). Initially I thought our proxy server was acting up but soon realized that the problem was elsewhere. Slasdot covered this story and I read it again on cnn.