Dennis Richie, Johnny Deep & Random Thoughts