What? I hadn't heard... :( What a sad week.

This must have gone largely unnoticed... all but 35 comments here on HN spread out of 11 articles reporting on his passing. Sad.