User contributions for UncombedCoconut
Jump to navigation
Jump to search
4 November 2024
- 17:2217:22, 4 November 2024 diff hist +19 N File:BB6 holdouts 4521.txt Sigh. current
2 September 2024
- 17:2417:24, 2 September 2024 diff hist −10 m Beaver Math Olympiad Tweak English wording. Tag: Visual edit: Switched
28 June 2024
- 20:4120:41, 28 June 2024 diff hist +30 Main Page No edit summary
- 20:3920:39, 28 June 2024 diff hist +275 Cryptids Add the BB(6) critter, which might be named.
- 20:1020:10, 28 June 2024 diff hist 0 1RB1RA 0LC1LE 1LD1LC 1LA0LB 1LF1RE ---0RA oops, iterations run was off by a factor of 10. Tag: Visual edit
- 19:3719:37, 28 June 2024 diff hist −60 1RB1RA 0LC1LE 1LD1LC 1LA0LB 1LF1RE ---0RA Improved usage of Ye Olde Wiki Markup
- 19:3419:34, 28 June 2024 diff hist −948 1RB1RA 0LC1LE 1LD1LC 1LA0LB 1LF1RE ---0RA No edit summary Tag: Visual edit: Switched
23 June 2024
- 18:2118:21, 23 June 2024 diff hist +192 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC No edit summary Tag: Visual edit: Switched
- 18:1118:11, 23 June 2024 diff hist +1,675 N 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC Created page with "{{machine|1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC}} https://bbchallenge.org/1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC A machine on the critical path to proving the busy beaver value "BB(6, 2, 2)" (6-state, 2-symbol, 2 undefined transitions). (Machines 1RB0RB_1LC1RB_---0LD_1RA0LE_1RF1LE_---0RA, 1RB1LA_1LA0RC_---0RD_1LE1RD_0LA0LF_---0LA, and 1RB1LA_1LA0RC_---0RD_1LE1RD_1LB0LF_---0LA <ref>The holdout list omits the last one. Since holdout l..."
29 May 2024
- 12:1212:12, 29 May 2024 diff hist +3,248 N Code repositories Created page with "This is a stub, to be expanded to a family of pages (probably) explaining the deciders' capabilities and other info about them. * [https://github.com/bbchallenge/bbchallenge-deciders The official bbchallenge deciders repo] * [https://github.com/ccz181078/Coq-BB5 Coq-BB5 by @mxdys] * [https://github.com/meithecatte/busycoq A hybrid Coq/Rust/OCaml repo implementing very fast deciders plus verified proofs, by @mei]..."