User blog comment:Eners49/The secret 0th hyper-operator?/@comment-35470197-20180726231426/@comment-2601:142:2:EC49:5CB6:1626:ABFF:B911-20180731144121

wait i'm pretty sure idea #2's just the veblen function