This assumes that pi is a normal number [0], a fact that is widely believed but has not been proven.

[0]: https://en.wikipedia.org/wiki/Normal_number

So cool, you can find anything you search for: https://libraryofbabel.info/bookmark.cgi?concernedcoder0001 about 1/2 way down the page you can find: "concerned coder is a programmer living in the sourthern usa, playing a game called eve online while reading hacker news on a sunday night in january"