For some reason I thought Brooks had already died some years ago, but then I remembered that what I had previously read was the comment thread on the announceme

For some reason I thought Brooks had already died some years ago, but then I remembered that what I had previously read was the comment thread on the announcement of his retirement in 2016: https://news.ycombinator.com/item?id=11257437 https://news.ycombinator.com/item?id=11257437