Tony Hoare (1934-2026) (via hwayne) — discussion

#person