Busy Beaver, the current BB(5) conjecture and bbchallenge.org

fikisipi.substack.com