Twitter threads unrolled.
This thread goes over a possible Python implementation for the look-and-say sequence.
Tunnel excavation involves lots of boring mathematics.