Ritchie is dead! Long live Ritchie! Homage to Dennis Ritchie Continue reading “Ritchie is dead! Long live Ritchie!”…