User:Polygon: Difference between revisions

← Older edit

VisualWikitext

Latest revision as of 21:46, 13 November 2026

List of user pages:

A list of interesting user pages:

User:RobinCodes/Valuable user pages

Other sites:

https://www.sligocki.com/
https://groups.google.com/g/busy-beaver-discuss
https://discuss.bbchallenge.org/
https://bbchallenge.org/~pascal.michel/index.html
https://nickdrozd.github.io/
https://scottaaronson.blog/
https://katelyndoucette.com/
https://www.cse.unr.edu/~al/BusyBeaver.html
https://cruzgodar.com/applets/lambda-calculus/?expression-textarea=%28%CE%BBa.aa%29%28%CE%BBa.a%28%CE%BBb.a%28%CE%BBc.ab%29%29a%29&animation-time-slider=1.095790162866908 (lambda calculus simulator)
https://ccz181078.github.io/TM/LongAcc/index.html (Turing Machine Visualizer using longitudinal acceleration by mxdys)
https://claude.ai/artifact/Pcxur9DT9NBgHBDoHTnNSn (fast TM simulator)

https://gitlab.com/Crorem/coq-bbbb3

Some interesting github repositories:

https://github.com/thomasreus-bb/bb6-vampire-family-1RB0LA_0RC0RB_1LD1LA_1LC1RE_1RF0RD_1LC--- (Reus-vampires)
https://github.com/jeff87654/busy-beaver (Jeff Ketchersids champions)
https://github.com/ccz181078/busycoq/tree/BB6/verify (Partial Rocq proof of BB(6) by mxdys)
https://github.com/calr3/bbbb (Exploration of Beeping Booping Busy Beavers in Lean)
https://github.com/Yeyito777/bbchallenge-corpus (bbchallenge corpus)
https://github.com/Yeyito777/bbchallenge-discoveries/tree/main (BB discoveries by Yeyito, includes two halting proofs for BB(6) holdouts)

Individual gihub pages:

Table of 30 longest running TMs across explored domains:

