Since he's already here, maybe I could solicit a comment from him to an older post of mine regarding another of his articles: https://news.ycombinator.com/item?

Since he's already here, maybe I could solicit a comment from him to an older post of mine regarding another of his articles: https://news.ycombinator.com/item?id=7849386 https://news.ycombinator.com/item?id=7849386