Murió Dennis Ritchie, uno de los pioneros de la informática moderna