User:Polygon - Revision history

Polygon: Added mxdys TM visualiser

2026-04-26T18:28:49Z

Added mxdys TM visualiser

← Older revision		Revision as of 18:28, 26 April 2026
Line 18:		Line 18:
	* https://www.cse.unr.edu/~al/BusyBeaver.html		* 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://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)

	Table of 30 longest running TMs across explored domains:		Table of 30 longest running TMs across explored domains:

2026-04-26T08:36:58Z

Added new BB(4,3) top halters

@@ Line 90: / Line 90: @@
 |Pavel Kropitz
 |[[BB(3,4)]]
 |-
 |{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE|halt}}
@@ Line 95: / Line 105: @@
 |Andrew Ducharme
 |[[BB(7)]]
 |-
 |{{TM|1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG|halt}}
@@ Line 115: / Line 135: @@
 |lijil, Andrew Ducharme
 |[[BB(7)]]
 |-
 |{{TM|1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ|halt}}
@@ Line 146: / Line 171: @@
 |[[BB(3,4)]]
 |-
-|{{TM|1RB2LC1RA_1LA0RD2RB_2LD0RC2LD_2LA1RZ0RD|halt}}
+|{{TM|1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC|halt}}
-|<math>10 \uparrow\uparrow 166.03664</math>
+|<math>10 \uparrow\uparrow 178.48320</math>
 |Andrew Ducharme
 |[[BB(4,3)]]
 |}

2026-04-12T08:51:31Z

added lambda calculus simulator

← Older revision		Revision as of 08:51, 12 April 2026
Line 17:		Line 17:
	* https://katelyndoucette.com/		* https://katelyndoucette.com/
	* https://www.cse.unr.edu/~al/BusyBeaver.html		* 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)

	Table of 30 longest running TMs across explored domains:		Table of 30 longest running TMs across explored domains:

2026-03-19T19:21:46Z

New #26 halter

← Older revision		Revision as of 19:21, 19 March 2026
Line 154:		Line 154:
	\|XnoobSpeakable		\|XnoobSpeakable
	\|[[BB(3,4)]]		\|[[BB(3,4)]]
			\|-
			\|{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD\|halt}}
			\|<math>10 \uparrow\uparrow 141.44248</math>
			\|Andrew Ducharme
			\|[[BB(4,3)]]
	\|-		\|-
	\|{{TM\|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC\|halt}}		\|{{TM\|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC\|halt}}
Line 169:		Line 174:
	\|poppuncher		\|poppuncher
	\|[[BB(7)]]		\|[[BB(7)]]
	\|-
	~~\|{{TM\|1RB2LB1RZ3LA_1LA3RC2LC1LC_2LA3RC0RA1LB\|halt}}~~
	~~\|<math>10 \uparrow\uparrow {130.20142}</math>~~
	~~\|XnoobSpeakable~~
	~~\|[[BB(3,4)]]~~
	\|}		\|}

2026-02-17T20:44:38Z

Removed nonexistent page

← Older revision		Revision as of 20:44, 17 February 2026
Line 16:		Line 16:
	* https://scottaaronson.blog/		* https://scottaaronson.blog/
	* https://katelyndoucette.com/		* https://katelyndoucette.com/
	* https://azertywastaken.github.io/TuringMachinesSimulator/bb_champions.html
	* https://www.cse.unr.edu/~al/BusyBeaver.html		* https://www.cse.unr.edu/~al/BusyBeaver.html

2026-01-11T13:01:49Z

Added site by Azerty

← Older revision		Revision as of 13:01, 11 January 2026
Line 16:		Line 16:
	* https://scottaaronson.blog/		* https://scottaaronson.blog/
	* https://katelyndoucette.com/		* https://katelyndoucette.com/
			* https://azertywastaken.github.io/TuringMachinesSimulator/bb_champions.html
	* https://www.cse.unr.edu/~al/BusyBeaver.html		* https://www.cse.unr.edu/~al/BusyBeaver.html

2025-12-28T11:37:11Z

20 --> 30

← Older revision		Revision as of 11:37, 28 December 2025
Line 18:		Line 18:
	* https://www.cse.unr.edu/~al/BusyBeaver.html		* https://www.cse.unr.edu/~al/BusyBeaver.html

	Table of 20 longest running TMs across explored domains:		Table of 30 longest running TMs across explored domains:
	{\| class="wikitable"		{\| class="wikitable"
	!Standard format		!Standard format

2025-12-26T13:11:54Z

expanded list to top 30

@@ Line 15: / Line 15: @@
 * https://nickdrozd.github.io/
 * https://scottaaronson.blog/
 * https://www.cse.unr.edu/~al/BusyBeaver.html
@@ Line 123: / Line 124: @@
 |Terry Ligocki
 |[[BB(7)]]
 |}

2025-12-19T12:39:18Z

added link to list of valuable user pages

← Older revision		Revision as of 12:39, 19 December 2025
Line 1:		Line 1:
	List of user pages		List of user pages:
	* [[User:Polygon/Collection of BB Champions]]		* [[User:Polygon/Collection of BB Champions]]
	* [[User:Polygon/Better lower bound for BB(4,3)]]		* [[User:Polygon/Better lower bound for BB(4,3)]]
Line 5:		Line 5:
	* [[User:Polygon/Page for testing]]		* [[User:Polygon/Page for testing]]

	Other sites		A list of interesting user pages:
			* [[User:RobinCodes/Valuable user pages]]

			Other sites:
	* https://www.sligocki.com/		* https://www.sligocki.com/
	* https://groups.google.com/g/busy-beaver-discuss		* https://groups.google.com/g/busy-beaver-discuss

2025-12-07T15:52:39Z

Added a site by Allen Brady

← Older revision		Revision as of 15:52, 7 December 2025
Line 12:		Line 12:
	* https://nickdrozd.github.io/		* https://nickdrozd.github.io/
	* https://scottaaronson.blog/		* https://scottaaronson.blog/
			* https://www.cse.unr.edu/~al/BusyBeaver.html

	Table of 20 longest running TMs across explored domains:		Table of 20 longest running TMs across explored domains: