In 9th grade insists "I don't see the point of these classes I'm going to be a programmer," takes AP comp sci as sophmore finds it insultingly easy [gets in trouble for going ahead of teacher], resents homework vocally and refuses to do it on principle but still gets great scores on tests, places in the school math competition but initially gets kicked out of the award ceremony for refusing for the "National Honor Society" performance, 12-grade gets official permission to work half-time coding and only take half classes.
That's what I was, and I don't think anybody else has ever given me a word for it. I knew pedantic nerds, and intense nerds, and condescending nerds, but few with real conviction.
Could the terminology just be in flux, and therefore create confusion? With woke et al., we've got pleeeeeenty of examples of smart folks who miss the social norm du jour, attempt to say something true but rather say something unacceptable. And then they get ostracized or fired.
Maybe these folks are some examples of what used to be called nerds. Do we have a name for them?
Also, these days if you are a smart ambitious person looking to make an impact with technology you're not terribly edgy and you certainly aren't defying any major social norms. And that's a good thing.