To many, Hoare appeared as the quintessential computer science professor, and may have cultivated this image (I do not remember ever seeing him without a tie, or have any such photo, and the absence of a suit on the boat above stands out as an exception); but this impression is in part misleading. He started his career as a programmer and manager in industry, an experience that he recounted in his Turing Award lecture [1]. What academic background he did have was unconventional: he was trained in the classics at Oxford. Some of his work reviewed below is deep in mathematics and logic and one wonders how he learned the material. He did not have a doctorate (other than the many honorary ones he gained later). As a matter of fact, trying to name brilliant British pioneers in computer science (other than Turing) immediately brings up names such as Christopher Strachey, Robin Milner, Peter Landin, and Michael Jackson (requirements engineering visionary, and Hoare’s fellow student at Oxford), none of whom, any more than Hoare, had a PhD. That is not even a purely British phenomenon, since Bob Floyd, pioneer of algorithms and formal methods, was also in this category in the US, as well as Michel Sintzoff in Belgium. Imagine their attempts at an academic career in today’s rule-obsessed system.
Америка приступила к использованию стратегических запасов нефтиПервая партия в 42,5 млн баррелов нефти из стратегического резерва США была извлечена
。snipaste截图对此有专业解读
与想象不同的“核按钮” 前线基地实地探访见闻。关于这个话题，Line下载提供了深入分析
莫斯科公交车事故致九人受伤 14:57
riscv-runner-app: manages GitHub Application webhooks and background processes