What is humor?

Recently pondering about what makes something funny to us. why is irony funny. why are dirty jokes funny. etc. etc.