I never heard the term until I did it to someone. He said I nerd sniped him, but now there is an algebraic constraint solver written in Rust on github. He wrote a decent blog about it too.

It's an xkcd reference: https://xkcd.com/356/

Hadn't heard it either until I saw it twice here on HN this week. Interesting how that goes.