Graydon Hoare:: 50 Years in Formal World: Mainstream Computing's Mirror Universe
Discovered: Jan 13, 2025. 09:07 Graydon Hoare:: 50 Years in Formal World: Mainstream Computing’s Mirror Universe. <– I want to learn and use the formal world if it makes sense for “hobbyists” :-)