What did Tony Hoare mean by: The job of formal methods is to elucidate the assumptions upon which formal correctness depends. - Tony Hoare Computer Scientist · England Copy
+ Some problems are better evaded than solved. Feraz Zeid, July 6, 2023December 25, 2024, Tony Hoare, Avoidance, Complexity, Resolution, 0 - Tony Hoare Computer Scientist · England
+ The unavoidable price of reliability is simplicity. Feraz Zeid, June 20, 2023December 25, 2024, Tony Hoare, Price, Reliability, Simplicity, 0 - Tony Hoare Computer Scientist · England
+ Premature optimization is the root of all evil in programming. Explain Feraz Zeid, December 23, 2023February 5, 2024, Tony Hoare, Evil, Roots, Simplicity, 0 - Tony Hoare Computer Scientist · England
+ Inside every large program is a small program struggling to get out. Explain Feraz Zeid, December 23, 2023February 5, 2024, Tony Hoare, Program, Simplicity, Struggle, 0 - Tony Hoare Computer Scientist · England
+ I call it my billion-dollar mistake. It was the invention of the null reference in 1965. Feraz Zeid, December 23, 2023January 10, 2024, Tony Hoare, Dollars, Mistake, 0 - Tony Hoare Computer Scientist · England
+ You cannot teach beginners top-down programming, because they don’t know which end is up. Feraz Zeid, December 23, 2023January 10, 2024, Tony Hoare, Beginners, Top Down, Trust, 0 - Tony Hoare Computer Scientist · England
The two men stared at each other. Assumptions were made, judgments rendered, dicks measured. - Jennifer Estep Author
In a start-up company, you basically throw out all assumptions every three weeks. - William Lyon Phelps Professor · USA
The explanation requiring the fewest assumptions is most likely to be correct. - William of Ockham Philosopher · England
We’d all be alot happier if we’d stop assuming we’re supposed to be happy. - Garrison Keillor Writer · USA
It is, I assume, quite easy to wither into old age, and hard to grow into it. - May Sarton Poet · Belgium
You have to assume everything is going to end up online, even if you’re alone in a hotel elevator. - Megan Fox
