TMBR: October 2025: Difference between revisions
Jump to navigation
Jump to search
Lúkos user page link |
RobinCodes (talk | contribs) m Added reference links to Domain names (for consistency with other editions) |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 8: | Line 8: | ||
== Holdouts == | == Holdouts == | ||
* BB(7): | * [[BB(7)|BB(7):]] | ||
** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2|number of holdouts]] with Stage 4 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 22,721,168 holdouts remain. (0.35% reduction) | ** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2|number of holdouts]] with Stage 4 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 22,721,168 holdouts remain. (0.35% reduction) | ||
*BB(3,4): | *[[BB(3,4)|BB(3,4):]] | ||
**[[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] are running filters in the domain under Phase 2, reducing the holdouts count from 434,787,751 to | **[[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] are running filters in the domain under Phase 2, reducing the holdouts count from 434,787,751 to 37,016,957 (91.5% reduction). | ||
*TODO: BB(4,3) and BB(6) | |||
== Theory == | == Theory == | ||
Latest revision as of 15:56, 8 October 2025
| Prev: September 2025 | This Month in Beaver Research | Next: November 2025 |
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).
Blog Posts
- ? Oct 2025. Katelyn Doucette. Building the Busy Beaver Ladder.
Holdouts
- BB(7):
- Andrew Ducharme has continued reducing the number of holdouts with Stage 4 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 22,721,168 holdouts remain. (0.35% reduction)
- BB(3,4):
- XnoobSpeakable and Lúkos are running filters in the domain under Phase 2, reducing the holdouts count from 434,787,751 to 37,016,957 (91.5% reduction).
- TODO: BB(4,3) and BB(6)
Theory
TODO: Update this section after studying existing literature a bit more.
Linear-Inequality Affine Transformation Automata (LIATA) were introduced as a generalization of the BMO1 rules: