This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).
BB Adjacent
TODO: TT
TODO: Pebble Automaton
TODO: Wang Tiles
TODO: SKI Calculus
Holdouts
- BB(6):
- prurq found three machines to halt.[1][2][3]
- q64 simulated another TM to halt.
- mxdys released a new holdouts list of 1,016 machines up to equivalence, this is a 4.51% reduction compared to the previous holdouts lists.
- Later, mxdys released another holdouts list of 1,003 machines up to equivalence.
- BB(2,7):
- Terry Ligocki enumerated 140K more subtasks, increasing the number of holdouts to 2,615,659,487. A total of 840K subtasks out of the 1 million subtasks (or 84%) have been enumerated.