Someone should tell Stephen Wolfram about the bbchallenge wiki (bb for busy beaver): https://wiki.bbchallenge.org/wiki/Main_Page