What is funny?

So this guy's not funny, but I like his dissection of how comedy works, and tools to use.

The Callback is one of my favorite comedy techniques.