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
|
|
18:11 | BB(7) 3 changes history −287 [ADucharme (3×)] | |||
|
|
18:11 (cur | prev) −386 ADucharme talk contribs (→Top Halters: add prurq halter to unique list, eliminate >20th rows) Tag: Visual edit | ||||
| m |
|
18:09 (cur | prev) +12 ADucharme talk contribs (→Top Halters: TMify) | |||
|
|
18:07 (cur | prev) +87 ADucharme talk contribs (→Top Halters: add prurq 4th place halter) Tag: Visual edit | ||||
|
|
m 13:05 | SKI Calculus 2 changes history +592 [Δ⁵ (2×)] | |||
| m |
|
13:05 (cur | prev) +442 Δ⁵ talk contribs (new bounds) | |||
| m |
|
12:16 (cur | prev) +150 Δ⁵ talk contribs (→Champions for Ξ₀BCKW: new bounds) | |||
|
|
12:22 | Logical independence 5 changes history +1,050 [Tlonuqbar; Merieke; Svennik (3×)] | |||
|
|
12:22 (cur | prev) +3 Merieke talk contribs (Added PA) Tag: Visual edit | ||||
|
|
04:57 (cur | prev) +153 Tlonuqbar talk contribs (→New Foundations (NF): most of this information doesn't need to be stated here. Also, updating chart) Tag: Visual edit: Switched | ||||
|
|
02:50 (cur | prev) +44 Svennik talk contribs (→History: connect to PA) Tag: Visual edit | ||||
|
|
02:48 (cur | prev) −490 Svennik talk contribs (→New Foundations (NF): remove unnecessary caveats: NF is provable consistent from ZFC) Tag: Visual edit | ||||
|
|
02:46 (cur | prev) +1,340 Svennik talk contribs (→History) Tag: Visual edit: Switched | ||||
| 09:04 | BB(4,3) diffhist −274 ADucharme talk contribs (→Stage 3: remove extremely inefficient enumerate step I eliminated from my pipeline) | ||||
8 November 2026
|
|
20:05 | TMBR: June 2026 2 changes history −515 [Sligocki (2×)] | |||
|
|
20:05 (cur | prev) −598 Sligocki talk contribs (Move Misc -> General to top, tidy up GRF and add a small lede) Tag: Visual edit | ||||
|
|
18:56 (cur | prev) +83 Sligocki talk contribs (Update Gasarch citation) Tag: Visual edit | ||||
| 19:58 | Logical independence diffhist +756 Tlonuqbar talk contribs (new stuffs) | ||||
| 10:52 | BB(7) diffhist −47 ADucharme talk contribs (→Phase 3: update gpu enumeration progress) | ||||
7 November 2026
|
|
16:35 | BB(7) 6 changes history +3,463 [Polygon; ADucharme (5×)] | |||
| m |
|
16:35 (cur | prev) +297 ADucharme talk contribs (→Phase 3: crediting GameDungeon + decider runners) Tag: Visual edit | |||
|
|
16:20 (cur | prev) +1,337 ADucharme talk contribs (→Phase 3: Enumeration tables and explanations added) Tag: Visual edit | ||||
|
|
16:03 (cur | prev) +1,402 ADucharme talk contribs (Phase 3 summary text, updated main table) Tag: Visual edit | ||||
|
|
15:46 (cur | prev) +127 Polygon talk contribs (→Phase 2: updated text) | ||||
|
|
15:42 (cur | prev) +2 ADucharme talk contribs (→Phase 2: fix phase 2 table after Stage 7 removal) Tag: Visual edit | ||||
|
|
15:39 (cur | prev) +298 ADucharme talk contribs (Creation of Phase 3 from former Phase 2, Stage 7. Existing decider information moved to new Phase 3 table) Tag: Visual edit | ||||
|
|
14:58 | TMBR: June 2026 4 changes history +462 [Polygon (2×); ADucharme (2×)] | |||
|
|
14:58 (cur | prev) 0 Polygon talk contribs (→Misc: fixed external link eating the first word of the title) | ||||
|
|
14:53 (cur | prev) +474 Polygon talk contribs (→Misc: attempted to fill BB Bignum Bakeoff TODO) | ||||
|
|
14:37 (cur | prev) +9 ADucharme talk contribs (→Holdouts: clarification of nature of GPU decider) Tag: Visual edit | ||||
|
|
14:29 (cur | prev) −21 ADucharme talk contribs (→Misc: remove GPU decider TODO, as nothing really came of it) Tag: Visual edit | ||||