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
19 October 2026
| 15:10 | BB(7) diffhist −3 HelpMe talk contribs (reference to unknown or undefined function) | ||||
| 13:24 | Holdouts lists diffhist 0 Polygon talk contribs (Updated BB(2,6) holdout count) | ||||
| 13:24 | BB(2,6) diffhist +126 Polygon talk contribs (→Stage 4: Added new reduction) | ||||
18 October 2026
|
|
13:05 | Holdouts lists 2 changes history 0 [Polygon (2×)] | |||
|
|
13:05 (cur | prev) 0 Polygon talk contribs (Updated BB(2,6) holdout count) | ||||
|
|
08:58 (cur | prev) 0 Polygon talk contribs (Updated BB(4,3) holdout count) | ||||
| 13:05 | BB(2,6) diffhist +114 Polygon talk contribs (→Stage 4: Added new reduction) | ||||
|
|
12:28 | Cryptids 2 changes history +773 [Polygon; Frogmatic] | |||
|
|
12:28 (cur | prev) +18 Polygon talk contribs (Added references section) | ||||
|
|
12:19 (cur | prev) +755 Frogmatic talk contribs (→Larger Cryptids: Mention possible improvement to the Weak Collatz cryptid) Tag: Visual edit: Switched | ||||
17 October 2026
|
|
20:35 | BB(2,5) 3 changes history +7 [Yves30. (3×)] | |||
|
|
20:35 (cur | prev) +6 Yves30. talk contribs (Minor edit: add missing word) Tag: Visual edit | ||||
|
|
20:14 (cur | prev) +1 Yves30. talk contribs (Add missing parenthesis to last corrected formula) Tag: Visual edit | ||||
|
|
20:11 (cur | prev) 0 Yves30. talk contribs (Minor change: last analyzed TM expected to halt in exp(exp(O(n))) steps, not exp(exp(O(1)))) Tag: Visual edit | ||||
| m 16:33 | BB(2,6) diffhist +12 ADucharme talk contribs (→Stage 4: added approximate run time for last three runs) | ||||
|
|
14:19 | BB(6) 3 changes history +25 [HelpMe; XnoobSpeakable (2×)] | |||
|
|
14:19 (cur | prev) +40 XnoobSpeakable talk contribs (fix archive) | ||||
|
|
14:17 (cur | prev) −69 XnoobSpeakable talk contribs (archiving one discord message) Tag: Visual edit | ||||
|
|
13:01 (cur | prev) +54 HelpMe talk contribs (linked the arrow stuff. yeah) Tag: Visual edit | ||||
16 October 2026
|
|
19:58 | Holdouts lists 10 changes history +1,616 [Yves30.; Polygon (9×)] | |||
|
|
19:58 (cur | prev) +798 Polygon talk contribs (→Fractran: Updated BBf(24) holdouts lists) | ||||
|
|
19:18 (cur | prev) +82 Polygon talk contribs (→BB(2,5): Linked 37 holdouts list by Andrew Ducharme) | ||||
|
|
17:23 (cur | prev) 0 Polygon talk contribs (Updated BB(6) holdout count) | ||||
|
|
17:22 (cur | prev) +216 Polygon talk contribs (→BB(6): Added new 663 holdouts list) | ||||
|
|
17:19 (cur | prev) +222 Polygon talk contribs (→BB(6): Added missing links to holdouts lists) | ||||
|
|
17:13 (cur | prev) +74 Polygon talk contribs (→BB(6): Linked 797 holdouts list) | ||||
|
|
16:14 (cur | prev) +7 Polygon talk contribs (→BB(6): 999 holdouts list has no file) | ||||
|
|
16:14 (cur | prev) +74 Polygon talk contribs (→BB(6): Added link to 855 holdouts list) | ||||
|
|
16:11 (cur | prev) +74 Polygon talk contribs (→BB(6): Added link to 964 list) | ||||
|
|
07:29 (cur | prev) +69 Yves30. talk contribs (Update notes on last 2x5 holdouts list) Tag: Visual edit | ||||
| m 18:18 | Instruction-Limited Busy Beaver diffhist +2 Polygon talk contribs (→Instruction-Limited Busy Beaver Variants: used ≥) | ||||
|
|
17:46 | BB(2,5) 4 changes history +620 [Polygon; Yves30. (3×)] | |||
|
|
17:46 (cur | prev) +18 Polygon talk contribs (Added references section) | ||||
|
|
07:22 (cur | prev) +3 Yves30. talk contribs (Reformulation (last solved TM has been found halting by a Rocq-certified longitudinal simulator)) Tag: Visual edit | ||||
|
|
07:11 (cur | prev) +13 Yves30. talk contribs (Moving the last solved TM to the formally proven section) Tag: Visual edit | ||||
|
|
07:06 (cur | prev) +586 Yves30. talk contribs (Update info of last solved halting TM: it has been solved by a longitudinal simulator, halting proof confirmed in Rocq) Tag: Visual edit | ||||
|
|
17:25 | BB(6) 2 changes history +190 [Qwertyasdf; Polygon] | |||
|
|
17:25 (cur | prev) 0 Polygon talk contribs (→History: Updated holdout counts) | ||||
|
|
00:12 (cur | prev) +190 Qwertyasdf talk contribs (AI) Tag: Visual edit | ||||
15 October 2026
|
|
11:27 | Holdouts lists 3 changes history +113 [HelpMe; Yves30. (2×)] | |||
|
|
11:27 (cur | prev) 0 Yves30. talk contribs (change release date of last bb6 holdouts list) Tag: Visual edit | ||||
|
|
11:17 (cur | prev) −29 Yves30. talk contribs (update bb2x5 nb of holdouts in the main page; change place of remarks (unofficial list) in the 2x5 section) Tag: Visual edit | ||||
|
|
11:07 (cur | prev) +142 HelpMe talk contribs (updates) Tag: Visual edit | ||||
| 11:25 | BB(6) diffhist 0 Yves30. talk contribs (update nb of holdouts to 698) | ||||
|
|
11:11 | BB(2,5) 2 changes history +455 [Yves30. (2×)] | |||
|
|
11:11 (cur | prev) +165 Yves30. talk contribs (New analysis on a yet unsolved TM: expected to halt in double exponential nb of steps) Tag: Visual edit | ||||
|
|
11:02 (cur | prev) +290 Yves30. talk contribs (Update: new halting TM discovered, add it to top halters.) Tag: Visual edit | ||||
14 October 2026
|
|
23:09 | Instruction-Limited Busy Beaver 3 changes history +364 [Loader3229 (3×)] | |||
|
|
23:09 (cur | prev) +615 Loader3229 talk contribs (→Champions) | ||||
|
|
16:40 (cur | prev) +14 Loader3229 talk contribs (→Champions) | ||||
|
|
02:47 (cur | prev) −265 Loader3229 talk contribs (→Champions) | ||||