TMBR: November 2025: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) →Holdouts: Added BB(2,7) first enumeration |
RobinCodes (talk | contribs) Added sections, formatting. |
||
| Line 2: | Line 2: | ||
''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).'' | ''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).'' | ||
== In the News == | |||
* TODO. Add talk about BB https://discord.com/channels/960643023006490684/960643023530762343/1440090541936214017 | |||
== Themed Months == | |||
* TODO. Write a summary of what happened during BB(3,3) month (October) and BB(2,5) month (November). | |||
== Misc == | |||
* Discord user Vonhust made a Macro Machine. TODO: Sources, details, [https://discord.com/channels/960643023006490684/1226543091264126976/1438890558499061821 graph]. | |||
==BB Adjacent== | |||
* TODO. Add [[Fractran|BBFractan]] progress. (source: Discord channel https://discord.com/channels/960643023006490684/1362008236118511758 and more recently channel https://discord.com/channels/960643023006490684/1438019511155691521) and the wiki site itself. Included photo: https://discord.com/channels/960643023006490684/1438019511155691521/1438353120605503628 | |||
* TODO. Add [[Cyclic Tag]]. | |||
* TODO. Add BMS milestone improved by tromp from 350 to 331. (source: https://discord.com/channels/960643023006490684/1355653587824283678/1436844104742076507) | |||
= Holdouts = | = Holdouts = | ||
| Line 12: | Line 29: | ||
** Terry Ligocki enumerated the first 2 subtasks, resulting in 62,062,284 holdouts, which can be found [https://drive.google.com/drive/folders/11AiZYiKJq7v0ns9o5nt-xUsSgSpcuNvZ?usp=drive_link here]. | ** Terry Ligocki enumerated the first 2 subtasks, resulting in 62,062,284 holdouts, which can be found [https://drive.google.com/drive/folders/11AiZYiKJq7v0ns9o5nt-xUsSgSpcuNvZ?usp=drive_link here]. | ||
** The expected number of holdouts after the enumeration is ~2'500'000'000. | ** The expected number of holdouts after the enumeration is ~2'500'000'000. | ||
[[Category:This Month in Beaver Research|2025-11]] | [[Category:This Month in Beaver Research|2025-11]] | ||
Revision as of 04:54, 26 November 2025
| Prev: October 2025 | This Month in Beaver Research | Next: December 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).
In the News
- TODO. Add talk about BB https://discord.com/channels/960643023006490684/960643023530762343/1440090541936214017
Themed Months
- TODO. Write a summary of what happened during BB(3,3) month (October) and BB(2,5) month (November).
Misc
- Discord user Vonhust made a Macro Machine. TODO: Sources, details, graph.
BB Adjacent
- TODO. Add BBFractan progress. (source: Discord channel https://discord.com/channels/960643023006490684/1362008236118511758 and more recently channel https://discord.com/channels/960643023006490684/1438019511155691521) and the wiki site itself. Included photo: https://discord.com/channels/960643023006490684/1438019511155691521/1438353120605503628
- TODO. Add Cyclic Tag.
- TODO. Add BMS milestone improved by tromp from 350 to 331. (source: https://discord.com/channels/960643023006490684/1355653587824283678/1436844104742076507)
Holdouts
- BB(6):
- @mxdys released a holdouts list consisting of 1534 machines up to equivalence, which is a 6% reduction (84 machines)
- @mxdys decided a holdout from 50 Random Holdouts by hand, making 11/50 solved. He also decided 5 more machines with a single strategy.
- BB(2,7):
- The code provided by mxdys breaks up the BB(2,7) enumeration into 1 million subtasks which each run for ~10 minutes and leave ~2500 holdouts based on an average of the first 1K subtasks. These values are about 5 times longer than and 25 times larger than the ones for BB(7).
- Terry Ligocki enumerated the first 2 subtasks, resulting in 62,062,284 holdouts, which can be found here.
- The expected number of holdouts after the enumeration is ~2'500'000'000.