User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-35470197-20190825022628

Does it yield an ordinal notation? Or did you just create an OCF, which is not used in computable googology?

By the way, although it is irrelevant to this blog post, I saw that your OCF based on the least weakly Mahlo was ill-defined, because the definition includes circular logic in the definition of \(\chi\) and \(\psi\).