CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Reproduction and variations on Bouncers (savask)
Reproduction and variations on Bouncers (savask)
May 2023
·
savask
Dependencies:
Bouncers
Decider
Result Reproduction
Details
Reviews
0
Children
3
Edit
Featured Links
Github
https://github.com/savask/turing/blob/main/Bouncers.hs
Chat about it
https://discord.com/channels/960643023006490684/1028745661459472484/1107257989716516954
Forum Link
https://discuss.bbchallenge.org/t/decider-bouncers/126/20?u=cosmo
Highlighted message
https://discord.com/channels/960643023006490684/1028745661459472484/1107257989716516954
Write-up (Section 7)
https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf
