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
23 October 2026
|
|
05:38 | BB(7) 6 changes history +599 [Jacobzheng; Loader3229 (5×)] | |||
|
|
05:38 (cur | prev) +147 Loader3229 talk contribs (→Top Halters) | ||||
| m |
|
05:25 (cur | prev) −2 Loader3229 talk contribs (→Top Halters) | |||
|
|
05:24 (cur | prev) +296 Loader3229 talk contribs (→Top Halters) | ||||
|
|
05:23 (cur | prev) −3 Loader3229 talk contribs (→Phase 1) | ||||
|
|
05:22 (cur | prev) +171 Loader3229 talk contribs (→History) | ||||
|
|
05:01 (cur | prev) −10 Jacobzheng talk contribs | ||||
22 October 2026
| 16:05 | BB(2,6) diffhist +403 Polygon talk contribs (→Stage 4: Added new reductions) | ||||
|
|
11:37 | BB(2,5) 2 changes history −189 [Yves30. (2×)] | |||
|
|
11:37 (cur | prev) −278 Yves30. talk contribs (edit the top halters table, down to 20 from 23 (delete the 3 lowest rows)) Tag: Visual edit | ||||
|
|
11:33 (cur | prev) +89 Yves30. talk contribs (Add link to discord as ref for one of the top halters) Tag: Visual edit | ||||
19 October 2026
| 15:10 | BB(7) diffhist −3 HelpMe talk contribs (reference to unknown or undefined function) | ||||
| 13:24 | BB(2,6) diffhist +126 Polygon talk contribs (→Stage 4: Added new reduction) | ||||
18 October 2026
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
|
|
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) diffhist 0 Polygon talk contribs (→History: Updated holdout counts) | ||||