Twitter threads unrolled.
This thread goes over a possible Python implementation for the look-and-say sequence.
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.