Z3 approach to discover that “q_rsqrt” is in Copilots slur list https://twitter.com/moyix/status/1433261377125326851 | 27 comments 18 views13:44