[sreyaNotfilc]

You mean Dennis Ritchie...

BTW, I posted news about his death (I heard of it a week after he died, go figure) on facebook. Its sad that one person replied with RIP Mr. Ritchie and a "like". I was pleased though.

That's the way the world turns.

[zwegner]

Yep, same with John McCarthy, who died around the same time.