Related changes

Jump to navigation Jump to search

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 16:40, 25 October 2025
 
Page name:
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

25 October 2025

     08:55  BB(4,3) diffhist +3 Polygon talk contribs (Used a closer lower bound)
     08:48  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist +2 Polygon talk contribs (Used a closer lower bound)

24 October 2025

     12:41  BB(4,3) 2 changes history +3 [Polygon (2×)]
 m   
12:41 (cur | prev) +4 Polygon talk contribs (Some grammar changes in the introduction)
     
12:34 (cur | prev) −1 Polygon talk contribs (Stage 2: Updated text with new holdout reductions)

23 October 2025

     18:37  BB(4,3) 6 changes history −2,051 [ADucharme; RobinCodes (2×); Polygon (3×)]
 m   
18:37 (cur | prev) 0 Polygon talk contribs (Potential Champions: Fixed equivalence)
 m   
18:29 (cur | prev) −99 ADucharme talk contribs (Top Halters: remove 10^^10 halter from Top Halter list) Tag: Visual edit
     
18:23 (cur | prev) −2,088 RobinCodes talk contribs (Potential Champions: Removed halting tapes, instead included table with sigma scores. Kept paragraph.) Tag: Visual edit
     
17:37 (cur | prev) +99 Polygon talk contribs (Top Halters: Made this a complete list of Pavel's potential champions)
     
17:29 (cur | prev) +23 Polygon talk contribs (Re-added the functions)
     
17:18 (cur | prev) +14 RobinCodes talk contribs (Updated page with the new champion.) Tag: Visual edit
     17:31  0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD 2 changes history 0 [RobinCodes; Polygon]
 m   
17:31 (cur | prev) 0 Polygon talk contribs (as --> in)
     
15:12 (cur | prev) 0 RobinCodes talk contribs (Corrected the number of TMs found by Pavel) Tag: Visual edit
     17:04  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist −9 RobinCodes talk contribs (Removed "possibly") Tag: Visual edit

22 October 2025

     18:05  BB(4,3) diffhist +1,009 Tjligocki talk contribs (Added more results to Phase 2 Stage 2.)

20 October 2025

     18:31  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist +60 Polygon talk contribs (Analysis by Polygon: Added halting tape)
     18:07  BB(4,3) 4 changes history +65 [Polygon (4×)]
     
18:07 (cur | prev) +3 Polygon talk contribs (Top Halters: These also seem to be score approximations)
     
17:22 (cur | prev) +31 Polygon talk contribs (Potential Champions: Reworded opening sentence)
 m   
17:17 (cur | prev) 0 Polygon talk contribs (Top Halters: de-capitalized halters)
     
17:16 (cur | prev) +31 Polygon talk contribs (Top Halters: Changed sentence)

19 October 2025

     19:33  BB(4,3) 8 changes history +1,364 [Tjligocki (2×); RobinCodes (2×); Polygon (4×)]
     
19:33 (cur | prev) +90 RobinCodes talk contribs Tag: Visual edit
     
19:29 (cur | prev) +149 RobinCodes talk contribs (Potential Champions) Tag: Visual edit
 m   
17:47 (cur | prev) −194 Tjligocki talk contribs (Removed duplicate entry)
     
17:44 (cur | prev) +1,192 Tjligocki talk contribs (Added some new results to Phase 2 Stage 2)
     
15:44 (cur | prev) +26 Polygon talk contribs (Potential Champions: Reorganized the list)
 m   
14:25 (cur | prev) −1 Polygon talk contribs (Grammar)
     
14:21 (cur | prev) +103 Polygon talk contribs (Top Halters: Added 1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD to list of Pavel's TMs)
 m   
08:31 (cur | prev) −1 Polygon talk contribs (Phase 1: Fixed grammar)
     14:31  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD 2 changes history +238 [Polygon (2×)]
 m   
14:31 (cur | prev) +9 Polygon talk contribs (Analysis by Polygon: formatting of an arrow I missed earlier)
     
11:56 (cur | prev) +229 Polygon talk contribs (Analysis by Polygon: Some formatting changes to make the page look less chaotic)
N    14:12  1RB2LB0LB 2LC2LA0LA 2RD1LC1RZ 1RA2LD1RD diffhist +4,159 Polygon talk contribs (Created page with "{{machine|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD}} {{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}} is a pentational halting BB(4,3) TM. It was discovered in May 2024 by Pavel Kropitz as one of seven long running TMs and achieves a score of over <math>3 \uparrow\uparrow\uparrow 88574</math>. Polygon analysed the TM by hand in October 2025, providing its score. Pavel listed the halting tape as: <pre> 1 Z> 1^(162*3^((3*<(243*3^(6) - 5)/2; (<(54*3^((3b + 11)/2) - 2...")
 m   12:04  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 2RB2RA2RD diffhist +201 Polygon talk contribs (Analysis by Polygon: Some formatting changes to make the page look less chaotic)