User contributions for Cosmo
Jump to navigation
Jump to search
9 August 2025
- 16:1816:18, 9 August 2025 diff hist +134 Champions →4-Symbol TMs Tag: Visual edit
- 15:5315:53, 9 August 2025 diff hist −1 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE No edit summary Tag: Visual edit
- 15:5215:52, 9 August 2025 diff hist +124 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE No edit summary Tag: Visual edit
- 06:4306:43, 9 August 2025 diff hist +12 Holdouts lists No edit summary Tag: Visual edit
- 06:4206:42, 9 August 2025 diff hist +90 Holdouts lists No edit summary Tag: Visual edit
- 06:4006:40, 9 August 2025 diff hist −93 Holdouts lists →Downloadable Holdout Lists Tag: Visual edit
- 06:3906:39, 9 August 2025 diff hist +8 Holdouts lists No edit summary Tag: Visual edit
- 06:3906:39, 9 August 2025 diff hist +17 Holdouts lists No edit summary
- 06:3806:38, 9 August 2025 diff hist +15 Holdouts lists No edit summary Tag: Visual edit
- 06:3406:34, 9 August 2025 diff hist +171 Holdouts lists →Downloadable Holdout Lists Tag: Visual edit
- 06:3306:33, 9 August 2025 diff hist +20 N File:BB6 holdouts 2728.txt No edit summary current
8 August 2025
- 13:4913:49, 8 August 2025 diff hist +227 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD No edit summary Tag: Visual edit
4 August 2025
- 08:2508:25, 4 August 2025 diff hist +1 TMBR: July 2025 →Holdout
- 08:2408:24, 4 August 2025 diff hist 0 Main Page No edit summary
- 08:2408:24, 4 August 2025 diff hist +269 Main Page Advertising TMBR on main page Tag: Visual edit
15 July 2025
- 14:5714:57, 15 July 2025 diff hist +32 Busy Beaver Challenge No edit summary Tag: Visual edit
3 July 2025
- 11:5711:57, 3 July 2025 diff hist +4 Beaver Math Olympiad →5. 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE (bbch) current Tag: Visual edit
- 11:5511:55, 3 July 2025 diff hist +1 Beaver Math Olympiad →5. {{TM|1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE|undecided}}
- 10:4210:42, 3 July 2025 diff hist +1,065 Hydra Fast Hydra sim Tag: Visual edit: Switched
- 10:4110:41, 3 July 2025 diff hist −2 Antihydra →Code
- 10:4010:40, 3 July 2025 diff hist +1,052 Antihydra →Code Tag: Visual edit
27 June 2025
- 20:1420:14, 27 June 2025 diff hist +13 m Main Page Reverted edits by Xl643 (talk) to last revision by Mxdys Tag: Rollback
10 June 2025
- 22:1822:18, 10 June 2025 diff hist +6 Main Page No edit summary Tag: Visual edit
16 May 2025
- 19:4519:45, 16 May 2025 diff hist +235 Bigfoot No edit summary
1 May 2025
- 12:3312:33, 1 May 2025 diff hist +219 Antihydra No edit summary Tag: Visual edit
- 12:3312:33, 1 May 2025 diff hist +215 Hydra No edit summary Tag: Visual edit
10 January 2025
- 11:4611:46, 10 January 2025 diff hist +18 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 11:4511:45, 10 January 2025 diff hist +1,668 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 11:3911:39, 10 January 2025 diff hist +1,235 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
27 November 2024
- 10:1410:14, 27 November 2024 diff hist +10 Busy beaver lack of hope recurrence →BB(3) to BB(4) Tag: Visual edit
- 01:0901:09, 27 November 2024 diff hist +7 Skelet 17 No edit summary Tag: Visual edit: Switched
11 November 2024
- 20:2720:27, 11 November 2024 diff hist +155 N Halting Segment Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up." Tag: Visual edit
- 20:2720:27, 11 November 2024 diff hist +158 Bouncer No edit summary Tag: Visual edit
- 20:2620:26, 11 November 2024 diff hist +152 Finite Automata Reduction (FAR) No edit summary Tag: Visual edit
- 20:2520:25, 11 November 2024 diff hist +156 N Backward Reasoning Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up."
- 20:2420:24, 11 November 2024 diff hist −20 Decider →List of Deciders current
- 20:2420:24, 11 November 2024 diff hist +19 Decider →List of Deciders Tag: Visual edit
- 20:2220:22, 11 November 2024 diff hist +206 Translated cycler No edit summary Tag: Visual edit
3 October 2024
- 09:5409:54, 3 October 2024 diff hist −1 Busy beaver lack of hope recurrence →BB(3) to BB(4) Tag: Visual edit
- 09:5009:50, 3 October 2024 diff hist +7 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 09:4909:49, 3 October 2024 diff hist −43 Busy beaver lack of hope recurrence →BB(4) to BB(5) Tag: Visual edit
- 09:4709:47, 3 October 2024 diff hist +440 Busy beaver lack of hope recurrence →BB(3) to BB(4) Tag: Visual edit
- 09:4609:46, 3 October 2024 diff hist +71 N File:Capture d’écran 2024-10-03 à 11.45.55.png No edit summary current
1 October 2024
- 10:3810:38, 1 October 2024 diff hist +117 Papers & Talks No edit summary current Tag: Visual edit
26 September 2024
- 21:3021:30, 26 September 2024 diff hist +95 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 21:2921:29, 26 September 2024 diff hist −2 Busy beaver lack of hope recurrence No edit summary
- 21:2921:29, 26 September 2024 diff hist +41 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 21:2721:27, 26 September 2024 diff hist +493 Busy beaver lack of hope recurrence No edit summary Tag: Visual edit
- 21:2621:26, 26 September 2024 diff hist +1 N File:BradyBB(5)isHopeless.png No edit summary current
- 21:1721:17, 26 September 2024 diff hist +1,375 N Busy beaver lack of hope recurrence Created page with "People working on BB(n-1) believed BB(n) was impossible: * BB(3) -> BB(4): "In any case, even though skilled mathematicians and experienced programmers attempted to evaluate 2(3) and 5(3), there is no evidence that any known approach will yield the answer, even if we avail ourselves of high-speed computers and elaborate programs. As regards \Sigma(4), S(4), the situation seems to be entirely hopeless at present."—Tibor Rado, 1963. Source: Brady, Allen H.. [https://do..." Tag: Visual edit