• don
    link
    fedilink
    arrow-up
    9
    ·
    4 months ago

    Breaking out Rayo’s number into expanded Knuth’s up-arrow notation by hand would be easier than jumping into this.