Standard format	Approximate sigma score	Discovered by	Domain
`1RB0RG_1RC1RB_0RD1RZ_0LE0LD_0LF1LE_1RA1LF_1LC0RB` (bbch)	$3 ↑^{20} 3$	Jeff Ketchersid	BB(7)
`1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC` (bbch)	$(2 ↑^{15} 5) + 14$	Pavel Kropitz	BB(3,4)
`1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB` (bbch)	$(2 ↑^{12} 4) + 11$	Pavel Kropitz	BB(3,4)
`1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF` (bbch)	$2 ↑^{11} 2 ↑^{11} 3$	Pavel Kropitz	BB(7)
`1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA` (bbch)	$2 ↑^{6} 5$	Pavel Kropitz	BB(3,4)
`1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA` (bbch)	$2 ↑^{6} 4$	Pavel Kropitz	BB(3,4)
`1RB1RD_1LC0RD_0LG1LD_1RA0RE_1LF1LA_0LC1LE_1RZ0LE` (bbch)	$10 ↑^{4} 10 ↑ ↑ 5$	Andrew Ducharme	BB(7)
`1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD` (bbch)	$10 ↑^{4} 4$	Pavel Kropitz	BB(4,3)
`1RB1LE_1RC1RZ_1LD1LC_1RF0LE_0LC0LD_0RG1RG_0RC1RA` (bbch)	$10 ↑ ↑ ↑ 10 ↑ ↑ ↑ 10 ↑ ↑ 65533.6$	prurq	BB(7)
`1RB1LE_1LC0RA_0LD0LC_1RE1LD_1RF0LE_0RG1RZ_1RG1RA` (bbch)	$10 ↑ ↑ ↑ 10 ↑ ↑ 65533.6$	Andrew Ducharme	BB(7)
`0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD` (bbch)	$2 ↑ ↑ ↑ (2^{2^{32} + 1})$	Pavel Kropitz	BB(4,3)
`1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD` (bbch)	$3 ↑ ↑ ↑ 88574$	Pavel Kropitz	BB(4,3)
`1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 10 ↑ ↑ 8.10237$	mxdys	BB(6)
`1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 1 0^{1 0^{115}}$	Pavel Kropitz	BB(2,6)
`1RB0RD_1RC1RZ_1LD1RA_0RE1LE_0LA0LF_0LG0LD_1RC0LA` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 10 ↑ ↑ 3.2$	Andrew Ducharme	BB(7)
`1RB1RD_1RC1RA_1LA0RB_1RZ0RE_1RF1RE_1LG0LC_0LC0LF` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 1 0^{18783.5}$	Andrew Ducharme	BB(7)
`1RB1RF_1RC0RF_1LD1LA_0LE1LE_1LG0LA_1RE0RC_1RZ1LC` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 65533.6$	Andrew Ducharme	BB(7)
`1RB1RC_1LC0RA_1RA1RD_1RZ0RE_1RF1RE_1LG0LB_0LB0LF` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 9840.6$	Andrew Ducharme	BB(7)
`1RB0RF_1LC1LG_0LE1LD_1LE0LA_1RA0LB_1RZ1RG_0LB0RE` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 2453.5$	Andrew Ducharme	BB(7)
`1RB0RG_1LC1RE_0RD1LD_0LE0LF_1RA0RC_0LA0LC_0LD1RZ` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 109.2$	Andrew Ducharme	BB(7)
`1RB0RG_0LC0RA_0LD1LC_0LE1LG_0LF0LA_1LA---_1LE0LF` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 51.6$	prurq	BB(7)
`1RB1RZ_1RC0LF_1RD0RD_1LE0RC_1LB0LD_0LG1RA_1LA0LC` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 38.1$	Andrew Ducharme	BB(7)
`1RB1RZ_0RC0RE_1LD0LG_1RB1LF_1LF0RF_1LD0LA_1LC0LE` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 19.1$	Andrew Ducharme	BB(7)
`1RB1LD_1RC0RA_1LA0LG_0RF1LE_1LC0LB_1RZ0LA_1LF0RA` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 4.9$	Andrew Ducharme	BB(7)
`1RB0LD_1RC0RE_1RD0LB_1RE0RC_1LF1RG_1LA1LF_---1RB` (bbch)	$10 ↑ ↑ 10 ↑ ↑ 3.7$	prurq	BB(7)
`1RB1RC_1RC0LA_1RD0RB_1LE0RG_1LF1LE_1RD0LC_1RZ1RB` (bbch)	$10 ↑ ↑ 1 0^{134, 678, 540}$	prurq	BB(7)
`1RB1RE_1LC0LA_1LG1RD_1RZ0RE_1LF1RC_1RG0LF_1LB0RG` (bbch)	$10 ↑ ↑ 1 0^{231.7}$	Andrew Ducharme	BB(7)
`1RB1RD_1LC0RA_1RA0LB_1RE0LB_1LF1RC_1LG1LF_1LC1RZ` (bbch)	$10 ↑ ↑ 196765270119568539648.0$	Andrew Ducharme	BB(7)
`1RB0RF_1LC0RC_1LD1RC_1LE0LB_1RF0LC_1LC0RG_1RZ1RA` (bbch)	$10 ↑ ↑ 164193736414545.1$	Andrew Ducharme	BB(7)
`1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB` (bbch)	$10 ↑ ↑ 11010000$	mxdys	BB(6)

@@ Line 19: / Line 19: @@
 * https://cruzgodar.com/applets/lambda-calculus/?expression-textarea=%28%CE%BBa.aa%29%28%CE%BBa.a%28%CE%BBb.a%28%CE%BBc.ab%29%29a%29&animation-time-slider=1.095790162866908 (lambda calculus simulator)
 * https://ccz181078.github.io/TM/LongAcc/index.html (Turing Machine Visualizer using longitudinal acceleration by mxdys)
