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
|
|
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: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 | ||||