How many computer programmers does it take to screw in a light bulb?
None! They don't do hardware.

"Have you heard about the object-oriented way to become wealthy?"
"No..."
"Inheritance."

Q: How do you keep a programmer in the shower all day?
A: Give him a bottle of shampoo which says "lather, rinse, repeat."

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 programmers verifiers is that they tend to cheat at toy problems in order to get results.