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
9 November 2026
| 09:13 | TMBR: October 2026 diffhist −279 ADucharme talk contribs (→Holdouts: clarified 4x3 progress, eliminated claim that I made a holdout list when I just dumped prurq's progress into a single txt file) | ||||
| m 06:30 | TMBR: August 2026 diffhist +1 Elgan65536 talk contribs (fix error in lambda section according to spreadhseet) | ||||
| 05:06 | Register machine diffhist −8 Int-y1 talk contribs (→Register Busy Beaver: confirm MΣ(6) and MΣ(7)) | ||||
8 November 2026
| 18:37 | TMBR: August 2026 diffhist −1,969 Sligocki talk contribs (Edit down several sections that I think went into a bit too much detail. Especially the Fractran section which I think can be summarized a bit more suscinctly) | ||||
7 November 2026
| 12:01 | BB(6) diffhist −61 Polygon talk contribs (→Cryptids: removed 1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE from potential cryptids as it was proven to halt) | ||||
6 November 2026
| 21:25 | TMBR: October 2026 diffhist +108 Sligocki talk contribs (→Papers: It was published by Dos Santos, not "a research entity") | ||||
4 November 2026
|
|
20:56 | Pebble Automaton 3 changes history +247 [Sligocki; AlephSquirrel (2×)] | |||
|
|
20:56 (cur | prev) −85 Sligocki talk contribs (I think we can be more direct about this) Tag: Visual edit | ||||
|
|
20:52 (cur | prev) +294 AlephSquirrel talk contribs (cite some stuff) | ||||
|
|
20:46 (cur | prev) +38 AlephSquirrel talk contribs (Turing complete!) Tag: Visual edit | ||||
| m 09:31 | Fractran diffhist −3 Int-y1 talk contribs (→Size 48: BMO 6 (“Space Needle”): move diagram up) | ||||
3 November 2026
|
|
12:55 | BB(2,5) 8 changes history +142 [ADucharme; Yves30. (7×)] | |||
|
|
12:55 (cur | prev) +7 Yves30. talk contribs (another minor precision (last Rocq confirmations by @mxdys)) Tag: Visual edit | ||||
|
|
12:53 (cur | prev) +3 Yves30. talk contribs (Minor precision (# of holdouts from 83 list already proven before last Nov 3 official 37 holdouts release)) Tag: Visual edit | ||||
|
|
12:50 (cur | prev) −10 Yves30. talk contribs Tag: Visual edit | ||||
|
|
12:28 (cur | prev) +7 Yves30. talk contribs Tag: Visual edit | ||||
|
|
12:24 (cur | prev) +10 Yves30. talk contribs (Modify proof status of 2 top halters) Tag: Visual edit | ||||
|
|
12:20 (cur | prev) −197 Yves30. talk contribs (Update status of solved holdouts (official count is now 37)) Tag: Visual edit | ||||
|
|
12:08 (cur | prev) +252 Yves30. talk contribs (Add link to Rocq-proven last 37 holdouts list) Tag: Visual edit | ||||
| m |
|
10:16 (cur | prev) +70 ADucharme talk contribs (→Holdouts: Forward simulation documentation) Tag: Visual edit | |||