Get Mystery Box with random crypto!

Z3 approach to discover that “q_rsqrt” is in Copilot's slur li | news.ycombinator.com: Hacker News

Z3 approach to discover that “q_rsqrt” is in Copilot's slur list
https://twitter.com/moyix/status/1433261377125326851 | 27 comments