The OEIS is an amazing tool. I recently came across a sequence from an unusual source and then made the shocking discovery that the sequence already existed. It

The OEIS is an amazing tool. I recently came across a sequence from an unusual source and then made the shocking discovery that the sequence already existed. It turned out to be a wild coincidence. Write-up here: https://nickdrozd.github.io/2021/04/12/math-fact-busy-beaver.html https://nickdrozd.github.io/2021/04/12/math-fact-busy-beaver...