User blog comment:Rgetar/Bijective storing ordinals in infinite computer memory/@comment-30118230-20180310184222

Interesting. Do you have any explicid plans of what to do with this? Maybe you can define some ordinal function that diagonalizes over some algorithm.