Hacker News new | ask | show | jobs
by ethan_g 3225 days ago
AFAIK boolean circuits proofs generally don't relativize, so there's no need to discuss that.