4 ms·Ben Bova Passes Away at 8811 points by v77 6y agoasicsp 6y agothere's a prior discussion on this: https://news.ycombinator.com/item?id=25259917 https://news.ycombinator.com/item?id=25259917