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
-
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.
-
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.
-
I had to give myself permission to act, then others agreed.
-
I found L.A. much less responsive to the name Juilliard than New York was. In New York, that name actually means something. People will look up from their desks when you walk in. In L.A. it's, 'Oh yeah, that's a music school. What do you play?'
-
There's an unintended consequence when it comes to drone attacks in Yemen. Yeah, you take out the al-Qaida stronghold, but you also wipe out the other half of the block. That makes Yemenis against the United States for the rest of their lives and all their descendants.
-
I'm a fairly ascetic person. And I do most of my writing at night. You don't get distracted, your brain goes into what you are writing about, into the world you're writing about, rather than into the world you're in.
-
Why am I not feminist? Maybe because I come from a country where my mother ruled my life. I never felt in any way that I couldn't achieve what I want.
-
I still play that guitar. It's a Martin D-18 with a clear pick guard. I've played that guitar on and off my TV shows for nearly 50 years.
-
Dad wouldn't let me fool with his guitar much, because I'm left-handed, and I'd pick it up upside down. But I remember learning to sing 'Paper Doll,' the Mills Brothers song - this was during the war - and I remember my dad taking me down to one of those little record booths where you could make spoken letters to send home.
-
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.
