User blog comment:MALEKIT/Кризис в гугологии?/@comment-2033667-20150630194252

Hi MALEKIT, Bowers' site updates infrequently, and it seems he has abandoned his large number site. Sbiis' site routinely goes dormant for months at a time, but I doubt that he's quit the project.

To me, the most interesting developments in googology are the works of Harvey Friedman, who has found some cases of simple combinatorial statements unprovable in ZFC + large cardinal axioms.