Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @TonyG@cosearch.bbchallenge.org |
| Display Name | Tony Guilfoyle |
| Discord Display Name | TonyGuil |
| GitHub | https://github.com/TonyGuil/ |
| Discourse profile | https://discuss.bbchallenge.org/u/TonyG/ |
Reproduction of FAR
Dependencies:
Bouncers
Reproduction of Halting Segment
Dependencies:
Reproduction and debugging of Backward Reasoning
Dependencies:
Reproduction of Cyclers
Dependencies:
Reproduction of Translated Cyclers
Dependencies:
Backward Reasoning (BR)