User contributions for Tjligocki

20:2120:21, 17 May 2025 diff hist −112 m BB(7) Corrected 97xxxx and 96xxxx due to duplication of TMs in those two ranges.

22:4822:48, 16 May 2025 diff hist +1,426 BB(7) Added a table for the results of SOME mxdys tasks run and further filtered. I will be revisiting this to add more work reported on the discord.
20:0120:01, 16 May 2025 diff hist +150 BB(7) Added two more "top known" halting machines.

22:0022:00, 20 March 2025 diff hist +190 BB(3,3) Added a sentence to update my work on the 3x3 holdouts
19:4319:43, 20 March 2025 diff hist +1 m BB(3,3) Changed "tligocki" to "tjligocki"

07:0007:00, 28 February 2025 diff hist +256 Holdouts lists Pointed out the "Number of holdouts" table is not independently verified in cases where the number of holdouts is not zero.
06:5306:53, 28 February 2025 diff hist −1,851 Holdouts lists Removed the section (and tables) that were attempting to document how someone could attain some of the holdout lists. This is being moved to the wiki page for the specific BB domain.

05:5805:58, 29 January 2025 diff hist +1,179 Holdouts lists Adding more to the BB 3x3 holdout history.

09:3609:36, 27 January 2025 diff hist +311 Holdouts lists →BB(3,3): Initial entry for verified 3x3 holdout list
09:3409:34, 27 January 2025 diff hist +43 N File:3x3.unk.sort.txt Initial verified 3x3 holdouts current
09:3109:31, 27 January 2025 diff hist +64 N File:2025 01 05.3x3.holdouts annot 367.csv Annotated list of holdouts generated by @tjligocki current

05:5105:51, 23 January 2025 diff hist +632 Holdouts lists Started to add tables with verifiable holdout lists. These changes work out the structure. More content to follow.

02:0802:08, 17 January 2025 diff hist −1 m Holdouts lists No edit summary
02:0702:07, 17 January 2025 diff hist +96 m Holdouts lists No edit summary
02:0302:03, 17 January 2025 diff hist +47 N File:2023 06 08.3x3.holdouts iijil 2380.txt Iijil's 2023 BB 3x3 holdout list. current
02:0202:02, 17 January 2025 diff hist +96 N File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt BB 3x3 holdout list from 2023 that is the intersection of two other holdout lists. current
02:0002:00, 17 January 2025 diff hist +33 Holdouts lists Adding file links for the 2023 BB 3x3 entries
01:5501:55, 17 January 2025 diff hist +43 N File:2023 06 07.3x3.holdouts 2417.txt Early holdout list for BB 3x3 current
01:5401:54, 17 January 2025 diff hist +489 Holdouts lists Add some BB 3x3 results from 2023

06:2706:27, 16 January 2025 diff hist 0 m Holdouts lists Fixed links...
06:2206:22, 16 January 2025 diff hist +156 Holdouts lists Changed reference from "File" (the files were too large for the wiki and the compression confused it) to a URL to my Google Drive.
06:1406:14, 16 January 2025 diff hist −1 Holdouts lists Fixed a filename typo. Tag: Visual edit: Switched
06:0906:09, 16 January 2025 diff hist +294 Holdouts lists Added a history of the BB6 holdouts files as entries in the holdout table. Tag: Visual edit: Switched

00:2700:27, 24 December 2024 diff hist +205 Holdouts lists Updated and added BB(5) table entries

23:3323:33, 21 December 2024 diff hist +396 Holdouts lists Added first entry for 4x3 holdouts

04:4604:46, 11 December 2024 diff hist +72 Champions Added a bit of information for BB(2,4)
04:2804:28, 11 December 2024 diff hist +71 Champions No edit summary

23:2823:28, 27 November 2024 diff hist +11 m Holdouts lists No edit summary
23:2723:27, 27 November 2024 diff hist +312 Holdouts lists Added an entry for the current BB(6) holdout spreadsheet.

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

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

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.

Navigation menu