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
5 February 2026
|
|
10:34 | Busy Beaver for lambda calculus 6 changes history +474 [Azerty (2×); Tromp (4×)] | |||
|
|
10:34 (cur | prev) −86 Tromp talk contribs (only list one champion) | ||||
|
|
10:27 (cur | prev) −171 Tromp talk contribs (remove uninteresting column with number of reductions) | ||||
|
|
10:13 (cur | prev) −66 Tromp talk contribs (only list 1 champion) | ||||
|
|
10:00 (cur | prev) +71 Azerty talk contribs (→De Bruijn: More precise lower bounds.) Tag: Visual edit | ||||
|
|
09:54 (cur | prev) +724 Azerty talk contribs (→De Bruijn: Added new lower bounds and added expression size explanation.) Tag: Visual edit | ||||
| m |
|
09:40 (cur | prev) +2 Tromp talk contribs (→Oracle Busy Beaver) | |||
4 February 2026
| 19:09 | TMBR: January 2026 diffhist +310 RobinCodes talk contribs (→Holdouts: Added all BB(6) progress) | ||||
|
|
17:37 | Busy Beaver for lambda calculus 3 changes history +56 [Tromp (3×)] | |||
|
|
17:37 (cur | prev) +23 Tromp talk contribs (→Champions) | ||||
|
|
13:44 (cur | prev) +21 Tromp talk contribs (→Champions) | ||||
|
|
13:35 (cur | prev) +12 Tromp talk contribs (→Champions) | ||||
3 February 2026
2 February 2026
|
|
19:09 | TMBR: January 2026 4 changes history +371 [RobinCodes (4×)] | |||
|
|
19:09 (cur | prev) +101 RobinCodes talk contribs (→Holdouts: Added 1e13 sim results (implicit via solved holdouts)) Tag: Visual edit | ||||
|
|
18:31 (cur | prev) +184 RobinCodes talk contribs (→Holdouts: Added Dyuan's progress) Tag: Visual edit | ||||
| m |
|
18:11 (cur | prev) −4 RobinCodes talk contribs (→Holdouts) Tag: Visual edit | |||
|
|
17:56 (cur | prev) +90 RobinCodes talk contribs (→Holdouts: Added citation for confirmation in Rocq) Tag: Visual edit | ||||
|
|
19:05 | BB(2,6) 3 changes history +3,487 [ADucharme (3×)] | |||
| m |
|
19:05 (cur | prev) +288 ADucharme talk contribs (→Phase 2: left-align new decider columns) | |||
| m |
|
19:04 (cur | prev) +326 ADucharme talk contribs (→Phase 2: add processing time to Stage 4, add row to Stage 3) Tag: Visual edit | |||
|
|
18:55 (cur | prev) +2,873 ADucharme talk contribs (→Phase 2: added Stage 4 table) Tag: Visual edit | ||||
|
|
18:06 | BB(7) 2 changes history +240 [RobinCodes (2×)] | |||
|
|
18:06 (cur | prev) +2 RobinCodes talk contribs (→References: Added approximate runtime) Tag: Visual edit | ||||
|
|
18:05 (cur | prev) +238 RobinCodes talk contribs (→Phase 2: Added progress (TODO: What time did the run take?)) Tag: Visual edit: Switched | ||||
|
|
17:55 | BB(2,5) 2 changes history +415 [RobinCodes (2×)] | |||
|
|
17:55 (cur | prev) 0 RobinCodes talk contribs (→Certified progress: Fixed informal holdout count) Tag: Visual edit | ||||
|
|
17:54 (cur | prev) +415 RobinCodes talk contribs (→Certified progress: Extended the section with a paragraph about new progress) Tag: Visual edit | ||||
1 February 2026
|
|
21:26 | TMBR: January 2026 4 changes history +784 [Tlonuqbar; Sligocki; ADucharme (2×)] | |||
|
|
21:26 (cur | prev) +366 Tlonuqbar talk contribs (info on new rocq proofs) Tag: Visual edit | ||||
|
|
16:37 (cur | prev) +147 Sligocki talk contribs (→Blog Posts: Add Tromp's post.) Tag: Visual edit | ||||
|
|
05:17 (cur | prev) +117 ADucharme talk contribs (→Holdouts: updated 2x6 progress) Tag: Visual edit | ||||
|
|
05:11 (cur | prev) +154 ADucharme talk contribs (add to-do for mxdys code release) Tag: Visual edit | ||||
|
|
m 16:43 | Busy Beaver for lambda calculus 3 changes history +233 [Tromp (3×)] | |||
| m |
|
16:43 (cur | prev) +163 Tromp talk contribs (add BMS) | |||
| m |
|
16:35 (cur | prev) +65 Tromp talk contribs (add link to blog with detailed proof) | |||
| m |
|
16:34 (cur | prev) +5 Tromp talk contribs (fix off-by-1 error) | |||
30 January 2026
|
|
11:33 | TMBR: January 2026 3 changes history +589 [Qwertyasdf (3×)] | |||
|
|
11:33 (cur | prev) +178 Qwertyasdf talk contribs (→Holdouts: add solved 2,5 machine) Tag: Visual edit | ||||
|
|
11:20 (cur | prev) +177 Qwertyasdf talk contribs (→Holdouts: add peacemaker result) Tag: Visual edit | ||||
|
|
11:12 (cur | prev) +234 Qwertyasdf talk contribs (→Holdouts: add new holdouts list) Tag: Visual edit | ||||