The Busy Beaver Frontier – Humanity's quest against the uncomputable (dwarkesh.substack.com)

Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.