AtomicQuote

Tony Hoare Quote

There are two ways of constructing a piece of software: One is to make it so simple that there are obviously no errors, and the other is to make it so complicated that there are no obvious errors.

Tony Hoare

There are two ways of constructing a piece of software: One is to make it so simple that there are obviously no errors, and the other is to make it so complicated that there are no obvious errors.

Tags: philosophy

Related Quotes

Advice to my younger self:1 Start where you are with what you have2 Try not to hurt other people3 Take more chances4 If you fail, keep trying

Germany Kent

Advice to my younger self:1 Start where you are with what you have2 Try not to hurt other people3 Take more chances4 If you fail, keep trying

Tags: advice, advice to younger self, anything is possible, authors, award winning authors, be happy, be intentional, be kind, be kind to others, be kind to someone

After your death you will be what you were before your birth.

Arthur Schopenhauer

After your death you will be what you were before your birth.

Tags: death, afterlife, birth, life, life after death, metaphysics, philosophy, you, will

Love powers my heart and color powers my soul.

Anthony T. Hincks

Love powers my heart and color powers my soul.

Tags: color, colour, heart, love, philosophy, power, rainbow, soul

Glory of the world makes life meaningless. Glory of God fulfills it.

indonesia123

Glory of the world makes life meaningless. Glory of God fulfills it.

Tags: acclaim, acquiescent, admiration, adoration, applaud, arrogance, beauty, biddable, bless, blessing

When you're as hot as you are, no amount of ice will do.

Anthony T. Hincks

When you're as hot as you are, no amount of ice will do.

Tags: beauty, color, hot, ice, love, philosophy, pink, sexy, you

Belief is a wonderful way to pass the time until the facts come in.

Carl R White

Belief is a wonderful way to pass the time until the facts come in.

Tags: aetheism, agnostic, agnostic atheism, agnostic theism, agnosticism, agnostics, allah, almighty, angels, arguments

The aim of art is to represent not the outward appearance of things, but their inward significance.

Aristotle

The aim of art is to represent not the outward appearance of things, but their inward significance.

Tags: art, philosophy

You cannot change the past, but you can make a difference now

Avis J. Williams

You cannot change the past, but you can make a difference now

Tags: abundance creation, being, believe, consciousness, cosmic ordering, existence, fear, focus, goal setting, happiness

Live your life in such a way that you'll be remembered for your kindness, compassion, fairness, character, benevolence, and a force for good who had much respect for life, in general.

Germany Kent

Live your life in such a way that you'll be remembered for your kindness, compassion, fairness, character, benevolence, and a force for good who had much respect for life, in general.

Tags: a force for good, author, award winning authors, be kind, be remembered, benevolence, best selling authors, bio, biography, character

A stranger may find beauty in you yet.

Anthony T.Hincks

A stranger may find beauty in you yet.

Tags: beauty, beauty in you, know, life, philosophy, stranger, you
About Tony Hoare

Sir Charles Antony Richard Hoare (; born 11 January 1934), also known as C. A. R. Hoare, is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.