Source code humor is one of my favorite things in the world. I think when properly done, and ideally involving a pun of some sort, it is the highest form of humor in the world. It was introduced to…