Hacker News new | ask | show | jobs
by hahahahhaah 149 days ago
it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.