Comment Comment by gnabgib Related Marshall Brain has died (322 points, 2 days ago, 157 points) https://news.ycombinator.com/item?id=42228759 parent gnabgib 1 year ago