Perfect.

dennis ritchie is gone but the memory we've allocated to him will live on forever

— Pinboard (@Pinboard) October 14, 2011