Oh shit...Dennis Ritchie died