User contributions for Tromp

Results for Tromp talk block log uploads logs abuse log

A user with 70 edits. Account created on 28 March 2025.

Jump to navigation Jump to search

12:5012:50, 25 September 2026 diff hist 0 Lambda Calculus →Oracle Busy Beaver current

20:4420:44, 23 September 2026 diff hist +5 Lambda Calculus →Champions
20:4120:41, 23 September 2026 diff hist 0 Lambda Calculus →Champions
20:4020:40, 23 September 2026 diff hist +14 Lambda Calculus →Champions

19:4919:49, 19 August 2026 diff hist 0 m Lambda Calculus all-capitals Tree

11:0311:03, 30 July 2026 diff hist +287 Lambda Calculus →Oracle Busy Beaver
10:4310:43, 30 July 2026 diff hist +61 Lambda Calculus →Champions

08:4208:42, 14 June 2026 diff hist +20 Lambda Calculus →Champions

14:3314:33, 18 May 2026 diff hist +1 m Lambda Calculus No edit summary Tag: Visual edit

10:3810:38, 10 May 2026 diff hist −30 Lambda Calculus →Analogy to Turing machines
10:3510:35, 10 May 2026 diff hist 0 Lambda Calculus No edit summary
10:2610:26, 10 May 2026 diff hist 0 Lambda Calculus →See Also
10:2610:26, 10 May 2026 diff hist +39 Lambda Calculus add C++ codebase for deciding BBλ

19:4719:47, 8 May 2026 diff hist 0 Lambda Calculus →See Also
19:4519:45, 8 May 2026 diff hist −23 Lambda Calculus →See Also

09:0509:05, 7 May 2026 diff hist +10 SKI Calculus →Champions
09:0209:02, 7 May 2026 diff hist +84 SKI Calculus →Champions
08:4808:48, 7 May 2026 diff hist +5 m SKI Calculus →SK calculus Tag: Visual edit
08:4808:48, 7 May 2026 diff hist +92 SKI Calculus →SK calculus
08:4608:46, 7 May 2026 diff hist +100 SKI Calculus →SK calculus
08:4208:42, 7 May 2026 diff hist +86 SKI Calculus n S/K combinators take 3n-1 bits to encode in Binary Combinatory Logic

11:2611:26, 28 February 2026 diff hist +36 Lambda Calculus →Champions
11:2411:24, 28 February 2026 diff hist +534 Lambda Calculus →Champions

23:2623:26, 16 February 2026 diff hist 0 Lambda Calculus →Champions
21:3621:36, 16 February 2026 diff hist +13 Lambda Calculus →Champions

12:3712:37, 12 February 2026 diff hist −48 Lambda Calculus →Champions
12:3312:33, 12 February 2026 diff hist +103 Lambda Calculus add Laver table period 2^5 finder
12:2412:24, 12 February 2026 diff hist +2 Lambda Calculus →Champions
12:2412:24, 12 February 2026 diff hist +3 Lambda Calculus →Champions
12:2312:23, 12 February 2026 diff hist −97 Lambda Calculus →Champions
12:1212:12, 12 February 2026 diff hist 0 Lambda Calculus BB(21)=21 was wrong
12:1012:10, 12 February 2026 diff hist −339 Lambda Calculus →Champions
12:0912:09, 12 February 2026 diff hist +1,286 Lambda Calculus include champions under 21 bits
11:5611:56, 12 February 2026 diff hist +42 Lambda Calculus No edit summary
11:5511:55, 12 February 2026 diff hist −13 Lambda Calculus →Champions

17:3917:39, 8 February 2026 diff hist +8 Lambda Calculus →See Also
17:3717:37, 8 February 2026 diff hist +8 Lambda Calculus →See Also
14:2314:23, 8 February 2026 diff hist −21 Lambda Calculus →Champions
12:5212:52, 8 February 2026 diff hist +2 Lambda Calculus →Champions
12:5112:51, 8 February 2026 diff hist +37 Lambda Calculus →Champions
12:4812:48, 8 February 2026 diff hist −21 Lambda Calculus →Champions
12:4612:46, 8 February 2026 diff hist −49 Lambda Calculus abbreviate and weaken 10^^^10^^^10^^^16 to 10^^^^4
12:4312:43, 8 February 2026 diff hist −448 Lambda Calculus →Champions
12:3812:38, 8 February 2026 diff hist −14 Lambda Calculus →Champions
10:5010:50, 8 February 2026 diff hist +273 Lambda Calculus →Oracle Busy Beaver
10:3710:37, 8 February 2026 diff hist −131 Lambda Calculus →Champions
10:3110:31, 8 February 2026 diff hist +55 Lambda Calculus →Champions
10:2510:25, 8 February 2026 diff hist +43 Lambda Calculus →Champions
10:2310:23, 8 February 2026 diff hist +95 Lambda Calculus →Champions
10:1510:15, 8 February 2026 diff hist +1,178 Lambda Calculus →Champions

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/Tromp"