He died a couple of months ago, and was extensively discussed back then: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11234008" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11234008</a>