All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 09:31, 27 January 2025 Tjligocki talk contribs uploaded File:2025 01 05.3x3.holdouts annot 367.csv (Annotated list of holdouts generated by @tjligocki)
- 15:47, 20 January 2025 Peacemaker II talk contribs created page BB(2,5) (Created page with "The 2-state, 5-symbol Busy Beaver problem '''BB(2,5)''' is unsolved. With the discovery of Hydra in May 2024, we now know that we must solve a Collatz-like problem in order to solve BB(2,5) and thus [https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html BB(2,5) is Hard].")
- 03:59, 18 January 2025 User account Majing talk contribs was created
- 02:03, 17 January 2025 Tjligocki talk contribs created page File:2023 06 08.3x3.holdouts iijil 2380.txt (Iijil's 2023 BB 3x3 holdout list.)
- 02:03, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 08.3x3.holdouts iijil 2380.txt (Iijil's 2023 BB 3x3 holdout list.)
- 02:02, 17 January 2025 Tjligocki talk contribs created page File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt (BB 3x3 holdout list from 2023 that is the intersection of two other holdout lists.)
- 02:02, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt (BB 3x3 holdout list from 2023 that is the intersection of two other holdout lists.)
- 01:55, 17 January 2025 Tjligocki talk contribs created page File:2023 06 07.3x3.holdouts 2417.txt (Early holdout list for BB 3x3)
- 01:55, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 07.3x3.holdouts 2417.txt (Early holdout list for BB 3x3)
- 17:48, 16 January 2025 Sligocki talk contribs created page 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ (Created page with "{{machine|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} {{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} This is the current BB(2,5) champion. It halts with sigma score (and runtime) over <math>10^{10^{10^{3\,314\,360}}}</math>. It was discovered by Daniel Yuan and shared [on Discord](https://discord.com/channels/960643023006490684/1084047886494470185/1254826217375273112) on 24 Jun 2024 and shared on the busy-beaver-discuss email list [the next day](https://groups.google.com/g/busy-beave...")
- 06:02, 10 January 2025 ADucharme talk contribs created page 1RB2LA1LA 2LA0RA2RC ---0LC2RA (Created page with "{{TM|1RB2LA1LA_2LA0RA2RC_---0LC2RA}} This is BB(3,3) holdout #531. It is equivalent to BB(3,3) holdout #532 {{TM|1RB2LA1LA_2LA0RA2RC_---1RB2RA}}, as found by [https://discord.com/channels/960643023006490684/1084047886494470185/1211902511829749810 @dyuan01]. @Legion wrote a simulator in Rust for this TM that can be found [https://discord.com/channels/960643023006490684/1026577255754903572/1244841134761578630 here.] They described the behavior of this machine as <blockq...") Tag: Visual edit
- 16:19, 9 January 2025 Sligocki talk contribs created page 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD (Created page with "{{machine|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} {{TM|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} Analysis by @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1326911501357023296 9 Jan 2025]: <pre> 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD start: (3,1) (0,2+c) --> (4+c,1) (1,c) --> halt (2+2b,c) --> (7+5b+c,1) (3+2b,c) --> (b,4+b+c) (b,c) := 0^inf <A 1^b 00 1^c 0^inf </pre>")
- 12:21, 24 December 2024 User account MrSolis talk contribs was created
- 14:05, 22 December 2024 Jacobzheng talk contribs created page User:Jacobzheng/BB(40) (Created page with "<pre> start state:6 0 _ _ r 1 0 1 1 r 0 1 _ 1 r 10 1 1 1 r 2 2 _ _ l 38 2 1 1 r 3 3 _ _ l 11 3 1 1 r 4 4 _ _ l 5 4 1 1 r 4 5 _ _ r 20 5 1 _ l 6 6 _ 1 l 22 6 1 _ l 7 7 _ 1 l 8 7 1 1 l 7 8 _ _ r 31 8 1 _ l 9 9 _ _ r 8 9 1 _ r 5 10 _ _ l 37 10 1 1 r halt 11 _ 1 r 12 11 1 1 l 11 12 _ _ r 13 12 1 1 r 12 13 _ _ l 22 13 1 1 r 14 14 _ _ l 15 14 1 1 r 12 15 _ 1 r 19 15 1 _ l 17 16 _ 1 l 15 16 1 1 l 17 17 _ _ l 16 17 1 _ l 18 18 _ 1 l 16 18 1 1 l 18 19 _ _ l 9 19 1 1 r 19 20 _ _ r...")
- 08:24, 22 December 2024 Jacobzheng talk contribs created page Talk:Holdouts lists (Created page with "Why 4x3 holdouts list is there, champion hasn't been updated yet.Jacobzheng (talk) 08:24, 22 December 2024 (UTC)")
- 17:29, 10 December 2024 Sligocki talk contribs created page Graham's number (Created page with "'''Graham's number''' (<math>g_{64}</math> or <math>G</math>) is a famously huge number which Martin Gardner claimed was the "largest number ever used in a serious mathematical proof" in 1977. Since it is one of the most famous large numbers, it has become a bit of a yardstick for measuring "hugeness". In the specific context of the Busy Beaver game, we can ask, what is the smallest <math>n</math> such that <math>BB(n) > g_{64}</math>. There is an active search for the s...")
- 16:39, 10 December 2024 User account Rutherford talk contribs was created
- 02:40, 7 December 2024 C7X talk contribs created page Talk:1RJ1RH 1RC1RB 1LI0RD 1RC1LE 0LE1LF 1LG1RH 1RB0LF 0RA1LE 1RF1LJ 0LK1RZ 1LL1LK 1LM1LM 0LI0LL (Created page with "==Search algorithm== Incredible result! Has Racheline made public what algorithm she used to find the Collatz-like component? ~~~~")
- 16:25, 6 December 2024 Sligocki talk contribs created page 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA (Created page with "{{machine|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} {{TM|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} is a holdout BB(6) TM proven infinite by hand by @mxdys on 6 Dec 2024 Analysis by @mxdys: <pre> f(n0, ()) := n0 f(n0, (n,ls)) := 2*(f(n0, ls) - n) start: (2, (), 1) (k, ls, n) --> (k+1, (n,ls), 2*(f(2^k, ls)-(n+2))), f(2^k, ls)-(n+2) >= 0 </pre> Follow up by User:sligocki: <pre> Let (k, ls, n) --> (k+1, [n, ls], n') Then: n'+2 = 2 (f(2^k, ls) - n) - 2...")
- 20:21, 25 November 2024 Sligocki talk contribs created page 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF 1RZ1RA (Created page with "{{machine|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}} {{TM|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}} is a long running Halting BB(6) TM analyzed by Racheline on 25 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310651468881334394 Discord Link]): Analysis by Racheline: <pre> a_1 = (2^179+1)/3+179 a_2 = (2^a_1+1)/3+a_1 a_3 = (2^a_2+1)/3+a_2 a_4 = (2^a_3+1)/3+a_3-1 a_5 = (2^a_4+1)/3+a_4 the counters after overflow: (10)^17 11 (10)^5...")
- 14:50, 25 November 2024 Jacobzheng talk contribs created page User:Jacobzheng/BB(41) (Created page with "<pre> ; Start state:6 0 _ _ r 1 0 1 1 r 0 1 _ 1 r 40 1 1 1 r 2 2 _ _ l 38 2 1 1 r 3 3 _ _ l 11 3 1 1 r 4 4 _ _ l 5 4 1 1 r 4 5 _ _ r 20 5 1 _ l 6 6 _ 1 l 13 6 1 _ l 7 7 _ 1 l 8 7 1 1 l 7 8 _ _ r 31 8 1 _ l 9 9 _ _ r 8 9 1 _ r 5 11 _ 1 r 12 11 1 1 l 11 12 _ _ r 13 12 1 1 r 12 13 _ _ l 22 13 1 1 r 14 14 _ _ l 15 14 1 1 r 12 15 _ 1 r 19 15 1 _ l 17 16 _ 1 l 15 16 1 1 l 17 17 _ _ l 16 17 1 _ l 18 18 _ 1 l 16 18 1 1 l 18 19 _ _ l 9 19 1 1 r 19 20 _ _ r 21 20 1 1 r 20 21 _ 1 r...")
- 10:41, 25 November 2024 Mxdys talk contribs created page 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB (add classic cryptid #5)
- 17:46, 15 November 2024 Icy talk contribs created page Fractal (Added fractal page) Tag: Visual edit
- 17:02, 15 November 2024 Icy talk contribs created page File:1RB0LA 1RC--- 0RD0RC 1LD0LA.png
- 17:02, 15 November 2024 Icy talk contribs uploaded File:1RB0LA 1RC--- 0RD0RC 1LD0LA.png
- 15:34, 15 November 2024 Sligocki talk contribs created page Talk:Brady's algorithm (Created page with "Hey C7X, what do you think about merging this into the main Tree Normal Form article? My thought is that we could migrate any new content over from here and then turn this into a redirect. IIUC, "Brady's algorithm" is just an alternative name coined by Nick Drozd to describe TNF enumeration. Does that sound right? ~~~~")
- 10:32, 15 November 2024 C7X talk contribs created page Brady's algorithm (Create page)
- 06:30, 15 November 2024 DF476 talk contribs created page User:DF476 (Created page with "I'm working this section for the BB(2) page, once it's been completed I would update it. Classification of 2-state 2-symbol non-halting machines: === Cyclers === <pre> 1RB1RB_0LA--- 1RB0RB_0LA--- 1RB---_0LB1RB </pre> === Translated Cyclers === <pre> 1RB1RA_1LA--- 1RB1RA_0LA--- 1RB1LB_0LA--- 1RB0RA_1LA--- 1RB0RA_0LA--- 1RB0LB_0LA--- 1RB0LA_1LA--- 1RB0LA_0LA--- 1RB---_1RB--- 1RB---_1RA--- 1RB---_1LB1RB 1RB---_1LB1LB 1RB---_1LB0RB 1RB---_1LB0LB 1RB---_1LB0LA 1RB---_0RB-...") Tag: Visual edit
- 20:24, 13 November 2024 Icy talk contribs created page Counter (Added counter page + analysis) Tag: Visual edit
- 19:56, 13 November 2024 Icy talk contribs created page File:1RB1LA 0LA0RB.png
- 19:56, 13 November 2024 Icy talk contribs uploaded File:1RB1LA 0LA0RB.png
- 17:31, 13 November 2024 Sligocki talk contribs created page Transcript (Created page with "A Turing machine '''transcript''' or '''transition history''' is the sequence of transitions that the TM executes when started on a blank tape. Halting TMs have finite transcripts, infinite TMs have infinite transcripts. A finite description of an infinite TM transcript is one way to specify the forward behavior of that TM precisely. Shift rules lead to repeated segments of a TM transcript and vice-versa every repeated segment in a transcript corresponds to a sh...")
- 15:54, 13 November 2024 Icy talk contribs created page Bell (Added page. TODO: Add derivation of transcripts) Tag: Visual edit: Switched
- 15:51, 13 November 2024 Icy talk contribs uploaded a new version of File:1RB0LC 1LA1RB 0RA1LC explore.png
- 15:50, 13 November 2024 Icy talk contribs reverted File:1RB0LC 1LA1RB 0RA1LC.png to an old version (Reverted to version as of 15:29, 13 November 2024 (UTC))
- 15:44, 13 November 2024 Icy talk contribs created page File:1RB0LC 1LA1RB 0RA1LC explore.png (Close-up of a cubic bell. About 100 steps.)
- 15:44, 13 November 2024 Icy talk contribs uploaded File:1RB0LC 1LA1RB 0RA1LC explore.png (Close-up of a cubic bell. About 100 steps.)
- 15:41, 13 November 2024 Icy talk contribs uploaded a new version of File:1RB0LC 1LA1RB 0RA1LC.png (Previous too tall, I guess)
- 15:29, 13 November 2024 Icy talk contribs created page File:1RB0LC 1LA1RB 0RA1LC.png (An example of a cubic bell. 65536 steps.)
- 15:29, 13 November 2024 Icy talk contribs uploaded File:1RB0LC 1LA1RB 0RA1LC.png (An example of a cubic bell. 65536 steps.)
- 15:16, 13 November 2024 Icy talk contribs created page File:1RB0LC 1RC1RA 1LA0RB.png (An example of a bell. 65536 steps.)
- 15:16, 13 November 2024 Icy talk contribs uploaded File:1RB0LC 1RC1RA 1LA0RB.png (An example of a bell. 65536 steps.)
- 20:27, 11 November 2024 Cosmo talk contribs created page Halting Segment (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up.") Tag: Visual edit
- 20:25, 11 November 2024 Cosmo talk contribs deleted page Backwards Reasoning (content was: "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.", and the only contributor was "Cosmo" (talk))
- 20:25, 11 November 2024 Cosmo talk contribs created page Backward Reasoning (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.")
- 20:23, 11 November 2024 Cosmo talk contribs created page Backwards Reasoning (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.") Tag: Visual edit
- 14:38, 11 November 2024 Icy talk contribs uploaded a new version of File:1RB0RC 1LB1LD 0RA0LD 1LA1RC.png (alpha)
- 14:34, 11 November 2024 Icy talk contribs uploaded a new version of File:1RB1LC 1RD0RB 1LA0LC 0LA0RD.png (alpha)
- 14:31, 11 November 2024 Icy talk contribs uploaded a new version of File:1RB0RB 1LC1RC 0RA1LD 1RC0LD.png (alpha)
- 14:29, 11 November 2024 Icy talk contribs uploaded a new version of File:1RB0RC 1LC1RA 1RA1LD 0LC0LA.png (alpha)
