A arxiv.org Determination of the fifth Busy Beaver value 288 points marvinborner 1 year ago 116 comments