On: Ask HN: Would you hire someone whose very smart but annoying?

[brianl]

Do not hire as employee. The collective cost of dealing with the annoyance will far outweigh the geek's contribution.

However, consider hiring him as an on-call "consultant" for "special projects" in case the team falls behind schedule. It might motivate them to get ahead. :)