+* https://claude.ai/artifact/Pcxur9DT9NBgHBDoHTnNSn (fast TM simulator)
 * https://gitlab.com/Crorem/coq-bbbb3
@@ Line 69: / Line 70: @@
 |Pavel Kropitz
 |[[BB(3,4)]]
+|-
+|{{TM|1RB1RD_1LC0RD_0LG1LD_1RA0RE_1LF1LA_0LC1LE_1RZ0LE|halt}}
+|<math>10 \uparrow^{4} 10 \uparrow\uparrow 5</math>
+|Andrew Ducharme
+|[[BB(7)]]
 |-
 |{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD|halt}}
@@ Line 74: / Line 80: @@
 |Pavel Kropitz
 |[[BB(4,3)]]
+|-
+|{{TM|1RB1LE_1RC1RZ_1LD1LC_1RF0LE_0LC0LD_0RG1RG_0RC1RA|halt}}
+|<math>10 \uparrow\uparrow\uparrow 10 \uparrow\uparrow\uparrow 10 \uparrow\uparrow 65533.6</math>
+|prurq
+|[[BB(7)]]
+|-
+|{{TM|1RB1LE_1LC0RA_0LD0LC_1RE1LD_1RF0LE_0RG1RZ_1RG1RA|halt}}
+|<math>10 \uparrow\uparrow\uparrow 10 \uparrow\uparrow 65533.6</math>
+|Andrew Ducharme
+|[[BB(7)]]
 |-
 |{{TM|0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD|halt}}
@@ Line 95: / Line 111: @@
 |[[BB(2,6)]]
 |-
-|{{TM|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB|halt}}
+|{{TM|1RB0RD_1RC1RZ_1LD1RA_0RE1LE_0LA0LF_0LG0LD_1RC0LA|halt}}
-|<math>10 \uparrow\uparrow 11010000</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 10 \uparrow\uparrow 3.2</math>
-|mxdys
-|[[BB(6)]]
-|-
-|{{TM|1RB2LA1RZ1RB5RB0RB_2LA4RA3LB5LB5RA4LB|halt}}
-|<math>10 \uparrow\uparrow 19892.08</math>
-|Peacemaker II
-|[[BB(2,6)]]
-|-
-|{{TM|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC|halt}}
-|<math>10 \uparrow\uparrow 2048</math>
-|Pavel Kropitz
-|[[BB(3,4)]]
-|-
-|{{TM|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD|halt}}
-|<math>10 \uparrow\uparrow  1023.47221</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ|halt}}
+|{{TM|1RB1RD_1RC1RA_1LA0RB_1RZ0RE_1RF1RE_1LG0LC_0LC0LF|halt}}
-|<math>10 \uparrow\uparrow 619.07737</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 10^{18783.5}</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE|halt}}
+|{{TM|1RB1RF_1RC0RF_1LD1LA_0LE1LE_1LG0LA_1RE0RC_1RZ1LC|halt}}
-|<math>10 \uparrow\uparrow 519.20</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 65533.6</math>
 |Andrew Ducharme
 |[[BB(7)]]
 |-
-|{{TM|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA|halt}}
+|{{TM|1RB1RC_1LC0RA_1RA1RD_1RZ0RE_1RF1RE_1LG0LB_0LB0LF|halt}}
-|<math>10 \uparrow\uparrow 512.10945</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 9840.6</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA|halt}}
+|{{TM|1RB0RF_1LC1LG_0LE1LD_1LE0LA_1RA0LB_1RZ1RG_0LB0RE|halt}}
-|<math>10 \uparrow\uparrow 439.02781</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 2453.5</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG|halt}}
+|{{TM|1RB0RG_1LC1RE_0RD1LD_0LE0LF_1RA0RC_0LA0LC_0LD1RZ|halt}}
-|<math>10 \uparrow\uparrow 403.84</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 109.2</math>
 |Andrew Ducharme
 |[[BB(7)]]
 |-
