Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @Iijil@cosearch.bbchallenge.org |
| Discord Display Name | Iijil |
| GitHub | https://github.com/Iijil1 |
| Discourse profile | https://discuss.bbchallenge.org/u/Iijil/summary |
2-symbol TM compiler
Meet-in-the-Middle Weighted FAR (MITMWFAR)
Reproduction and variations on Bouncers (Iijil)
BB(2,4) = 3,932,964
Dependencies:
Machine #10756090, also known as Finned 3, is irregular
Bruteforce Closed Tape Language (CTL)
Halting Segment (HS)