wait, devin? last time I heard that name it was the joke AI engineer that couldn't achieve shit people laughed about?