User contributions for Sligocki

30 July 2025

• 23:1623:16, 30 July 2025 diff hist +1 Reversible Turing Machine →Busy Beaver Champions: New BB_rev(6) champion. Tag: Visual edit
• 22:5722:57, 30 July 2025 diff hist +81 BB(6) →Holdouts: Number of BB(6) holdouts over time. Tag: Visual edit
• 22:5622:56, 30 July 2025 diff hist +85 TMBR: July 2025 →Holdout: Add plot Tag: Visual edit
• 22:5422:54, 30 July 2025 diff hist +53 N File:BB6 num holdouts over time.png Number of BB(6) holdouts over time. current
• 15:5915:59, 30 July 2025 diff hist +52 BB(6) →Cryptids: Add new Cryptid
• 15:5915:59, 30 July 2025 diff hist +655 N 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE Created page with "{{machine|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} {{TM|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025. == Analysis by mxdys == [https://discord.com/channels/960643023006490684/1239205785913790465/1400141896944320602] <pre> 1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c..."
• 01:3901:39, 30 July 2025 diff hist +102 Non-halting Turing machine →Records: Name BBS function
• 01:3701:37, 30 July 2025 diff hist +68 N BBS Redirected page to Non-halting Turing machine#Translated cycler preperiod current Tags: New redirect Visual edit
• 01:3601:36, 30 July 2025 diff hist +16 Busy Beaver Functions →Other Busy Beaver functions: link BBP,BBS Tag: Visual edit
• 01:3501:35, 30 July 2025 diff hist +73 Non-halting Turing machine →Translated cycler period: Name BBP Tag: Visual edit
• 01:3401:34, 30 July 2025 diff hist +65 N BBP Redirected page to Non-halting Turing machine#Translated cycler period current Tags: New redirect Visual edit

29 July 2025

• 16:2116:21, 29 July 2025 diff hist +10 TMBR: July 2025 Update BB(6) holdout count Tag: Visual edit
• 15:3015:30, 29 July 2025 diff hist +164 Talk:1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF No edit summary current

27 July 2025

• 19:0019:00, 27 July 2025 diff hist +20 Category:This Month in Beaver Research Mention pronunciation current Tag: Visual edit
• 15:2815:28, 27 July 2025 diff hist +25 TMBR: July 2025 Update name and category Tag: Visual edit
• 15:2615:26, 27 July 2025 diff hist +29 N TMiBB: July 2025 Sligocki moved page TMiBB: July 2025 to TMBR: July 2025: Acronym rename current Tag: New redirect
• 15:2615:26, 27 July 2025 diff hist 0 m TMBR: July 2025 Sligocki moved page TMiBB: July 2025 to TMBR: July 2025: Acronym rename
• 15:2615:26, 27 July 2025 diff hist +3 Category:This Month in Beaver Research Update name Tag: Visual edit
• 15:2515:25, 27 July 2025 diff hist +53 N Category:This Month in Busy Beaver Sligocki moved page Category:This Month in Busy Beaver to Category:This Month in Beaver Research: Rename to support the TMBR (Timber) acronym current Tag: New redirect
• 15:2515:25, 27 July 2025 diff hist 0 m Category:This Month in Beaver Research Sligocki moved page Category:This Month in Busy Beaver to Category:This Month in Beaver Research: Rename to support the TMBR (Timber) acronym
• 15:2215:22, 27 July 2025 diff hist +279 TMBR: July 2025 Add BBi(8) champion. Tag: Visual edit
• 15:1615:16, 27 July 2025 diff hist +285 Cryptids Insert Lovecraftian Beaver fan art Tag: Visual edit
• 15:1415:14, 27 July 2025 diff hist +285 TMBR: July 2025 Insert Lovecraftian Beaver fan art Tag: Visual edit
• 15:0815:08, 27 July 2025 diff hist +154 N File:Lovecraft beaver.png Created by Discord user Fern's friend Lauren in 2025. https://discord.com/channels/960643023006490684/992572017683472514/1398470914990936135 current
• 14:5814:58, 27 July 2025 diff hist +297 Instruction-Limited Busy Beaver →Champions: Clarify why `1RB---_------` is listed with so many blanks. Tag: Visual edit
• 14:5414:54, 27 July 2025 diff hist +7 m Instruction-Limited Busy Beaver Reverted edits by Jacobzheng (talk) to last revision by MrBrain Tag: Rollback
• 03:2703:27, 27 July 2025 diff hist +39 N 1RB2LA1RA1RA 1LB1LA3RB--- Redirected page to 1RB2LA1RA1RA 1LB1LA3RB1RZ current Tags: New redirect Visual edit
• 03:2603:26, 27 July 2025 diff hist +7 m Instruction-Limited Busy Beaver →Champions: Math format: * to \times Tag: Visual edit
• 03:1703:17, 27 July 2025 diff hist +1,085 N 1RB1LA------ 1RC3LB1RB--- 2LA2LC---0LC Created page with "{{machine|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC}} {{TM|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC}} is the current BBi(8) champion. It runs for over <math>10^{1565}</math> steps and has a sigma score of exactly <math>\frac{3^{1642} - 11}{2}</math>. It was discovered by Nick Drozd on 26 July 2025 ([https://discord.com/channels/960643023006490684/1084047886494470185/1398753236835635252 Discord link]). == Analysis by Shawn Ligocki == <pre> A(a, b, c) = <A 2^a 0 3^b 1^..."
• 02:3502:35, 27 July 2025 diff hist −388 Instruction-Limited Busy Beaver →Champions: Update BBi(8) with steps (~10^1565.83817) Tag: Visual edit

