How sad that we all missed when Carl Hewitt submitted that video to HN: https://news.ycombinator.com/item?id=19202209.

I had no idea that a discussion between the three of them even existed.

Also sad that now all three are gone.