TMBR: November 2025: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) →Holdouts: mxdys bb6 progress and todo |
Added a TODO for summarizing BB(3,3) and BB(2,5) month. |
||
| Line 14: | Line 14: | ||
* TODO. Add BMS milestone improved by tromp from 350 to 331. (source: https://discord.com/channels/960643023006490684/1355653587824283678/1436844104742076507) | * TODO. Add BMS milestone improved by tromp from 350 to 331. (source: https://discord.com/channels/960643023006490684/1355653587824283678/1436844104742076507) | ||
* TODO. Graph of direct sim perf: https://discord.com/channels/960643023006490684/1226543091264126976/1438890558499061821 | * TODO. Graph of direct sim perf: https://discord.com/channels/960643023006490684/1226543091264126976/1438890558499061821 | ||
* TODO. Write a summary of what happened during BB(3,3) month (October) and BB(2,5) month (November). | |||
[[Category:This Month in Beaver Research|2025-11]] | [[Category:This Month in Beaver Research|2025-11]] | ||
Revision as of 01:43, 15 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).
Holdouts
- BB(6):
- @mxdys decided a holdout from 50 Random Holdouts by hand, making 11/50 solved.
- @mxdys released a Holdouts list consisting of 1534 machines up to equivalence. TODO. link to holdouts list after updating the holdouts lists wiki page itself, say count and % of reduction.
TODO
- 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 BMS milestone improved by tromp from 350 to 331. (source: https://discord.com/channels/960643023006490684/1355653587824283678/1436844104742076507)
- TODO. Graph of direct sim perf: https://discord.com/channels/960643023006490684/1226543091264126976/1438890558499061821
- TODO. Write a summary of what happened during BB(3,3) month (October) and BB(2,5) month (November).