|
|
|
|
|
|
by semessier
94 days ago
|
|
|
unless its greatly exagerated - he was quite mind sharp in his 80s SIR_TONY_HOARE = μX • (think → create → give → X) -- process ran from 1934 to 2026
-- terminated with SKIP
-- no deadlock detected
-- all assertions satisfied
-- trace: ⟨ quicksort, hoare_logic, csp, monitors,
-- dining_philosophers, knighthood, turing_award,
-- billion_dollar_apology, structured_programming,
-- unifying_theories, ... ⟩
-- trace length: ∞
The channel is closed. The process has terminated.
The algebra endures. |
|
|