TMBR: 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