Related changes
← BB(2,8)
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
|
|
07:41 | Cryptids 2 changes history −217 [Veljjanoski (2×)] | |||
|
|
07:41 (cur | prev) 0 Veljjanoski talk contribs (Brocard row: machine reduced to 34 states (BB(34), BBi(66)); links updated) Tag: Visual edit: Switched | ||||
|
|
06:37 (cur | prev) −217 Veljjanoski talk contribs (Brocard row: link machine.txt instead of WrapTM (41 states exceed the 26-letter standard format; the bbchallenge viewer link rendered the machine wrongly)) Tag: Visual edit: Switched | ||||
7 November 2026
6 November 2026
| 18:47 | Cryptids diffhist +263 Veljjanoski talk contribs (→Larger Cryptids: Erdős Ternary BB(15) and BB(14) machines verified in Lean (google-deepmind/cryptids PR 19)) | ||||
4 November 2026
|
|
14:19 | Cryptids 2 changes history +404 [Polygon; Loader3229] | |||
|
|
14:19 (cur | prev) −13 Polygon talk contribs (→Larger Cryptids: fixed doubled name) | ||||
|
|
08:05 (cur | prev) +417 Loader3229 talk contribs (→Larger Cryptids) | ||||
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 | |||