User contributions for Tromp
Jump to navigation
Jump to search
16 February 2026
- 23:2623:26, 16 February 2026 diff hist 0 Busy Beaver for lambda calculus →Champions current
- 21:3621:36, 16 February 2026 diff hist +13 Busy Beaver for lambda calculus →Champions
12 February 2026
- 12:3712:37, 12 February 2026 diff hist −48 Busy Beaver for lambda calculus →Champions
- 12:3312:33, 12 February 2026 diff hist +103 Busy Beaver for lambda calculus add Laver table period 2^5 finder
- 12:2412:24, 12 February 2026 diff hist +2 Busy Beaver for lambda calculus →Champions
- 12:2412:24, 12 February 2026 diff hist +3 Busy Beaver for lambda calculus →Champions
- 12:2312:23, 12 February 2026 diff hist −97 Busy Beaver for lambda calculus →Champions
- 12:1212:12, 12 February 2026 diff hist 0 Busy Beaver for lambda calculus BB(21)=21 was wrong
- 12:1012:10, 12 February 2026 diff hist −339 Busy Beaver for lambda calculus →Champions
- 12:0912:09, 12 February 2026 diff hist +1,286 Busy Beaver for lambda calculus include champions under 21 bits
- 11:5611:56, 12 February 2026 diff hist +42 Busy Beaver for lambda calculus No edit summary
- 11:5511:55, 12 February 2026 diff hist −13 Busy Beaver for lambda calculus →Champions
8 February 2026
- 17:3917:39, 8 February 2026 diff hist +8 Busy Beaver for lambda calculus →See Also
- 17:3717:37, 8 February 2026 diff hist +8 Busy Beaver for lambda calculus →See Also
- 14:2314:23, 8 February 2026 diff hist −21 Busy Beaver for lambda calculus →Champions
- 12:5212:52, 8 February 2026 diff hist +2 Busy Beaver for lambda calculus →Champions
- 12:5112:51, 8 February 2026 diff hist +37 Busy Beaver for lambda calculus →Champions
- 12:4812:48, 8 February 2026 diff hist −21 Busy Beaver for lambda calculus →Champions
- 12:4612:46, 8 February 2026 diff hist −49 Busy Beaver for lambda calculus abbreviate and weaken 10^^^10^^^10^^^16 to 10^^^^4
- 12:4312:43, 8 February 2026 diff hist −448 Busy Beaver for lambda calculus →Champions
- 12:3812:38, 8 February 2026 diff hist −14 Busy Beaver for lambda calculus →Champions
- 10:5010:50, 8 February 2026 diff hist +273 Busy Beaver for lambda calculus →Oracle Busy Beaver
- 10:3710:37, 8 February 2026 diff hist −131 Busy Beaver for lambda calculus →Champions
- 10:3110:31, 8 February 2026 diff hist +55 Busy Beaver for lambda calculus →Champions
- 10:2510:25, 8 February 2026 diff hist +43 Busy Beaver for lambda calculus →Champions
- 10:2310:23, 8 February 2026 diff hist +95 Busy Beaver for lambda calculus →Champions
- 10:1510:15, 8 February 2026 diff hist +1,178 Busy Beaver for lambda calculus →Champions
7 February 2026
5 February 2026
- 10:3410:34, 5 February 2026 diff hist −86 Busy Beaver for lambda calculus only list one champion
- 10:2710:27, 5 February 2026 diff hist −171 Busy Beaver for lambda calculus remove uninteresting column with number of reductions
- 10:1310:13, 5 February 2026 diff hist −66 Busy Beaver for lambda calculus only list 1 champion
- 09:4009:40, 5 February 2026 diff hist +2 m Busy Beaver for lambda calculus →Oracle Busy Beaver
4 February 2026
- 17:3717:37, 4 February 2026 diff hist +23 Busy Beaver for lambda calculus →Champions
- 13:4413:44, 4 February 2026 diff hist +21 Busy Beaver for lambda calculus →Champions
- 13:3513:35, 4 February 2026 diff hist +12 Busy Beaver for lambda calculus →Champions
1 February 2026
- 16:4316:43, 1 February 2026 diff hist +163 m Busy Beaver for lambda calculus add BMS
- 16:3516:35, 1 February 2026 diff hist +65 m Busy Beaver for lambda calculus add link to blog with detailed proof
- 16:3416:34, 1 February 2026 diff hist +5 m Busy Beaver for lambda calculus fix off-by-1 error
30 December 2025
- 08:4308:43, 30 December 2025 diff hist +2 m Busy Beaver for lambda calculus →Proof of Uncomputability
- 08:4208:42, 30 December 2025 diff hist +4 m Busy Beaver for lambda calculus →Proof of Uncomputability
- 08:4108:41, 30 December 2025 diff hist +22 m Busy Beaver for lambda calculus →Proof of Uncomputability
5 September 2025
- 21:2421:24, 5 September 2025 diff hist −10 m Busy Beaver for lambda calculus →Oracle Busy Beaver Tag: Visual edit
14 August 2025
- 14:1614:16, 14 August 2025 diff hist +2,325 Busy Beaver for lambda calculus add oracle busy beaver Tag: Visual edit
28 March 2025
- 20:5120:51, 28 March 2025 diff hist +1 Busy Beaver for lambda calculus →Champions
- 20:5020:50, 28 March 2025 diff hist +198 Busy Beaver for lambda calculus add Loader's number
- 20:4320:43, 28 March 2025 diff hist −7 Busy Beaver for lambda calculus →Champions
- 20:4220:42, 28 March 2025 diff hist +5 Busy Beaver for lambda calculus Melo's 49 program exceeding Graham's Tag: Visual edit: Switched