User blog comment:Ubersketch/Nested Buchholz Hydras/@comment-35470197-20190830005618/@comment-35470197-20190830012845

Oh, you just deleted the blog post without reading carefully the work by Wythagoras... It is not as strong as you expected, and hence it is not even similar to the one which you wanted to create. (The analysis is wrong, because it never goes beyond \(\psi_0(\psi_{\psi_1(0)}(0))\).)