Full threadboulos·I'm not sure if it was recorded, but I think Don Knuth's Christmas lecture last week was on a related topic. It's a follow-up to his 2018 lecture:https://online.stanford.edu/donald-e-knuth-lecturesView on HN