Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @int-y1@cosearch.bbchallenge.org |
| Display Name | Jason Yuen |
| Discord Display Name | -d |
| GitHub | https://github.com/int-y1 |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Int-y1 |
| Discourse profile | https://discuss.bbchallenge.org/u/int-y1 |
1RB2LB---_1RC2RB1LC_0LA0RB1LB (u.h.id. 642) does not halt
1RB2LA0LA_2LC---2RA_0RA2RC1LC doesn't halt
Skelet #26 and #15 don't halt
Skelet #33 doesn't halt
Reproduction of Halting Segment
Reproduction of Backward Reasoning