Only perplexity I have is what in the world drove you to hook up with such a loser? You seem to be fairly competent and accomplished ("I work a job in Big Tech") and he seems to be less than useless ("a [semi-technical] college student on summer break"). I guess the "semi" part is only as much as he was able to fake some basic competence while tickling your fragile ego, I bet he's unable to write FOR i=1 TO N without looking it up in ChatGPT.