TMBR: December 2025: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) Improved referencing |
RobinCodes (talk | contribs) →BB Adjacent: Added TODO |
||
| Line 4: | Line 4: | ||
==BB Adjacent== | ==BB Adjacent== | ||
TODO. [[Register machine|Register machines]], [[General Recursive Function|General Recursive Functions]] | |||
== Holdouts == | == [[General Recursive Function|Holdouts]] == | ||
* [[BB(6)|BB(6):]] | * [[BB(6)|BB(6):]] | ||
**There are 14 holdouts left to simulate up to 1e12 steps, and 312 to simulate up to 1e13 steps<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1447303829400846482 <nowiki>[1]</nowiki>]</sup>. The two lists can be found [https://docs.google.com/spreadsheets/d/10y2aMp9yZVLyN-nXAxgA25rw4EA_lJqn3Vxy2kB-m-U/edit?gid=806905077#gid=806905077 here]. | **There are 14 holdouts left to simulate up to 1e12 steps, and 312 to simulate up to 1e13 steps<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1447303829400846482 <nowiki>[1]</nowiki>]</sup>. The two lists can be found [https://docs.google.com/spreadsheets/d/10y2aMp9yZVLyN-nXAxgA25rw4EA_lJqn3Vxy2kB-m-U/edit?gid=806905077#gid=806905077 here]. | ||
Revision as of 21:42, 9 December 2025
| Prev: November 2025 | This Month in Beaver Research | Next: January 2026 |
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. Register machines, General Recursive Functions