Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Busy Beaver Discuss
Conversations
About
Busy Beaver Discuss
1–28 of 28
Mark all as read
Report abusive group
0 selected
Konkhra
, …
Shawn Ligocki
3
11/24/22
AlphaTensor
Long ago when I started looking for Busy Beavers, my Dad and I tried using Simulated Annealing: https
unread,
AlphaTensor
Long ago when I started looking for Busy Beavers, my Dad and I tried using Simulated Annealing: https
11/24/22
nichol...@gmail.com
, …
Shawn Ligocki
16
10/24/22
Optimal block size
You're right, there's some kind of type error in what I'm trying to say. On the other
unread,
Optimal block size
You're right, there's some kind of type error in what I'm trying to say. On the other
10/24/22
Pascal Michel
9/1/22
My website
It seems that my website is no more available at its old address www.logique.jussieu.fr/~michel/ and
unread,
My website
It seems that my website is no more available at its old address www.logique.jussieu.fr/~michel/ and
9/1/22
Shawn Ligocki
,
Nicholas Drozd
2
7/12/22
BB(16) > Graham's number
I think it's entirely possible already that G < BB(6). G is a huge number of course, but it
unread,
BB(16) > Graham's number
I think it's entirely possible already that G < BB(6). G is a huge number of course, but it
7/12/22
nichol...@gmail.com
, …
Pascal Michel
6
6/28/22
Thoughts on the new champion
I give here more analysis about the machine M that Shawn ligocki found on May 27, 2022, with sigma(M)
unread,
Thoughts on the new champion
I give here more analysis about the machine M that Shawn ligocki found on May 27, 2022, with sigma(M)
6/28/22
Shawn Ligocki
, …
Sophie
25
6/22/22
BB(6, 2) > 4^4^4^4^4^7
The web page seems to crash when I use the Opera browser. On Wednesday, 22 June 2022 at 05:37:38 UTC+
unread,
BB(6, 2) > 4^4^4^4^4^7
The web page seems to crash when I use the Opera browser. On Wednesday, 22 June 2022 at 05:37:38 UTC+
6/22/22
Tristan Stérin
, …
Nicholas Drozd
5
6/11/22
Deciding 5-state bouncers collaboratively
Contributor @lijil has proposed a decider for Unilateral Bouncers: https://discuss.bbchallenge.org/t/
unread,
Deciding 5-state bouncers collaboratively
Contributor @lijil has proposed a decider for Unilateral Bouncers: https://discuss.bbchallenge.org/t/
6/11/22
Nicholas Drozd
, …
Tristan Stérin
21
6/10/22
Lin recurrence periods
> This is what I mean by a "contracting tape" simulator. I understand now thank you!
unread,
Lin recurrence periods
> This is what I mean by a "contracting tape" simulator. I understand now thank you!
6/10/22
Terry Ligocki
,
Tristan Stérin
3
6/9/22
Fwd: [EXTERNAL] Busy Beaver WWW site...
I listed the website on the newly created https://bbchallenge.org/story#related-links section. Don
unread,
Fwd: [EXTERNAL] Busy Beaver WWW site...
I listed the website on the newly created https://bbchallenge.org/story#related-links section. Don
6/9/22
Andrey Akinshin
, …
Bruce Smith
5
6/3/22
Beeping Busy Beavers and twin prime conjecture
> I think these are both reasonable points of view. They are. I interpreted his post as making a
unread,
Beeping Busy Beavers and twin prime conjecture
> I think these are both reasonable points of view. They are. I interpreted his post as making a
6/3/22
Tristan Stérin
6/2/22
On the hardness of knowing BB(15,2) and BB(5,4)
Dear all, I wanted to share with you a result that Damien and I worked on recently, available at
unread,
On the hardness of knowing BB(15,2) and BB(5,4)
Dear all, I wanted to share with you a result that Damien and I worked on recently, available at
6/2/22
Tristan Stérin
, …
Heiner Marxen
12
6/2/22
The Busy Beaver Challenge: https://bbchallenge.org
> Yes, the RPI page and work was very much like what you've started! The problem is these
unread,
The Busy Beaver Challenge: https://bbchallenge.org
> Yes, the RPI page and work was very much like what you've started! The problem is these
6/2/22
Terry Ligocki
, …
Tristan Stérin
9
5/31/22
Building a BB/TM community and research…
Hello, You might be interested in our attempt to create such a database and community with https://
unread,
Building a BB/TM community and research…
Hello, You might be interested in our attempt to create such a database and community with https://
5/31/22
Pascal Michel
5/27/22
Analysis of Pavel's machine with number of ones 2^(2^31)
Pavel Kropitz gave in his mail on May 22, 2022, a new (6,2) - busy beaver champion M, 1RB 1RH 0LC 0LD
unread,
Analysis of Pavel's machine with number of ones 2^(2^31)
Pavel Kropitz gave in his mail on May 22, 2022, a new (6,2) - busy beaver champion M, 1RB 1RH 0LC 0LD
5/27/22
uni...@fu-solution.com
, …
Nicholas Drozd
15
5/25/22
BB(6,2) > 1.7 x 10^646_456_993
Thanks for the correction, Shawn! Even if we say that the steps function is more important or
unread,
BB(6,2) > 1.7 x 10^646_456_993
Thanks for the correction, Shawn! Even if we say that the steps function is more important or
5/25/22
Shawn Ligocki
, …
Pascal Michel
24
5/24/22
BB(6, 2) > 10^78913
I give here more analysis on Pavel's machine M 1RB 1RH 1RC 1RA 1RD 0RB 1LE 0RC 0LF 0LD 0LB 1LA
unread,
BB(6, 2) > 10^78913
I give here more analysis on Pavel's machine M 1RB 1RH 1RC 1RA 1RD 0RB 1LE 0RC 0LF 0LD 0LB 1LA
5/24/22
Pascal Michel
, …
Shawn Ligocki
11
5/3/22
Analysis of the 1RC-child of the Mother of Giants
Thanks for this additional analysis, Pascal! It's great to get these sort of rigorous bounds to
unread,
Analysis of the 1RC-child of the Mother of Giants
Thanks for this additional analysis, Pascal! It's great to get these sort of rigorous bounds to
5/3/22
Shawn Ligocki
,
Nicholas Drozd
12
4/6/22
BBB(5, 2) > 10^14,006
Nice find, Nick. The only other "sibling" (differing only in the E0 transition) I have of
unread,
BBB(5, 2) > 10^14,006
Nice find, Nick. The only other "sibling" (differing only in the E0 transition) I have of
4/6/22
Pascal Michel
3/24/22
Analysis of the (5,2)-TM with BBB > 7.4 x 10^4079
In a mail on March 16, 2022, Nick gave the following machine M with BBB(M) > 7.4 x 10^4079: 1RB
unread,
Analysis of the (5,2)-TM with BBB > 7.4 x 10^4079
In a mail on March 16, 2022, Nick gave the following machine M with BBB(M) > 7.4 x 10^4079: 1RB
3/24/22
Nicholas Drozd
,
Shawn Ligocki
13
3/22/22
BBB(5, 2) > 10^4079
How "lucky" was this machine? It seems sort of like it's performing a random walk (
unread,
BBB(5, 2) > 10^4079
How "lucky" was this machine? It seems sort of like it's performing a random walk (
3/22/22
Shawn Ligocki
3/16/22
BBB 5x2 10^315
Nice find Nick! In TNF, this machine is: 1RB 0LE 0LC 0LB 1RD 1LC 1RD 1RA 1RA 1LA This machine
unread,
BBB 5x2 10^315
Nice find Nick! In TNF, this machine is: 1RB 0LE 0LC 0LB 1RD 1LC 1RD 1RA 1RA 1LA This machine
3/16/22
Shawn Ligocki
,
nichol...@gmail.com
16
3/15/22
BBB(5, 2) > 10^502
I found another high-scoring non-champion 5x2 quasihalter: --> 1RB 0LC 0LD 0LB 1RA 1LA 1RE 1LD 1RE
unread,
BBB(5, 2) > 10^502
I found another high-scoring non-champion 5x2 quasihalter: --> 1RB 0LC 0LD 0LB 1RA 1LA 1RE 1LD 1RE
3/15/22
Pascal Michel
, …
Shawn Ligocki
6
3/5/22
Analysis of the (5,2)-BBB with BBB(M) > 1.7 * 10^502
Thanks Nick, this was a great read! And it gives me words for what I'm trying to talk about,
unread,
Analysis of the (5,2)-BBB with BBB(M) > 1.7 * 10^502
Thanks Nick, this was a great read! And it gives me words for what I'm trying to talk about,
3/5/22
Nicholas Drozd
,
Shawn Ligocki
10
3/2/22
New BBB search strategy
I just saw this email. This is interesting, it looks like there might be some sort of bias here
unread,
New BBB search strategy
I just saw this email. This is interesting, it looks like there might be some sort of bias here
3/2/22
Shawn Ligocki
2
2/27/22
BBB(3, 3) > 10^62
And I have just published an analysis of this machine: https://www.sligocki.com/2022/02/27/bb-
unread,
BBB(3, 3) > 10^62
And I have just published an analysis of this machine: https://www.sligocki.com/2022/02/27/bb-
2/27/22
Pascal Michel
2/23/22
Analysis of the (5,2)-machine M with BBB(M) > 2.1 10^18
in a mail on February 4, 2022, Shawn gave an analysis of the (5,2)-machine M found by Nick with BBB(M
unread,
Analysis of the (5,2)-machine M with BBB(M) > 2.1 10^18
in a mail on February 4, 2022, Shawn gave an analysis of the (5,2)-machine M found by Nick with BBB(M
2/23/22
Shawn Ligocki
2
2/15/22
busy-beaver-discuss list
It sounds like some folks are having trouble getting access to the group. You can find it at https://
unread,
busy-beaver-discuss list
It sounds like some folks are having trouble getting access to the group. You can find it at https://
2/15/22
nichol...@gmail.com
2/15/22
Latest Beeping Busy Beaver Results
Hello to the new group! To start things off, here's a link to a post with the latest Beeping Busy
unread,
Latest Beeping Busy Beaver Results
Hello to the new group! To start things off, here's a link to a post with the latest Beeping Busy
2/15/22