Today I learned how to do multiline input in the REPL using an uncommon combination of arguments for the built-in open.
open
Learn how to remove extra spaces from a string using regex, string splitting, a fixed point, and itertools.groupby.
itertools.groupby
Tunnel excavation involves lots of boring mathematics.