true brilliancy expressed in teaching and research BTW. Did he not coauthor quite a revolutionary proof recently? Cannot put my hand on it or remember what it was.
37 karma · joined January 27, 2022
especially the section on streams (https://www.youtube.com/watch?v=JkGKLILLy0I&list=PLE18841CAB...)
It changed my outook on programming by pi degrees and I feel it is more needed then ever.