Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @cosmo@cosearch.bbchallenge.org |
| Display Name | Tristan Stérin |
| Discord Display Name | cosmo |
| GitHub | https://github.com/tcosmo |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Cosmo |
| Discourse profile | https://discuss.bbchallenge.org/u/cosmo |
| Personal website | https://tristan.st |
Write-up of Bouncers
Dependencies:
Reproduction of savask's and mei's bouncers
Dependencies:
Reproduction of FAR
Dependencies:
Write-up of Finite Automata Reduction
Write-up of Halting Segment
Reproduction of Halting Segment
Dependencies:
Write-up of Backward Reasoning
Write-up of Translated Cyclers
Write-up of Cyclers
Correctness of bbchallenge's deciders
Translated Cyclers (TCs)
Cyclers
Backward Reasoning (BR)
bbchallenge.org initial release
bbchallenge seed db