User:Polygon

List of user pages:

• User:Polygon/Collection of BB Champions
• User:Polygon/Better lower bound for BB(4,3)
• User:Polygon/Page for analyses
• User:Polygon/Page for testing

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