3 ms·
He died in August and there was a good thread about him back then: https://news.ycombinator.com/item?id=20689675 https://news.ycombinator.com/item?id=20689675
by davidw 7y ago
He died in August and there was a good thread about him back then: https://news.ycombinator.com/item?id=20689675 https://news.ycombinator.com/item?id=20689675