you met john gruber at apple?

Many times, yes. He's on campus a few times a year and almost always attends WWDC, the private parties, etc.