One of my bosses has this running joke about math objects with cool names. He always says, “I wanted to name my son [cool math thing], but my wife wouldn’t go for it… so ‘Vector Boy’ it was.”
Last week in class, we started talking about Heine-Borel, and he said, “I did NOT want to name my son ‘Heine-Borel.’” and I wasn’t thinking and just said, “Yeah, he’d be the butt of everyone’s jokes.”
And my boss thought this was the best joke.
He made me repeat it the next class.
I participated in collaborative Dad Puns with an actual dad.
My pun game is out of control.