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.
Many of the jokes are contributions from our users. If you find anything offensive and against our policy please report it here with a link to the page. We will do everything to make this an enjoyable platform for everyone.