Honestly it wouldn't surprise me if it had been invented multiple times independently, it's just too obvious to anyone that has had to deal with calculation.
(But thanks for sharing what us without a Twitter account cannot see otherwise anymore…)
Clearly we must now start referring to it as ‘Carmack’s sign error joke’ ;)
had you not mentioned that, we might have gotten another fast inverse square root origin investigation