User contributions for Tromp

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