I really liked the points he touched on about categorical, logical, and telepathic computing Linux based systems