The problem

The problem with physicists is that they tend to cheat in order to get results. The problem with mathematicians is that they tend to work on toy problems in order to get results. The problem with program verifiers is that they tend to cheat at toy problems in order to get results.

They say that the new super computer

They say that the new super computer knows everything. A skeptical man came and asked the computer, “Where is my father?” The computer bleeped for a short while, and then came back with “Your father is fishing in Michigan.” The skeptical man said triumphantly, “You see? I knew this was nonsense. My father has been dead for twenty years.” “No”, replied the super computer immediately. “Your mother’s husband has been dead for twenty years. Your father just landed a three pound trout.”

The boy is smoking and

The boy is smoking and leaving smoke rings into the air. The girl gets irritated with the smoke and says to her lover: “Can’t you see the warning written on the cigarettes packet, smoking is injurious to health!” The boy replies back: “Darling, I am a programmer. We don’t worry about warnings, we only worry about errors.”