I met someone similar in a previous company, but was way more objectionable than your college buddy. Some ex-Google DevOps bozo who just made it his life to sni

I met someone similar in a previous company, but was way more objectionable than your college buddy. Some ex-Google DevOps bozo who just made it his life to snipe at other people's code and projects and undermine them whenever possible. I was talking to someone this bozo just called out in a very public forum, and asked why he wasn't furious and the response was more enlightening than anything - "That's all he's got", which was true - the DevOps bozo had absolutely no other life outside his small corner of tech and needed constant reassurance of their own superiority through publicly critizing others work. In the end, folks just ended up ignoring whatever this person said - talking it with a grain of salt.