Generally, a play on words, although the idea of puns has been applied to visual and musical media as well. Puns are considered, variously, to be the highest form of humor, the lamest form of humor, or an excuse to kill someone. When it comes down to it, puns are pretty damn geeky, although not all geeks seem to think them too terribly punny. (ha! Pun!)