25 July 2025

• 15:1015:10, 25 July 2025 diff hist +114 Instruction-Limited Busy Beaver Rework the BBi requires solving BB section Tag: Visual edit

24 July 2025

• 19:1519:15, 24 July 2025 diff hist +101 m Instruction-Limited Busy Beaver Formatting
• 16:5116:51, 24 July 2025 diff hist −42 Instruction-Limited Busy Beaver Reword BB as not instruction limited Tag: Visual edit
• 15:5615:56, 24 July 2025 diff hist 0 m Instruction-Limited Busy Beaver Update name Tag: Visual edit
• 15:5515:55, 24 July 2025 diff hist −45 m Busy Beaver Functions Update name Tag: Visual edit
• 15:5415:54, 24 July 2025 diff hist +26 m TMBR: July 2025 No edit summary Tag: Visual edit
• 15:5215:52, 24 July 2025 diff hist +45 N Limited Instruction Busy Beaver Sligocki moved page Limited Instruction Busy Beaver to Instruction-Limited Busy Beaver: MrBrain suggested this preference since it puts the key word "Instruction" first current Tag: New redirect
• 15:5215:52, 24 July 2025 diff hist 0 m Instruction-Limited Busy Beaver Sligocki moved page Limited Instruction Busy Beaver to Instruction-Limited Busy Beaver: MrBrain suggested this preference since it puts the key word "Instruction" first
• 14:4514:45, 24 July 2025 diff hist +3 m Bigfoot No edit summary Tag: Visual edit
• 14:4414:44, 24 July 2025 diff hist −23 m Bigfoot No edit summary Tag: Visual edit

23 July 2025

• 04:4104:41, 23 July 2025 diff hist +41 m Instruction-Limited Busy Beaver →Champions Tag: Visual edit
• 03:0203:02, 23 July 2025 diff hist −3 Instruction-Limited Busy Beaver →Champions: BBi(7) champ proven Tag: Visual edit

22 July 2025

• 19:1719:17, 22 July 2025 diff hist +357 m Reversible Turing Machine Align Numbers in table
• 19:1519:15, 22 July 2025 diff hist +630 m Instruction-Limited Busy Beaver →Champions: Align numbers in table.
• 18:3718:37, 22 July 2025 diff hist +2 m Code repositories Fix typos Tag: Visual edit: Switched
• 18:3618:36, 22 July 2025 diff hist +21 N Bouncers Redirected page to Bouncer current Tags: New redirect Visual edit
• 18:3518:35, 22 July 2025 diff hist +29 m Closed Tape Language No edit summary Tag: Visual edit
• 18:3418:34, 22 July 2025 diff hist +78 N MITMWFAR Redirected page to Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) current Tags: New redirect Visual edit: Switched
• 18:3418:34, 22 July 2025 diff hist +398 N Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) Created page with "'''Meet-in-the-Middle Weighted Finite Automata Reduction''' ('''MITMWFAR''') is a Turing machine decider. It is a variation of Finite Automata Reduction (FAR) based upon Weighted Finite Automata. This allows it to decide irregular TMs which cannot be decided by FAR or any other regular decider. See: https://github.com/Iijil1/MITMWFAR/tree/main Category:Deciders Category:Stub" Tag: Visual edit
• 01:2701:27, 22 July 2025 diff hist +480 Independence from ZFC Add section on N_ZFC = N_ZF Tag: Visual edit