Z3 approach to discover that “q_rsqrt” is in Copilot's slur list | Hacker News Reader