I would expect anyone knowledgeable enough to work on bitcoin that wanted to keep a secret wouldn't be talking about private things over IRC of all places.