User contributions for Azerty

Results for Azerty talk block log uploads logs abuse log

A user with 381 edits. Account created on 15 August 2024.

Jump to navigation Jump to search

07:4407:44, 14 June 2026 diff hist +6 m Champions →2-Symbol TMs Tag: Visual edit

13:5213:52, 13 June 2026 diff hist −14 Lambda Calculus →Champions: More efficicent formatting Tag: Visual edit
11:1411:14, 13 June 2026 diff hist +27 Lambda Calculus →Champions: Added a lower bound comparison Tag: Visual edit

18:4418:44, 9 June 2026 diff hist +265 Oracle Added oracles list Tag: Visual edit
18:3818:38, 9 June 2026 diff hist +266 N Oracle Created the page Tag: Visual edit
09:4409:44, 9 June 2026 diff hist −539 User:Azerty No edit summary current Tag: Visual edit

19:2019:20, 8 June 2026 diff hist −2 m Register machine →Register Busy Beaver Tag: Visual edit
11:5911:59, 8 June 2026 diff hist +190 Lambda Calculus →Champions: Moved small champion to a separate table like BB_FRACTRAN page Tag: Visual edit
09:2909:29, 8 June 2026 diff hist +21 m CounterScript →Macros Tag: Visual edit
09:0109:01, 8 June 2026 diff hist −953 CounterScript Improved champions readability. Tag: Visual edit

08:4108:41, 5 June 2026 diff hist +4 m Lambda Calculus →Champions Tag: Visual edit

07:3307:33, 1 June 2026 diff hist +172 SKI Calculus →Champions: Added larger BB_SK lower bounds Tag: Visual edit

12:3112:31, 30 May 2026 diff hist −9 m Papers & Talks →Talks Tag: Visual edit

16:2116:21, 27 May 2026 diff hist +1,140 N Diophantine Equation Created the page Tag: Visual edit
15:5215:52, 27 May 2026 diff hist +21 SKI Calculus I prefer keeping BB_SKI because it's more consistent with other systems like SK or BKWC Tag: Visual edit
11:2111:21, 27 May 2026 diff hist +1,869 CounterScript Added more lower bounds. Tag: Visual edit
09:3209:32, 27 May 2026 diff hist +328 CounterScript →BBCS: Added more lower bounds Tag: Visual edit
07:3607:36, 27 May 2026 diff hist +199 CounterScript →BBCS: Added two values Tag: Visual edit

20:5820:58, 26 May 2026 diff hist +1 m General Recursive Function →BBµ(14) ≥ 32: Fixed a typo Tag: Visual edit
07:3607:36, 26 May 2026 diff hist +2 m SKI Calculus →Champions Tag: Visual edit

08:0008:00, 25 May 2026 diff hist +575 SKI Calculus Added BCKW system. Tag: Visual edit
06:4306:43, 25 May 2026 diff hist +180 SKI Calculus →Champions: Added new champion and discoverer name. Tag: Visual edit

19:1019:10, 23 May 2026 diff hist +5 SKI Calculus →Champions: Updated SKI champions Tag: Visual edit
19:0819:08, 23 May 2026 diff hist +15 SKI Calculus →Champions: Added new champions. Tag: Visual edit
19:0219:02, 23 May 2026 diff hist +26 N SK Calculus Redirected page to SKI Calculus current Tag: New redirect
07:4207:42, 23 May 2026 diff hist +1,128 N Boolfuck Created the page Tag: Visual edit
07:3907:39, 23 May 2026 diff hist +56 m Brainfuck No edit summary Tag: Visual edit

12:5012:50, 20 May 2026 diff hist +2,100 Brainfuck Finished the page and added champions Tag: Visual edit
12:3012:30, 20 May 2026 diff hist +231 CounterScript →Champions: Explained BBCS Tag: Visual edit

07:5607:56, 19 May 2026 diff hist −3 m CounterScript →Champions Tag: Visual edit

18:4318:43, 12 May 2026 diff hist −40 m SKI Calculus →Champions Tag: Visual edit

06:3006:30, 10 May 2026 diff hist +1 m De Bruijn index No edit summary Tag: Visual edit
06:2806:28, 10 May 2026 diff hist +604 De Bruijn index Added back missing values. Tag: Visual edit

18:4418:44, 1 May 2026 diff hist −4 General Recursive Function →Utilizing Minimization: Updated because some champions that use minimization have been discovered. Tag: Visual edit

19:0319:03, 22 April 2026 diff hist +175 CounterScript →Champions: Set BBCS(8) and BBCS(9) status to proven. Tag: Visual edit

16:3516:35, 11 April 2026 diff hist −15 Lambda Calculus →De Bruijn Tag: Manual revert
16:3516:35, 11 April 2026 diff hist −2 Lambda Calculus →De Bruijn
16:3416:34, 11 April 2026 diff hist +17 Lambda Calculus →De Bruijn
16:3216:32, 11 April 2026 diff hist −13 CounterScript →Champions
16:3216:32, 11 April 2026 diff hist +1,908 N CounterScript Created page Tag: Visual edit

16:2016:20, 10 April 2026 diff hist +268 TMBR: March 2026 →BB Adjacent: Added CounterScript Tag: Visual edit

19:5619:56, 31 March 2026 diff hist 0 m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA →Analysis by @mxdys current Tag: Visual edit

21:2221:22, 23 March 2026 diff hist −3 m Lambda Calculus →De Bruijn: Updated length 14 champion. Tag: Visual edit

07:5807:58, 11 February 2026 diff hist +541 Brainfuck Added some informations about how bf works. Tag: Visual edit

17:3417:34, 7 February 2026 diff hist +2,406 N User:Azerty/Lambda Calculus Busy Beaver Created page with "We can use De Bruijn index instead of binary to evaluate lambda calculus size. To get the size of an expression, convert it into De Bruijn index then count the number of lambdas / backslashes and numbers. By example, <code>(\1 1) (\\2 (1 2))</code> is size 8 because it has 3 backslashes and 5 numbers. For n ≤ 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20. {| class="wikitable" !BBλ_db(n)..." current Tag: Visual edit

07:4007:40, 6 February 2026 diff hist +2 m Lambda Calculus →De Bruijn Tag: Visual edit

19:5719:57, 5 February 2026 diff hist +127 Lambda Calculus →De Bruijn: Added values for n < 7 Tag: Visual edit
10:0010:00, 5 February 2026 diff hist +71 Lambda Calculus →De Bruijn: More precise lower bounds. Tag: Visual edit
09:5409:54, 5 February 2026 diff hist +724 Lambda Calculus →De Bruijn: Added new lower bounds and added expression size explanation. Tag: Visual edit

09:2209:22, 26 January 2026 diff hist −157 User:Azerty/Busy Beaver Functions →De Bruijn current Tag: Visual edit

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