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.
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
27 October 2025
| 05:37 | BB(7) diffhist +101 Tjligocki talk contribs (Added Phase 2 Stage 4 Holdouts link under "Data") | ||||
26 October 2025
|
|
22:20 | BB(4,3) 4 changes history +878 [RobinCodes; ADucharme; Tjligocki (2×)] | |||
|
|
22:20 (cur | prev) −2 ADucharme talk contribs (→Top Halters: updating discoverer of top 4x3 halters) Tag: Visual edit | ||||
|
|
20:44 (cur | prev) −20 RobinCodes talk contribs (→Top Halters: Removed {incomplete list} as list is not incomplete.) Tag: Visual edit: Switched | ||||
|
|
19:55 (cur | prev) +102 Tjligocki talk contribs (Added link to results on Google Drive) | ||||
|
|
19:23 (cur | prev) +798 Tjligocki talk contribs (Added top 20 halting TMs found by comprehensive search) | ||||
|
|
21:46 | BB(7) 2 changes history +1,943 [Tjligocki (2×)] | |||
|
|
21:46 (cur | prev) +178 Tjligocki talk contribs (Trying to fix links to the "data" column.) | ||||
|
|
21:05 (cur | prev) +1,765 Tjligocki talk contribs (Updated with new holdout results.) | ||||
| 20:33 | BB(3,3) diffhist +19 RobinCodes talk contribs (→Cryptids: Added "probable champion" to potential cryptid as a name) | ||||
| 20:16 | BB(2,5) diffhist +1,033 RobinCodes talk contribs (Added information about every TM from Peacemaker II's google sheet except for the 17 untouched machines. Reordered all TM lists by category (i.e. potential cryptid, or unkown, etc.). Added math formulas wherever possible.) | ||||
| 19:14 | BB(6) diffhist +20 Polygon talk contribs (→Top Halters: Higher scoring #20 machine) | ||||
|
|
N 14:01 | User:XnoobSpeakable/Xnoobs-testing-page 3 changes history +17,562 [XnoobSpeakable (3×)] | |||
|
|
14:01 (cur | prev) +22 XnoobSpeakable talk contribs (discoverer in top halters) Tag: Visual edit | ||||
|
|
13:58 (cur | prev) +17,497 XnoobSpeakable talk contribs (attempt collapsible bb(3,4)) | ||||
| N |
|
13:57 (cur | prev) +43 XnoobSpeakable talk contribs (Created page with "TEMU ripoff of Polygon's "Page for testing"") Tag: Visual edit | |||
|
|
13:45 | BB(3,4) 4 changes history +1,740 [Polygon; XnoobSpeakable (3×)] | |||
|
|
13:45 (cur | prev) −22 XnoobSpeakable talk contribs (→Phase 2 Data: Try fixing stuff) Tag: Visual edit: Switched | ||||
|
|
13:42 (cur | prev) −2 XnoobSpeakable talk contribs (→Phase 2: Stage 7 results) Tag: Visual edit | ||||
| m |
|
11:07 (cur | prev) −23 Polygon talk contribs (→Phase 2 Data: fixed syntax highlighting error) | |||
|
|
10:29 (cur | prev) +1,787 XnoobSpeakable talk contribs (stage 7) Tag: Visual edit | ||||
25 October 2025
|
|
19:34 | BB(2,5) 7 changes history +1,251 [Peacemaker II (3×); RobinCodes (4×)] | |||
|
|
19:34 (cur | prev) −52 Peacemaker II talk contribs | ||||
|
|
19:33 (cur | prev) +16 Peacemaker II talk contribs | ||||
|
|
19:29 (cur | prev) −234 Peacemaker II talk contribs (minor changes) | ||||
|
|
14:38 (cur | prev) +90 RobinCodes talk contribs (→Holdouts: Added 2 missing TMs from the unsolved list. (5, unknown and 84, chaotic via long. analysis)) Tag: Visual edit | ||||
|
|
14:24 (cur | prev) +11 RobinCodes talk contribs (→Holdouts: Changed the Skelet-17-like from one dekaheptoid to another: was wrong) Tag: Visual edit | ||||
|
|
14:17 (cur | prev) +611 RobinCodes talk contribs (→Solved with moderate rigor: Added 3 machines (2 by eqivalence classes) also solved with moderate rigor.) Tag: Visual edit | ||||
|
|
11:51 (cur | prev) +809 RobinCodes talk contribs (→Certified progress: Updated paragraph section with the extra 8 Rocq-decided machines, added the new informal argument. (I am assuming that the 8 machines added to Rocq after the 83 list correspond to the 8 machines in the "Formally Proven" section and thus should not be in the Unsolved list hopefully.)) Tag: Visual edit | ||||
| 13:04 | BB(3,3) diffhist 0 RobinCodes talk contribs (→Interesting Rocq-Solved TMs: Corrected number) | ||||
| 08:55 | BB(4,3) diffhist +3 Polygon talk contribs (Used a closer lower bound) | ||||
|
|
07:16 | BB(3,4) 3 changes history +64 [Sligocki; XnoobSpeakable (2×)] | |||
|
|
07:16 (cur | prev) +90 XnoobSpeakable talk contribs (→Top Halters: Fix scores) | ||||
|
|
07:02 (cur | prev) −188 XnoobSpeakable talk contribs (→Top Halters: make sure it's actually 20 TMs) Tag: Visual edit | ||||
|
|
00:51 (cur | prev) +162 Sligocki talk contribs (→Top Halters: Add permutations of champions) Tag: Visual edit | ||||
24 October 2025
|
|
21:17 | BB(3,4) 6 changes history +1,470 [RobinCodes; XnoobSpeakable (2×); Polygon (3×)] | |||
|
|
21:17 (cur | prev) −111 Polygon talk contribs (Fixed syntax highlighting errors) | ||||
|
|
21:04 (cur | prev) +20 Polygon talk contribs (Added Category:BB(3,4)) | ||||
|
|
19:21 (cur | prev) +6 RobinCodes talk contribs (→Top Halters: Added "known" (consistency with other domain pages)) Tag: Visual edit | ||||
|
|
19:03 (cur | prev) −20 Polygon talk contribs (→Top Halters: Removed Template:incomplete list) | ||||
|
|
18:58 (cur | prev) +1,605 XnoobSpeakable talk contribs (→Top Halters: Add top 20) Tag: Visual edit | ||||
|
|
18:47 (cur | prev) −30 XnoobSpeakable talk contribs (→Phase 2: Add stage 6) Tag: Visual edit | ||||
| N 21:02 | Category:BB(3,4) diffhist +66 Polygon talk contribs (Created page with "Pages related to the study of BB(3,4). Category:BB Domains") | ||||
|
|
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 | ||||
| 10:05 | BB(7) diffhist +56 RobinCodes talk contribs (→Phase 2: Paragraph section updated to Stage 4.) | ||||
22 October 2025
| 18:05 | BB(4,3) diffhist +1,009 Tjligocki talk contribs (Added more results to Phase 2 Stage 2.) | ||||
|
|
16:48 | BB(3,4) 3 changes history +45 [XnoobSpeakable (3×)] | |||
|
|
16:48 (cur | prev) +45 XnoobSpeakable talk contribs (→Phase 2: Fix input TM count, prediction) Tag: Visual edit | ||||
|
|
16:33 (cur | prev) −109 XnoobSpeakable talk contribs (remove broken tm count from in-progress TMs) Tag: Visual edit | ||||
|
|
15:53 (cur | prev) +109 XnoobSpeakable talk contribs (→Phase 2: progress hell) Tag: Visual edit | ||||