Dennis Ritchie morreu neste fim de semana. Não deu no Jornal Nacional, nem em lugar algum.

http://en.wikipedia.org/wiki/Dennis_Ritchie#Death

Death – Dennis Ritchie – Wikipedia, the free encyclopedia

He died the weekend of the 8th Oct 2011. As per Rob Pikes report @ https://plus.google.com/u/0/101960720994009339267/posts/ENuEDDYfvKP?hl=en