For some reason the blog post mentions the 31.4T record and the 62.8T record, but not the 50T record [1]. Weird.
[1] https://blog.timothymullican.com/calculating-pi-my-attempt-b...