TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
→BB Adjacent: added some TODOs |
m →Holdouts: Update BB(2,7) enumeration |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 16: | Line 16: | ||
** prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ** prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ||
** q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ** q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ||
** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 released] a new holdouts list of '''1,016''' machines up to equivalence, this is a '''4.51%''' reduction compared to the previous holdouts list. | ** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 released] a new holdouts list of '''1,016''' machines up to equivalence, this is a '''4.51%''' reduction compared to the previous holdouts lists. | ||
** Later, mxdys [https://discordapp.com/channels/960643023006490684/1239205785913790465/1543436534831906926 released] another holdouts list of '''1,003''' machines up to equivalence. | |||
*[[BB(2,7)]]: | *[[BB(2,7)]]: | ||
**Terry Ligocki enumerated | **Terry Ligocki enumerated 140K more subtasks, increasing the number of holdouts to '''2,615,659,487'''. A total of 840K subtasks out of the 1 million subtasks (or '''84%''') have been enumerated. | ||
[[Category:This Month in Beaver Research|2026-08]] | [[Category:This Month in Beaver Research|2026-08]] | ||
Latest revision as of 08:39, 1 September 2026
| Prev: July 2026 | This Month in Beaver Research | Next: September 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: TT
TODO: Pebble Automaton
TODO: Wang Tiles
TODO: SKI Calculus