Category Topics
6

Zoology

Here, we collaboratively attempt at creating a zoology of the machines of the busy beaver challenge in order to classify their behavior.
9

Deciders

Here, we list and discuss the deciders of the busy beaver challenge, come to present yours!
12

Heuristics

Here we discuss heuristics that allow to informally decide or categorize machines.
3

Seed database

Here, we discuss the construction of the seed database of the busy beaver challenge. Technical help is given for interacting with the database.
3

Help

Here is the place to ask for general help about the busy beaver challenge.
0

Individual machines

Here, we discuss individual machines of the busy beaver challenge. It is the place to share proofs of non-termination or termination of specific machines.
8

Results reproduction

Here, we share any efforts to independently reproduce results of the busy beaver challenge. For instance, re-constructing the seed database or re-writing deciders.
6

Outreach & teaching

Here is the place to share outreach or teaching experiences in relation to the busy beaver problem. You are invited to share outreach & teaching material.
0

Meta & feedback

Here is the place for meta talk and feedback about the busy beaver challenge.
4
1