February Quotes

When I use a model checker, it runs and runs for ever and never comes back … When I use a static analysis tool, it comes back immediately and says “I don’t know” — Patrick Cousot

Just because a problem is undecidable, it doesn’t go away! — Thomas Ball & Sriram K. Rajamani, Microsoft Research, SLAM Project

You keep using that word. I do not think it means what you think it means. — William Goldman, “The Princess Bride”

I’ve never been a praying man. But, if you’re out there, PLEASE SAVE ME SUPERMAN!!!!! — Homer Simpson

First Doctor: Hallo! Now, don’t you worry.
Second Doctor: We’ll soon have you cured.
First Doctor: Leave it all to us, you’ll never know what hit you.
— Monty Python

Life does not cease to be funny when people die any more than it ceases to be serious when people laugh. — George Bernard Shaw

I am not young enough to know everything. — Oscar Wilde

Abandon the search for Truth; settle for a good fantasy.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: