Comment by gus_massa

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