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

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

20:5720:57, 7 February 2026 diff hist +161 Lambda Calculus →Champions

10:3410:34, 5 February 2026 diff hist −86 Lambda Calculus only list one champion
10:2710:27, 5 February 2026 diff hist −171 Lambda Calculus remove uninteresting column with number of reductions
10:1310:13, 5 February 2026 diff hist −66 Lambda Calculus only list 1 champion
09:4009:40, 5 February 2026 diff hist +2 m Lambda Calculus →Oracle Busy Beaver

17:3717:37, 4 February 2026 diff hist +23 Lambda Calculus →Champions
13:4413:44, 4 February 2026 diff hist +21 Lambda Calculus →Champions
13:3513:35, 4 February 2026 diff hist +12 Lambda Calculus →Champions

16:4316:43, 1 February 2026 diff hist +163 m Lambda Calculus add BMS
16:3516:35, 1 February 2026 diff hist +65 m Lambda Calculus add link to blog with detailed proof
16:3416:34, 1 February 2026 diff hist +5 m Lambda Calculus fix off-by-1 error

08:4308:43, 30 December 2025 diff hist +2 m Lambda Calculus →Proof of Uncomputability
08:4208:42, 30 December 2025 diff hist +4 m Lambda Calculus →Proof of Uncomputability
08:4108:41, 30 December 2025 diff hist +22 m Lambda Calculus →Proof of Uncomputability

21:2421:24, 5 September 2025 diff hist −10 m Lambda Calculus →Oracle Busy Beaver Tag: Visual edit

14:1614:16, 14 August 2025 diff hist +2,325 Lambda Calculus add oracle busy beaver Tag: Visual edit

20:5120:51, 28 March 2025 diff hist +1 Lambda Calculus →Champions
20:5020:50, 28 March 2025 diff hist +198 Lambda Calculus add Loader's number
20:4320:43, 28 March 2025 diff hist −7 Lambda Calculus →Champions
20:4220:42, 28 March 2025 diff hist +5 Lambda Calculus Melo's 49 program exceeding Graham's Tag: Visual edit: Switched

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