Groups
Sign in
Groups
Busy Beaver Discuss
Conversations
About
Send feedback
Help
Busy Beaver Discuss
Contact owners and managers
1–30 of 43
Mark all as read
Report group
0 selected
Shawn Ligocki
2
Jul 2
BB(5) Proven in Coq
Also, Blog post by Scott Aaronson about the new result: https://scottaaronson.blog/?p=8088 HackerNews
unread,
BB(5) Proven in Coq
Also, Blog post by Scott Aaronson about the new result: https://scottaaronson.blog/?p=8088 HackerNews
Jul 2
Daniel Yuan
,
Shawn Ligocki
3
Jun 25
New 2-state 5-symbol champion!
Thanks for the summary! I probably wouldn't have done as well. And it covers everything I wanted
unread,
New 2-state 5-symbol champion!
Thanks for the summary! I probably wouldn't have done as well. And it covers everything I wanted
Jun 25
Shawn Ligocki
, …
Terry Ligocki
4
May 30
Allen Brady's Obituary
"I'm saddened by this..." On Wed, May 29, 2024 at 2:36 PM Terry Ligocki <tjligocki@
unread,
Allen Brady's Obituary
"I'm saddened by this..." On Wed, May 29, 2024 at 2:36 PM Terry Ligocki <tjligocki@
May 30
Shawn Ligocki
, …
nichol...@gmail.com
6
May 24
BB(3, 4) > Ack(14)
I need to correct my previous remark. In fact, the current 2/5 champ, which leaves ~10^19017 marks
unread,
BB(3, 4) > Ack(14)
I need to correct my previous remark. In fact, the current 2/5 champ, which leaves ~10^19017 marks
May 24
Pascal Michel
,
uni...@fu-solution.com
2
May 14
A (4,3) TM that never halts
sorry for the wasted effort. i've brushed up the code and fixed the bug and the good news is that
unread,
A (4,3) TM that never halts
sorry for the wasted effort. i've brushed up the code and fixed the bug and the good news is that
May 14
Shawn Ligocki
2
11/30/23
Spam
Ug, the spammers joined the group! I have added more restrictions including users having to request
unread,
Spam
Ug, the spammers joined the group! I have added more restrictions including users having to request
11/30/23
Shawn Ligocki
, …
Pascal Michel
4
11/9/23
BB(3, 3) is Hard
I give here more analysis of this (3,3) machine. If A(a,b,c) = ...0(12)^a (11)^b < A (11)^c 0...,
unread,
BB(3, 3) is Hard
I give here more analysis of this (3,3) machine. If A(a,b,c) = ...0(12)^a (11)^b < A (11)^c 0...,
11/9/23
Shawn Ligocki
10/19/23
Green's Machines
I have often heard about Milton Green's 1964 TMs, but found it hard to understand their behavior
unread,
Green's Machines
I have often heard about Milton Green's 1964 TMs, but found it hard to understand their behavior
10/19/23
uni...@fu-solution.com
, …
Shawn Ligocki
8
9/22/23
BB(2, 5) > 7.3 x 10^19016
Pascal, you inspired me to dig a little more into this TM! I also found it hard to characterize the
unread,
BB(2, 5) > 7.3 x 10^19016
Pascal, you inspired me to dig a little more into this TM! I also found it hard to characterize the
9/22/23
Shawn Ligocki
, …
nichol...@gmail.com
10
9/1/23
BB(2, 6) > 10↑↑70
I am delighted to report that my simulator is now able to verify Shawn's 10^^70 TM. The other big
unread,
BB(2, 6) > 10↑↑70
I am delighted to report that my simulator is now able to verify Shawn's 10^^70 TM. The other big
9/1/23
Pascal Michel
7/17/23
My webpages
My webpages about busy beavers are no longer at https://webusers.imj-prg.fr/~pascal.michel/index.html
unread,
My webpages
My webpages about busy beavers are no longer at https://webusers.imj-prg.fr/~pascal.michel/index.html
7/17/23
Shawn Ligocki
, …
Pascal Michel
5
6/2/23
BB(2, 6) > 10↑↑10↑↑10↑↑3
I give here more analyses on the Turing machine p3 found by Pavel Kropitz on May 19, 2023, with s(p3)
unread,
BB(2, 6) > 10↑↑10↑↑10↑↑3
I give here more analyses on the Turing machine p3 found by Pavel Kropitz on May 19, 2023, with s(p3)
6/2/23
Shawn Ligocki
5/17/23
BB(3, 4) > 10↑↑2048
Pavel Kropitz found a 3-state, 4-symbol TM which scores > 10↑↑2048! He originally shared it on the
unread,
BB(3, 4) > 10↑↑2048
Pavel Kropitz found a 3-state, 4-symbol TM which scores > 10↑↑2048! He originally shared it on the
5/17/23
Heiner Marxen
,
Shawn Ligocki
2
5/3/23
An encoding of large numbers
Thanks Heiner, this is very interesting. I especially like how they have made a standard way to
unread,
An encoding of large numbers
Thanks Heiner, this is very interesting. I especially like how they have made a standard way to
5/3/23
Pascal Michel
, …
Terry Ligocki
4
4/13/23
Paper from Vielhaber et al. on arxiv
Also, we may only be finding Collatz-like behavior in the BB candidates because it is one of the more
unread,
Paper from Vielhaber et al. on arxiv
Also, we may only be finding Collatz-like behavior in the BB candidates because it is one of the more
4/13/23
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