User contributions for Sligocki
Jump to navigation
Jump to search
30 July 2025
- 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 current 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 current 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 (CTL) 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 current Tag: Visual edit
21 July 2025
- 21:2421:24, 21 July 2025 diff hist +775 Talk:Independence from ZFC No edit summary
- 15:5615:56, 21 July 2025 diff hist +56 Independence from ZFC →History: Clarify that some are self-reported Tag: Visual edit
- 15:5515:55, 21 July 2025 diff hist −418 Independence from ZFC →History: One number per row in table and update other numbers. Tag: Visual edit
20 July 2025
- 15:5815:58, 20 July 2025 diff hist +112 Talk:BB(7) No edit summary current
- 04:0204:02, 20 July 2025 diff hist +14 m Reversible Turing Machine →Busy Beaver Champions: Initial enumeration for BB_rev(7) Tag: Visual edit
- 04:0104:01, 20 July 2025 diff hist 0 m Reversible Turing Machine →Busy Beaver Champions: Update BB_rev(7) champ Tag: Visual edit
19 July 2025
- 13:5913:59, 19 July 2025 diff hist +122 m TMBR: July 2025 →In the News Tag: Visual edit: Switched
18 July 2025
- 03:5803:58, 18 July 2025 diff hist +1 Instruction-Limited Busy Beaver Add 0RB BBi(1) champ. Tag: Visual edit: Switched
17 July 2025
- 22:4822:48, 17 July 2025 diff hist +138 m Reversible Turing Machine →Busy Beaver Champions: Early BB_rev(7) champ Tag: Visual edit