User blog comment:PsiCubed2/For Newbies (and Veterans too): The Great Scale of Googology/@comment-25601061-20171219161544/@comment-25601061-20171219171425

Bold text@PsiCubed2

I don't remember where, but you can download a .gz file that contains the full version of the code for Loader's Number (this), and, along with other stuff, a README file where Loader claims that D(x) > computable part of higher order logic. Citing from that file: