MixedNuts comments on Remaining human

[MixedNuts]

No matter how smart you are, there are hard problems. Compute Busy Beaver numbers.