Comment Comment by docfort Related: the Busy Beaver problem https://news.ycombinator.com/item?id=40857041 parent docfort 4 months ago