You have to get extremely technical to claim that "either severely misinformed about the world or an idiot" is not an ad-hominem attack. Perhaps a compiler cou

You have to get extremely technical to claim that "either severely misinformed about the world or an idiot" is not an ad-hominem attack. Perhaps a compiler could not prove that the ad-hominem is reachable, but all us humans see it.