Jim Horning Quotes
To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.
Quotes to Explore
-
It's very juicy to twirl your mustache and figure out why people do the horrible things that they do. It's not just because they are evil, but because that's how they somehow explain the world to themselves and justify themselves. It's always interesting figuring out how that happens.
-
I'm big on manners. I'm big on politeness. I'm big on gratitude.
-
Humans don't 'need' math-based cryptocurrencies when dealing with other humans. We walk slowly, talk slowly, and buy big things. Credit cards, cash, wires, checks - the world seems fine.
-
Everyone enjoys doing the kind of work for which he is best suited.
-
(A Foreign Secretary) is forever poised between the cliche and the indiscretion.
-
France is a fantastic country. It's between the Anglo-Saxon and Latin cultures. We have some of the Anglo-Saxon rigor, and some of the Latin quirkiness.
-
Like great teams in sports and business endeavors, if there's a chemistry among the participants, and they truly enjoy fellowship together, everybody wants to be there, stay involved, and just have fun together.
-
I've got a PowerPoint deck that I use for internal presentations, and there's a slide on it that asks, 'What percentage of your game is combat versus exploration versus puzzle solving versus platforming,' and I refuse to answer that question.
-
I'm constantly trying to keep people guessing as to what I'm doing, and I will spend enormous amounts of time looking at manuscripts and asking questions, and people will say, 'I know what his next book is about.'
-
Racism is unacceptable in the real world, and it's unacceptable online.
-
Living in New York City is one constant, ongoing literary pilgrimage. For 20 years, I lived among the ghosts of great writers and walked where they had walked.
-
I'm sure my father had more to do with my career than I would like to give him credit for. I would love to think it was all me!
-
Social conditions that spur large numbers of people into action are ignored in favor of a Hollywood version of history focusing on one conquering hero. Since a movement for social change is embodied in its leader, death of the leader means death of the movement.
-
President Trump is right to welcome China's help in bringing North Korea's illicit nuclear program to heal, but he's also correct that if China doesn't go along, the U.S. can act alone.
-
The real and lasting victories are those of peace, and not of war.
-
So if I get these actors for 30% of their price by coming in so late with an offer when they know they are not getting another offer then I do it this way.
-
It's an unfortunate reality of life that toxins are constantly building up in our bodies.
-
Among those who are satisfactory in this respect it is desirable to have represented as great a diversity of intellectual tradition, social milieu and personal character as possible.
-
Even in college I tended to get cast in the comedies more. It was what I liked doing.
-
It used to be that watching a film was a very special occasion, the same way flying was. Before, if you took a flight from New York to L.A., most of the windows would be open. Now, we get on planes and we just close them because we're so used to what it feels like. I think the same thing has happened with cinema.
-
I hear a lot of artists become kinda self-referential, and a lot of people that tour a lot tend to write about the perils of being on the road later in their careers.
-
We don't appreciate the value of humor sometimes.
-
To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.
