Y
Hacker News
new
|
ask
|
show
|
jobs
by
joel_ms
2621 days ago
Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0]
[0]
https://en.wikipedia.org/wiki/Hoare_logic