Ask HN: If you could ask Tony Hoare one question, what would it be? | Heykuki News