Tony Hoare meets Graydon Hoare :^) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		taktoa on Sept 30, 2016 \| parent \| context \| favorite \| on: A Hoare Logic for Rust Tony Hoare meets Graydon Hoare :^)

weinzierl on Sept 30, 2016 [–]

I always wondered if they are related.

brson on Sept 30, 2016 | [–]

They are not.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact