Grindr uses an AI coding tool called Devin, from the company Cognition, to identify and fix bugs