Related changes
← Cryptids
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 September 2026
18 September 2026
|
|
14:52 | BB(6) 5 changes history +1,497 [C1; Azerty; HelpMe (3×)] | |||
| m |
|
14:52 (cur | prev) −1 C1 talk contribs (→History: Synchronized with the wording in the "Holdouts lists" page.) | |||
| m |
|
14:40 (cur | prev) −12 Azerty talk contribs (removed excessive line jumps) Tag: Visual edit | |||
|
|
14:23 (cur | prev) 0 HelpMe talk contribs (removed errant newline) Tag: Visual edit | ||||
|
|
14:22 (cur | prev) +1,509 HelpMe talk contribs (yo if someone can fidn the last 5 machines that would be great) Tag: Visual edit | ||||
|
|
11:40 (cur | prev) +1 HelpMe talk contribs (...how long has that typo been there?) Tag: Visual edit | ||||
|
|
10:11 | BB(2,5) 3 changes history +81 [Yves30. (3×)] | |||
|
|
10:11 (cur | prev) −92 Yves30. talk contribs (Remove the last ranked TM in the top 20 halting list after having added a new TM) Tag: Visual edit | ||||
|
|
10:05 (cur | prev) −2 Yves30. talk contribs (Minor change: 1.589e20 to 1.6e20 for the nb of steps of a halting TM (lower the number of significative digits when comparing it to 2 other halting TMs of the same category, one of them being given only a lower bound)) Tag: Visual edit | ||||
|
|
09:59 (cur | prev) +175 Yves30. talk contribs (Add a Rocq-proved halting TM in the halting list with a lower bound and a note that the precise info of nb of steps is yet to be given ; add "probviously halting potential cryptid" to the champion contender in the list.) Tag: Visual edit | ||||
17 September 2026
| 03:24 | BB(3,3) diffhist +42 Sligocki talk contribs (tweak wording a bit to de-emphasize champion given that many people believe that the Cryptid beats it.) | ||||
16 September 2026
| 04:55 | BB(2,5) diffhist +36 C1 talk contribs (Synchronized a more precise lower bound for the runtime of the current BB(2,5) champion.) | ||||
15 September 2026
| m 14:12 | BB(2,5) diffhist +1 Sligocki talk contribs (→Top Halters: Move ref) | ||||
|
|
13:25 | BB(6) 2 changes history +418 [Yves30.; C7X] | |||
|
|
13:25 (cur | prev) +92 Yves30. talk contribs (Update nb of holdouts to 964 (2005 not considering equivalences), all are Rocq-proved thus not "informal". Precision about che champion: 2^^2^^2^^10 is much more precise information than just 2^^^5 that is only 2^^2^^65536) Tag: Visual edit | ||||
|
|
08:10 (cur | prev) +326 C7X talk contribs (More champions) | ||||
14 September 2026
|
|
21:46 | BB(2,5) 9 changes history +335 [ADucharme (2×); Yves30. (7×)] | |||
|
|
21:46 (cur | prev) +300 ADucharme talk contribs (formally solved TMs in "Solved with moderate rigor" category moved to "Formally proven," links to mxdys's announcement included.) Tag: Visual edit | ||||
|
|
14:55 (cur | prev) +15 Yves30. talk contribs (Reformulation of "holdouts" section introduction in order to avoid repetitions vs the "certified progress" section) Tag: Visual edit | ||||
|
|
14:45 (cur | prev) +310 Yves30. talk contribs (Update of the proof status: the number of holdouts is now 60, all others TMs have been proven in Rocq, especially the 5 "solved with moderate rigor" ones. However, the full list based on previous 83 is conserved with precisions/annotations when necessary) Tag: Visual edit | ||||
|
|
12:12 (cur | prev) 0 Yves30. talk contribs (For current champion and 3rd halter change the notation for number of steps until halting from S (capital) to s, according to the notation conventions in the field. Capital S is for the BB value only, thus S >= s(current champion)) Tag: Visual edit | ||||
|
|
09:34 (cur | prev) 0 Yves30. talk contribs (Correct erratum) Tag: Visual edit | ||||
|
|
09:33 (cur | prev) +71 Yves30. talk contribs (Precisions on champion and 3rd ranked halter S scores in the "formally proven" section) Tag: Visual edit | ||||
|
|
09:24 (cur | prev) +88 Yves30. talk contribs (Add link to Rocq proof of 3rd ranked halter found in 2025) Tag: Visual edit | ||||
|
|
09:14 (cur | prev) −28 Yves30. talk contribs (Order all the top halters by S (number of steps until halting). The TM originally ranked 4th has a sigma score of 8.3e466, and the Rocq proof on discord mentioned a quadratic machine (S ~ sigma²). Therefore this machine ranks 3rd and has a S of 6.9e933) Tag: Visual edit | ||||
|
|
08:05 (cur | prev) −421 ADucharme talk contribs (→Certified progress: proposed rewrite) Tag: Visual edit | ||||
13 September 2026
|
|
22:40 | BB(2,5) 2 changes history +32 [Yves30. (2×)] | |||
|
|
22:40 (cur | prev) +32 Yves30. talk contribs (Re-reading the discord discussion on it, the estimated chance for the probviously halting tetrational overflow counter to surpass the champion is between 25 and 50%, since the halting probability per overflow is estimated between 0.2 and 0.35 and 3 nonhalting overflows are required. Thus the previous single value of 30% is inappropriate.) Tag: Visual edit | ||||
|
|
21:54 (cur | prev) 0 Yves30. talk contribs (Coherence of the info on probviously halting contender: 30% chance to surpass the champion is the up-to-date estimate. The correct info is mentioned below on the line specific to the TM in the general list. The 1/8 figure mentioned at the beginning is an earlier estimate, obsolete.) Tag: Visual edit | ||||