Z3 approach to discover that “q_rsqrt” is in Copilot's slur list

Hacker News September 02, 2021 at 05:45PMComments

https://ift.tt/eA8V8J https://twitter.com/moyix/status/1433261377125326851 from