User contributions for Tjligocki

5 November 2024

• 04:4804:48, 5 November 2024 diff hist +87‎ m Holdouts lists ‎ Added link to Discord post.
• 04:4004:40, 5 November 2024 diff hist +1‎ m Holdouts lists ‎ Dummy Edit - This is the intended Summary for my changes on November 3, 2024: Added entry for 3x4 holdout list.
• 04:2804:28, 5 November 2024 diff hist +304‎ Holdouts lists ‎ Added entry for 2x6 holdout list

3 November 2024

• 23:0223:02, 3 November 2024 diff hist +191‎ Holdouts lists ‎No edit summary
• 22:5422:54, 3 November 2024 diff hist +202‎ Holdouts lists ‎No edit summary Tag: Visual edit: Switched

28 August 2024

• 04:2004:20, 28 August 2024 diff hist −26‎ m BB(2,4) ‎ Got rid of some redundancy.
• 04:1604:16, 28 August 2024 diff hist −2,872‎ BB(2,4) ‎ This supersedes what I added yesterday.
• 04:0704:07, 28 August 2024 diff hist −357‎ BB(2) ‎ Removed what I added and Shawn modified yesterday because it will likely soon be superseded by adding a BB(2,2) theorem to the Coq-BB5 code.
• 04:0604:06, 28 August 2024 diff hist −154‎ BB(2,3) ‎ Removed what I added yesterday because it will likely soon be superseded by adding a BB(2,3) theorem to the Coq-BB5 code. Tag: Manual revert

26 August 2024

• 23:1523:15, 26 August 2024 diff hist 0‎ m TM ‎ Typo current Tag: Redirect target changed
• 23:1423:14, 26 August 2024 diff hist +27‎ N TM ‎ A new redirect to the Turing Machine page. Tags: New redirect Visual edit: Switched
• 23:1323:13, 26 August 2024 diff hist +453‎ BB(2) ‎ Added a link to specific code to classify all the BB(2) TMs and how to run the code.
• 22:5222:52, 26 August 2024 diff hist +127‎ Accelerated simulator ‎ Added a link to the code repositories page since some repos contain examples of accelerated simulators.
• 18:2118:21, 26 August 2024 diff hist +249‎ m BB(2,4) ‎ Made "Holdouts" column bold and added "Totals" at the bottom of the table.
• 18:1018:10, 26 August 2024 diff hist −32‎ BB(2,3) ‎ Added a section, "Current Work".
• 18:0818:08, 26 August 2024 diff hist +186‎ BB(2,3) ‎ Added a section, "Current Work".
• 18:0618:06, 26 August 2024 diff hist +186‎ BB(2) ‎ Added a section, "Current Work".
• 18:0518:05, 26 August 2024 diff hist +4‎ m BB(2,4) ‎ Fixed typos and a link.
• 17:3917:39, 26 August 2024 diff hist +20‎ BB(2,4) ‎ Added a section, "Current Work", and moved my recent additions there.
• 03:5203:52, 26 August 2024 diff hist +2,567‎ BB(2,4) ‎ Adding additional information on proving the BB(2,4) result and software used to get to zero unknown TMs.
• 02:5302:53, 26 August 2024 diff hist +43‎ m BB(5) ‎ Made introduction more consistent with the BB(2) and BB(3) pages.
• 02:5202:52, 26 August 2024 diff hist +43‎ m BB(4) ‎ Made introduction more consistent with the BB(2) and BB(3) pages.
• 02:4602:46, 26 August 2024 diff hist +18‎ N BB(6,2) ‎ Redirect BB(6,2) to BB(6). current Tag: New redirect
• 02:4502:45, 26 August 2024 diff hist +18‎ N BB(4,2) ‎ Redirect BB(4,2) to BB(4) current Tag: New redirect
• 02:4502:45, 26 August 2024 diff hist +18‎ N BB(2,2) ‎ Redirect from BB(2,2) to BB(2). current Tag: New redirect
• 02:4402:44, 26 August 2024 diff hist +18‎ N BB(3,2) ‎ Added a redirect from BB(3,2) to BB(3) current Tag: New redirect
• 00:3500:35, 26 August 2024 diff hist +27‎ Busy Beaver Challenge ‎ Added a link to "https://www.bbchallenge.org". Couldn't do a redirect. Maybe this is okay for now. Remove this page if it isn't.
• 00:3200:32, 26 August 2024 diff hist −43‎ m Busy Beaver Challenge ‎ This page now does nothing and should be removed. Tag: Blanking
• 00:1600:16, 26 August 2024 diff hist +3‎ m Busy Beaver Challenge ‎ Removed redirect to Https://www.bbchallenge.org Tag: Removed redirect
• 00:1300:13, 26 August 2024 diff hist +4‎ m Busy Beaver Challenge ‎ Changed redirect target from Https://bbchallenge.org to Https://www.bbchallenge.org Tag: Redirect target changed
• 00:0900:09, 26 August 2024 diff hist +36‎ N Busy Beaver Challenge ‎ Adding a page for "bbchallenge.org" that redirects to "https://bbchallenge.org". Tag: New redirect

25 August 2024

• 23:5623:56, 25 August 2024 diff hist +19‎ m BB(3,3) ‎ Added a link for Terry Ligocki.
• 23:5423:54, 25 August 2024 diff hist +118‎ N User:Tjligocki ‎ Somewhere to point to from other wiki pages. current
• 23:4823:48, 25 August 2024 diff hist +19‎ m BB(2,4) ‎ Changed "Terry" to a link to a "Terry Ligocki" page which I will be creating.

13 August 2024

• 15:0115:01, 13 August 2024 diff hist +66‎ m Translated cycler ‎ Added a blank line before lines with \xrightarrow{} so the text above the arrow isn’t cut off.

28 June 2024

• 04:3804:38, 28 June 2024 diff hist +138‎ m Closed Set ‎ Changer ordering to match the "Decider" page and fixed links to examples Tag: Visual edit
• 04:3004:30, 28 June 2024 diff hist +32‎ m Closed Set ‎ Updated FAR link to be that same as under "Deciders". Tag: Visual edit

6 June 2024

• 03:4303:43, 6 June 2024 diff hist +58‎ m Collatz-like ‎ The text associated with "\xrightarrow" was being clipped in some cases and wasn't readable.

5 June 2024

• 22:0922:09, 5 June 2024 diff hist −9‎ m Collatz-like ‎ Undo revision 23 by Tjligocki (talk) Tag: Undo
• 22:0522:05, 5 June 2024 diff hist +9‎ m Collatz-like ‎ More (minor) vertical space changes. Tag: Visual edit
• 22:0422:04, 5 June 2024 diff hist +3‎ m Collatz-like ‎ Added a blank line to improve vertical spacing Tag: Visual edit