Article URL: https://mathstodon. xyz/@tao/117244102901892965 Comments URL: https://news. ycombinator. com/item?