TMBR: November 2025: Difference between revisions
Jump to navigation
Jump to search
m →TODO |
RobinCodes (talk | contribs) →Holdouts: mxdys bb6 progress and todo |
||
| Line 7: | Line 7: | ||
* BB(6): | * BB(6): | ||
** @mxdys [https://discord.com/channels/960643023006490684/1400456788955893840/1438559730640355378 decided a holdout] from [https://discord.com/channels/960643023006490684/1400456788955893840 50 Random Holdouts] by hand, making 11/50 solved. | ** @mxdys [https://discord.com/channels/960643023006490684/1400456788955893840/1438559730640355378 decided a holdout] from [https://discord.com/channels/960643023006490684/1400456788955893840 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 == | ||
Revision as of 21:33, 14 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