Busy Beaver, the current BB(5) conjecture and bbchallenge.orgfikisipi.substack.com1 pointpyentropy2 years ago