I agree the name is a joke. By the way, I really like this comment in the previous post that explain the surprise of the new result(s) https://news.ycombinator

I agree the name is a joke. By the way, I really like this comment in the previous post that explain the surprise of the new result(s) https://news.ycombinator.com/item?id=49375870 https://news.ycombinator.com/item?id=49375870