-|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ|halt}}
+|{{TM|1RB0RG_0LC0RA_0LD1LC_0LE1LG_0LF0LA_1LA---_1LE0LF|halt}}
-|<math>10 \uparrow\uparrow 286.17</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 51.6</math>
-|Terry Ligocki
+|prurq
 |[[BB(7)]]
 |-
-|{{TM|1RB2LC1RZ_1RC0LA1RA_1RD0LD1RC_2LA2LB0LB|halt}}
+|{{TM|1RB1RZ_1RC0LF_1RD0RD_1LE0RC_1LB0LD_0LG1RA_1LA0LC|halt}}
-|<math> 10\uparrow\uparrow 254.27506</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 38.1</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB2RD1LA_1RC2RC1RZ_0LA0RB1RD_2LA2RA1LD|halt}}
+|{{TM|1RB1RZ_0RC0RE_1LD0LG_1RB1LF_1LF0RF_1LD0LA_1LC0LE|halt}}
-|<math>10 \uparrow\uparrow 253.66239</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 19.1</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB2RC1LA_2RC2RD1RZ_2LA2RA1LC_0LA0RB1RC|halt}}
+|{{TM|1RB1LD_1RC0RA_1LA0LG_0RF1LE_1LC0LB_1RZ0LA_1LF0RA|halt}}
-|<math>10 \uparrow\uparrow 253.66239</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 4.9</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD|halt}}
+|{{TM|1RB0LD_1RC0RE_1RD0LB_1RE0RC_1LF1RG_1LA1LF_---1RB|halt}}
-|<math>10 \uparrow\uparrow 246.32</math>
+|<math>10 \uparrow\uparrow 10 \uparrow\uparrow 3.7</math>
-|lijil
+|prurq
 |[[BB(7)]]
 |-
-|{{TM|1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG|halt}}
+|{{TM|1RB1RC_1RC0LA_1RD0RB_1LE0RG_1LF1LE_1RD0LC_1RZ1RB|halt}}
-|<math>10 \uparrow\uparrow 243.88</math>
+|<math>10 \uparrow\uparrow 10^{134,678,540}</math>
-|lijil, Andrew Ducharme
+|prurq
 |[[BB(7)]]
 |-
-|{{TM|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ|halt}}
+|{{TM|1RB1RE_1LC0LA_1LG1RD_1RZ0RE_1LF1RC_1RG0LF_1LB0RG|halt}}
-|<math>10 \uparrow\uparrow 234.06408</math>
+|<math>10 \uparrow\uparrow 10^{231.7}</math>
 |Andrew Ducharme
-|[[BB(4,3)]]
+|[[BB(7)]]
 |-
-|{{TM|1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ|halt}}
+|{{TM|1RB1RD_1LC0RA_1RA0LB_1RE0LB_1LF1RC_1LG1LF_1LC1RZ|halt}}
-|<math>10 \uparrow\uparrow 228.78</math>
+|<math>10 \uparrow\uparrow 196765270119568539648.0</math>
-|Terry Ligocki
+|Andrew Ducharme
 |[[BB(7)]]
 |-
-|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG|halt}}
+|{{TM|1RB0RF_1LC0RC_1LD1RC_1LE0LB_1RF0LC_1LC0RG_1RZ1RA|halt}}
-|<math>10 \uparrow\uparrow 192.67</math>
+|<math>10 \uparrow\uparrow 164193736414545.1</math>
-|Terry Ligocki
+|Andrew Ducharme
 |[[BB(7)]]
 |-
-|{{TM|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC|halt}}
+|{{TM|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB|halt}}
-|<math>10 \uparrow\uparrow 190.21359</math>
+|<math>10 \uparrow\uparrow 11010000</math>
-|Terry Ligocki
+|mxdys
-|[[BB(4,3)]]
+|[[BB(6)]]
 |}

User:Polygon: Difference between revisions

Latest revision as of 21:46, 13 November 2026

Navigation menu

Search