The tributes to Dennis Ritchie won’t match the river of praise that spilled out over the web after the death of Steve Jobs. But they should. And then some. “Pretty much everything on the web uses ...