Recent changes
Jump to navigation
Jump to search
Track the most recent changes to the wiki on this page.
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
14 February 2026
|
|
16:58 | TMBR: February 2026 2 changes history +442 [Qwertyasdf; Polygon] | |||
|
|
16:58 (cur | prev) +103 Qwertyasdf talk contribs (add info) Tag: Visual edit | ||||
|
|
08:28 (cur | prev) +339 Polygon talk contribs (Added new BBλ champions) | ||||
|
|
08:59 | User:Polygon/Collection of BB Champions 2 changes history +2,723 [Polygon (2×)] | |||
|
|
08:59 (cur | prev) +296 Polygon talk contribs (→Oracle Busy Beaver for Lambda Calculus (BBλ1(n)): changed formatting) | ||||
|
|
08:49 (cur | prev) +2,427 Polygon talk contribs (→Regular Busy Beaver for Lambda Calculus (BBλ(n)): updated list) | ||||
|
|
07:40 | Code repositories 2 changes history +119 [Int-y1 (2×)] | |||
| m |
|
07:40 (cur | prev) +16 Int-y1 talk contribs | |||
|
|
07:39 (cur | prev) +103 Int-y1 talk contribs (add C++ Quick_Sim.py) | ||||
| m 02:42 | User:ADucharme diffhist +169 ADucharme talk contribs (→Holdout Reduction: add BB(6) solved non-halters) | ||||
13 February 2026
| 20:34 | User:RobinCodes/Work on BB Domains diffhist 0 RobinCodes talk contribs (→Progress by domain: Added BB(6) progress) | ||||
| 20:33 | TMBR: February 2026 diffhist +354 RobinCodes talk contribs (→Holdouts: Added BB(6) progress) | ||||
| m 09:14 | Busy Beaver for lambda calculus diffhist +132 Sam talk contribs (Added new 47 bit champion) | ||||
|
|
04:11 | User:ADucharme 5 changes history +1,231 [ADucharme (5×)] | |||
| m |
|
04:11 (cur | prev) −96 ADucharme talk contribs (→Busy Beaver Games: templating) | |||
|
|
04:09 (cur | prev) +674 ADucharme talk contribs (→Busy Beaver Game: add bb7 results) Tag: Visual edit | ||||
| m |
|
03:55 (cur | prev) −24 ADucharme talk contribs (→Busy Beaver Game: getting TM modulized) | |||
|
|
03:54 (cur | prev) +654 ADucharme talk contribs (add busy beaver game section) Tag: Visual edit | ||||
| m |
|
03:46 (cur | prev) +23 ADucharme talk contribs (→BB(2,5): oversights corrected) Tag: Visual edit | |||
|
|
04:03 | BB(6) 2 changes history −2 [ADucharme (2×)] | |||
| m |
|
04:03 (cur | prev) +1 ADucharme talk contribs (fix top score formatting) Tag: Visual edit: Switched | |||
|
|
04:01 (cur | prev) −3 ADucharme talk contribs (reorder sections to match other domains like 2x5, 3x3, 2x6, 7x2) Tag: Visual edit | ||||
| 00:31 | Logical independence diffhist +111 Tlonuqbar talk contribs | ||||
12 February 2026
|
|
19:59 | TMBR: February 2026 3 changes history +1,008 [RobinCodes (3×)] | |||
|
|
19:59 (cur | prev) +399 RobinCodes talk contribs (→Holdouts: Added prurq-simulation related stuff) Tag: Visual edit | ||||
|
|
19:44 (cur | prev) +527 RobinCodes talk contribs (→Holdouts: Added BB(2,5) progress) Tag: Visual edit | ||||
|
|
05:30 (cur | prev) +82 RobinCodes talk contribs (Added peano tm as todo) Tag: Visual edit | ||||
| 19:57 | TMBR: January 2026 diffhist +39 RobinCodes talk contribs (→Holdouts: Added BB(2,5) to the table, small formatting changes) | ||||
| 19:42 | User:RobinCodes/Work on BB Domains diffhist 0 RobinCodes talk contribs (→Progress by domain: Added BB(2,5) progress) | ||||
| 19:42 | Holdouts lists diffhist 0 RobinCodes talk contribs (Added BB(2,5) progress) | ||||
| 19:42 | BB(2,5) diffhist +939 RobinCodes talk contribs (→Holdouts: Added BB(2,5) progress) | ||||
|
|
19:35 | Cryptids 2 changes history +287 [Sligocki; RobinCodes] | |||
|
|
19:35 (cur | prev) +288 RobinCodes talk contribs (→Larger Cryptids: Added TM independent of PA) Tag: Visual edit | ||||
| m |
|
05:01 (cur | prev) −1 Sligocki talk contribs (→Larger Cryptids: Update link) Tag: Visual edit | |||
| N 13:36 | BB(2,9) diffhist +144 BB fan weird talk contribs (Created page with "Il problema di bb(2,9) (2 stati e 9 simboli) e inesplorato da tutti, cio implica che bb(2,9) e difficilissimo, ho ipotizzato che bb(2,9)≥bb(7)") | ||||
|
|
12:37 | Busy Beaver for lambda calculus 10 changes history +939 [Tromp (10×)] | |||
|
|
12:37 (cur | prev) −48 Tromp talk contribs (→Champions) | ||||
|
|
12:33 (cur | prev) +103 Tromp talk contribs (add Laver table period 2^5 finder) | ||||
|
|
12:24 (cur | prev) +2 Tromp talk contribs (→Champions) | ||||
|
|
12:24 (cur | prev) +3 Tromp talk contribs (→Champions) | ||||
|
|
12:23 (cur | prev) −97 Tromp talk contribs (→Champions) | ||||
|
|
12:12 (cur | prev) 0 Tromp talk contribs (BB(21)=21 was wrong) | ||||
|
|
12:10 (cur | prev) −339 Tromp talk contribs (→Champions) | ||||
|
|
12:09 (cur | prev) +1,286 Tromp talk contribs (include champions under 21 bits) | ||||
|
|
11:56 (cur | prev) +42 Tromp talk contribs | ||||
|
|
11:55 (cur | prev) −13 Tromp talk contribs (→Champions) | ||||
| m 05:00 | Busy Beaver Frontier diffhist −1 Sligocki talk contribs (→Conjectures) | ||||
| 04:59 | Logical independence diffhist +31 Sligocki talk contribs (Add conjecture for N_PA) | ||||
| m 02:47 | Piecewise Affine Function diffhist −3 Int-y1 talk contribs (→Formal Definition) | ||||
11 February 2026
| 22:10 | Logical independence diffhist +327 Tlonuqbar talk contribs (adding PA independent machine) | ||||
|
|
22:06 | (Move log) [Tlonuqbar (2×)] | |||
|
|
22:06 Tlonuqbar talk contribs moved page Talk:Independence from ZFC to Talk:Logical independence (expanding scope) | ||||
|
|
22:06 Tlonuqbar talk contribs moved page Independence from ZFC to Logical independence (expanding scope) | ||||
| N 20:00 | BB(2,8) diffhist +182 BB fan weird talk contribs (Created page with "Il problema di bb(2,8) (macchina di Turing con 2 stati e 8 simboli) e inesplorato, cio significa che bb(2,8) e molto difficile, non ci sono limiti inferiori (lower bound) per bb(2,8)") | ||||
|
|
N 19:28 | User:ADucharme 2 changes history +4,144 [ADucharme (2×)] | |||
|
|
19:28 (cur | prev) +258 ADucharme talk contribs (add 2x5 TMs) Tag: Visual edit: Switched | ||||
| N |
|
19:20 (cur | prev) +3,886 ADucharme talk contribs (Created user page for Andrew) Tag: Visual edit | |||
| 16:06 | TMBR: February 2026 diffhist +159 RobinCodes talk contribs (→Holdouts: Added BB(2,6) progress) | ||||
| 16:00 | Holdouts lists diffhist 0 RobinCodes talk contribs (Added BB(2,6) progress) | ||||
| 15:55 | User:RobinCodes/Work on BB Domains diffhist 0 RobinCodes talk contribs (→Progress by domain: Added BB(2,5) progress) | ||||