news.volyx.in

Tony Hoare has died (blog.computationalcomplexity.org)

2043 points by speckx · 128 days ago · 268 comments on HN

Article summary

Tony Hoare, a renowned computer scientist and Turing Award winner, has passed away at the age of 92. He is famous for his contributions to computer science, including the development of the quicksort algorithm, Hoare logic, and his work on concurrency. The article shares personal reflections from someone who knew him, highlighting his personality, sense of humor, and sharp mind. Hoare's legacy extends beyond his technical contributions, with many remembering him as a kind and inspirational figure.

Main themes

  • Tony Hoare's legacy
  • Computer science contributions
  • Quicksort algorithm
  • Concurrency and formal methods
  • Personal reflections and anecdotes

What commenters say

  • Tony Hoare's work on formal methods and concurrency was ahead of its time and will eventually see a comeback with the help of AI.
  • The null reference, considered Hoare's 'billion dollar mistake', is a necessary evil in software development, allowing developers to interface with system realities.
  • The actor model and software transactional memory are alternative approaches to concurrency that have their own strengths and weaknesses.
  • Formal verification of software is not as widespread as it could be, despite Hoare's efforts to make it more tractable, but it is still used in various forms, such as static analysis algorithms.
  • Hoare's contributions to computer science extend beyond his technical work, inspiring generations of programmers and computer scientists with his kindness, humility, and passion for the field.
  • The use of formal methods and verification can help prevent errors and bugs in software development, but it may not be practical or cost-effective for all projects.
  • Hoare's work on quicksort and other algorithms has had a lasting impact on the field of computer science, and his legacy will continue to be felt for years to come.
  • The complexity of modern software systems requires new approaches to concurrency and verification, and Hoare's work provides a foundation for these efforts.