User contributions for Sligocki
Jump to navigation
Jump to search
11 May 2026
- 01:4201:42, 11 May 2026 diff hist +20 m SKI Calculus link LC current Tag: Visual edit
8 May 2026
- 16:5416:54, 8 May 2026 diff hist −108 General Recursive Function →Champions: BBµ(17) ≥ 2090 current Tag: Visual edit
- 14:3914:39, 8 May 2026 diff hist +2 Main Page →This Month in Beaver Research (TMBR): Update TMBR links current Tag: Visual edit
- 02:4302:43, 8 May 2026 diff hist −711 TMBR: April 2026 Cleanup lede and remove hard-coded link naming (so that automatic works correctly). current Tag: Visual edit: Switched
- 02:3602:36, 8 May 2026 diff hist +53 TMBR: April 2026 →BB Adjacent: OEIS Tag: Visual edit
7 May 2026
- 18:3518:35, 7 May 2026 diff hist +260 General Recursive Function →Champions: BBµ(17) ≥ 1244 Tag: Visual edit
4 May 2026
- 18:2818:28, 4 May 2026 diff hist +1 General Recursive Function →Primitive Recursion: Inline some math Tag: Visual edit
- 18:2718:27, 4 May 2026 diff hist +347 General Recursive Function Add example of how to evaluate R using iteration (instead of recursion) and mention PRF Tag: Visual edit
- 18:1418:14, 4 May 2026 diff hist +133 General Recursive Function →Combinators: Add arity superscript to combinators and note they are usually redundant. Tag: Visual edit
- 18:0818:08, 4 May 2026 diff hist +972 TMBR: May 2026 GRF Tag: Visual edit
- 18:0318:03, 4 May 2026 diff hist −157 TMBR: April 2026 →BB Adjacent: Remove May BBµ cryptid, we just found another, so probably makes sense to just move these to May. Tag: Visual edit
- 18:0018:00, 4 May 2026 diff hist −22 General Recursive Function →Champions: Remove other size 2 champions, we haven't included ties in any other size, let's keep it simple for now. Tag: Visual edit
- 17:5817:58, 4 May 2026 diff hist +99 m General Recursive Function →Tetrahedral Divisibility: link Tag: Visual edit
- 17:5717:57, 4 May 2026 diff hist +586 General Recursive Function →Cryptids: Add Tetr Div GRF Tag: Visual edit
- 17:4717:47, 4 May 2026 diff hist +712 General Recursive Function →Cryptids: Build table of known results Tag: Visual edit
3 May 2026
- 20:3320:33, 3 May 2026 diff hist +1 m TMBR: April 2026 typo Tag: Visual edit
- 16:0316:03, 3 May 2026 diff hist +228 TMBR: April 2026 Add Hydra Sums info Tag: Visual edit
- 15:5915:59, 3 May 2026 diff hist −107 TMBR: April 2026 →BB Adjacent: Remove extra bit about champions w/o Min since now that was all supersceded by Min champions! Tag: Visual edit
- 15:5815:58, 3 May 2026 diff hist +294 TMBR: April 2026 Expand lede and group Racheline's discoveries together. Tag: Visual edit
- 15:5315:53, 3 May 2026 diff hist +40 N BBµ Redirected page to General Recursive Function current Tag: New redirect
- 15:5215:52, 3 May 2026 diff hist +40 N GRF Redirected page to General Recursive Function current Tag: New redirect
- 15:4315:43, 3 May 2026 diff hist −2 m TMBR: April 2026 →BB Adjacent: get rid of duplicate = Tag: Visual edit
- 15:3915:39, 3 May 2026 diff hist +1,244 TMBR: April 2026 →BB Adjacent: GRF updates Tag: Visual edit
1 May 2026
- 21:1321:13, 1 May 2026 diff hist +61 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE 2T rule steps current Tag: Visual edit
30 April 2026
- 15:1015:10, 30 April 2026 diff hist +375 General Recursive Function Add definition of size back Tag: Visual edit
- 02:5802:58, 30 April 2026 diff hist +8 General Recursive Function →Champions: BBµ(14) ≥ 32! Tag: Visual edit
29 April 2026
- 23:4023:40, 29 April 2026 diff hist −115 General Recursive Function →Champions: New BBµ(14) champ again Tag: Visual edit
- 21:1621:16, 29 April 2026 diff hist +16 General Recursive Function →Champions: New BBµ(14) ≥ 9 champion Tag: Visual edit
- 16:3316:33, 29 April 2026 diff hist +65 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Run -> 1.5T Tag: Visual edit
28 April 2026
- 17:1117:11, 28 April 2026 diff hist +57 m Beaver Math Olympiad →8. 1RB0LD_0RC1RB_0RD0RA_1LE0RD_1LF---_0LA1LA (bbch): Improve floor bracket sizes Tag: Visual edit
- 16:5516:55, 28 April 2026 diff hist −54 m 1RB0LD 0RC0RF 0RD0RA 1LE0RD 1LF--- 0LA1LA Redirected page to 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA current Tags: New redirect Visual edit: Switched
- 16:5516:55, 28 April 2026 diff hist +109 N 1RB0LD 0RC0RF 0RD0RA 1LE0RD 1LF--- 0LA1LA Redirect
- 16:5416:54, 28 April 2026 diff hist +1,693 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA Removed redirect to Beaver Math Olympiad#8. 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA (bbch) current Tag: Removed redirect
- 15:4815:48, 28 April 2026 diff hist +3 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE →Probabilistic Model: Fix exponent in survival function Tag: Visual edit
- 02:2202:22, 28 April 2026 diff hist +1,518 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE →Probabilistic Model: Add more details and empirical result. Tag: Visual edit
27 April 2026
- 14:0414:04, 27 April 2026 diff hist +77 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE 1T rules sim Tag: Visual edit
26 April 2026
- 03:0303:03, 26 April 2026 diff hist +65 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Sim to 500B steps Tag: Visual edit
24 April 2026
- 16:5416:54, 24 April 2026 diff hist +57 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Add 10B result Tag: Visual edit
- 16:4016:40, 24 April 2026 diff hist +2 m 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE →Probabilistic Model Tag: Visual edit
- 16:4016:40, 24 April 2026 diff hist +1,428 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE →Probabilistic Model: Add some more explanation about 100% chance to halt. Tag: Visual edit
- 16:2316:23, 24 April 2026 diff hist −59 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE →Analysis by Shawn Ligocki: Update to 100B resets Tag: Visual edit
- 16:1716:17, 24 April 2026 diff hist +8 m 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE No edit summary Tag: Visual edit
- 16:1716:17, 24 April 2026 diff hist +640 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Add graphs and start of Probabilistic model section Tag: Visual edit: Switched
- 16:0816:08, 24 April 2026 diff hist +193 N File:Skewed tent map.png No edit summary current
- 15:1815:18, 24 April 2026 diff hist +104 N File:Tent Distr 5B.png No edit summary current
- 04:4704:47, 24 April 2026 diff hist +177 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Add lede Tag: Visual edit
23 April 2026
- 22:4122:41, 23 April 2026 diff hist +720 N 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE Created page with "{{machine|1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE}} == Analysis by Shawn Ligocki == https://discord.com/channels/960643023006490684/1239205785913790465/1497001816741646407 <pre> 1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE Let A(a,b,c) = 0^inf 1^a 10^b C> 1^c 0^inf A(a+1,b,c+3) --> A(a,b+2,c) A(a,b,0) --> A(2b+1,1,a+1) A(a,b,1) --> A(2b+3,1,a+1) A(a,b,2) --> A(2b+5,1,a+1) A(0,b,c+5) --> A(2b+4,2,c) A(0,b,4) --> Halt A(0,b,3) --> Halt Start: A(0,1,0) </pre> Simulate..."
22 April 2026
- 19:2819:28, 22 April 2026 diff hist −24 Fast-Growing Hierarchy →Examples: Fix f_omega(0) = 1 issue current Tag: Visual edit
- 18:0718:07, 22 April 2026 diff hist +10 m General Recursive Function →Champions Tag: Visual edit
- 18:0418:04, 22 April 2026 diff hist +839 General Recursive Function →Champions: Add Omega champions Tag: Visual edit