TMBR: October 2025 - Revision history

Sligocki: /* Theory */ Clarify Ben-Amram result.

2025-11-05T17:39:44Z

Theory: Clarify Ben-Amram result.

← Older revision		Revision as of 17:39, 5 November 2025
Line 23:		Line 23:
	* @star proved that 2 dimension PAF are Turing complete.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1421271424588451915][https://discuss.bbchallenge.org/t/bmo1-type-problems-are-turing-complete/305]</sup>		* @star proved that 2 dimension PAF are Turing complete.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1421271424588451915][https://discuss.bbchallenge.org/t/bmo1-type-problems-are-turing-complete/305]</sup>
	* Shawn Ligocki wrote up a proof sketch that 2-region PAF are Turing complete.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1422772752980639866]</sup>		* Shawn Ligocki wrote up a proof sketch that 2-region PAF are Turing complete.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1422772752980639866]</sup>
	* It was discovered that Amir Ben-Amram had already proven ~~that~~ 2-dim and 2-region ~~PAF were Turing complete in 2015~~.		* It was discovered that Amir Ben-Amram had already proven both of these results in 2015 (both the 2-dim and the 2-region results).
	* BMO1 is a 2-dim, 2-region PAF so this provides some sense for the difficulty of the problem.		* BMO1 is a 2-dim, 2-region PAF so this provides some sense for the difficulty of the problem.
	* This introduces a new type of [[Cryptids]] separate from previous [[Collatz-like]] ones.		* This introduces a new type of [[Cryptids]] separate from previous [[Collatz-like]] ones.

Sligocki: Add vonhust animation.

2025-11-05T16:04:00Z

Add vonhust animation.

← Older revision		Revision as of 16:04, 5 November 2025
Line 6:		Line 6:

	This month we had an eclectic mix of results. We're continuing to see massive holdout reduction at the peripheral [[BB Domains\|domains]] with a 98% holdout reduction for [[BB(4,3)]] while Polygon identified a new BB(4,3) champion. A new type of [[Cryptid]] has been explored: [[Piecewise Affine Function\|Piecewise Affine Functions]]. Ben Brubaker wrote-up a personal blog post describing [[Antihydra]] to a lay audience. @coda designed some physical disks for computing TM transitions. And @-d is developing a C++ version of Quick_Sim.		This month we had an eclectic mix of results. We're continuing to see massive holdout reduction at the peripheral [[BB Domains\|domains]] with a 98% holdout reduction for [[BB(4,3)]] while Polygon identified a new BB(4,3) champion. A new type of [[Cryptid]] has been explored: [[Piecewise Affine Function\|Piecewise Affine Functions]]. Ben Brubaker wrote-up a personal blog post describing [[Antihydra]] to a lay audience. @coda designed some physical disks for computing TM transitions. And @-d is developing a C++ version of Quick_Sim.
			[[File:Vonhust memmap.gif\|thumb\|Memory map visualization of a Turing machine by @vonhust.]]

	== Blog Posts ==		== Blog Posts ==

Sligocki: Add lede

2025-11-05T15:56:32Z

Add lede

← Older revision		Revision as of 15:56, 5 November 2025
Line 3:		Line 3:
	[[File:Nico-BB-vs-Antihydra.jpg\|thumb\|A brave busy beaver confronts the dreaded Antihydra. Copyright [https://www.nicoroper.com/ Nico Roper]. Commissioned for [https://benbrubaker.com/why-busy-beaver-hunters-fear-the-antihydra/ Why Busy Beaver Hunters Fear the Antihydra].]]		[[File:Nico-BB-vs-Antihydra.jpg\|thumb\|A brave busy beaver confronts the dreaded Antihydra. Copyright [https://www.nicoroper.com/ Nico Roper]. Commissioned for [https://benbrubaker.com/why-busy-beaver-hunters-fear-the-antihydra/ Why Busy Beaver Hunters Fear the Antihydra].]]

	''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)~~.''		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for October 2025.

	~~TODO: BB(3x3)~~ month[[~~File:Wily Coyote Roadrunner Naming.png\|thumb~~\|~~[[Wily Coyote~~]], a [[BB(3,3)]] ~~holdout~~]]		This month we had an eclectic mix of results. We're continuing to see massive holdout reduction at the peripheral [[BB Domains\|domains]] with a 98% holdout reduction for [[BB(4,3)]] while Polygon identified a new BB(4,3) champion. A new type of [[Cryptid]] has been explored: [[Piecewise Affine Function\|Piecewise Affine Functions]]. Ben Brubaker wrote-up a personal blog post describing [[Antihydra]] to a lay audience. @coda designed some physical disks for computing TM transitions. And @-d is developing a C++ version of Quick_Sim.

	~~TODO: BB(2x5) month next month (?)~~

	== Blog Posts ==		== Blog Posts ==

RobinCodes: /* Misc */ Spreadsheet is also of 2x5, 3x3 holdouts

2025-11-03T06:30:38Z

Misc: Spreadsheet is also of 2x5, 3x3 holdouts

← Older revision		Revision as of 06:30, 3 November 2025
Line 39:		Line 39:
	<td>[[File:Antihydra_Physical_Disk_zts439.jpg\|x200px\|border]]</td>		<td>[[File:Antihydra_Physical_Disk_zts439.jpg\|x200px\|border]]</td>
	</tr></table>		</tr></table>
	* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>		* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]], [[BB(3,3)]] and [[BB(2,5)\|BB(2,5]]) holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>
	* @Pomme, building onto the work of mxdys, star and Shawn solved [[BMO]] #7: {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}<sup>[https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 <nowiki>[1]</nowiki>]</sup>.		* @Pomme, building onto the work of mxdys, star and Shawn solved [[BMO]] #7: {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}<sup>[https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 <nowiki>[1]</nowiki>]</sup>.

Sligocki: /* Misc */ Improve image formatting

2025-11-02T21:00:29Z

Misc: Improve image formatting

← Older revision		Revision as of 21:00, 2 November 2025
Line 34:		Line 34:

	== Misc ==		== Misc ==
	* ~~[[File:Antihydra Physical Disk Design.png\|thumb\|Design for a disk to physically simulate [[Antihydra]].]][[File:Antihydra Physical Disk zts439.jpg\|thumb\|3d printed version of Antihydra disk.]]~~@coda shared a mechanical implementation of ~~a Turing Machine,~~ [[Antihydra]].<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> @zts439 3d-printed a prototype ~~(see image at right)~~.<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>		* @coda shared a mechanical implementation of [[Antihydra]]<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> and @zts439 3d-printed a prototype.<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>
			<table style="margin: auto; text-align: center;"><tr>
			<td>[[File:Antihydra_Physical_Disk_Design.png\|x200px\|border]]</td>
			<td>[[File:Antihydra_Physical_Disk_zts439.jpg\|x200px\|border]]</td>
			</tr></table>
	* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>		* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>
	* @Pomme, building onto the work of mxdys, star and Shawn solved [[BMO]] #7: {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}<sup>[https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 <nowiki>[1]</nowiki>]</sup>.		* @Pomme, building onto the work of mxdys, star and Shawn solved [[BMO]] #7: {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}<sup>[https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 <nowiki>[1]</nowiki>]</sup>.

RobinCodes: /* Holdouts */ Added Quick_Sim confirmation of @Bricks and Shawns result. (BB6)

2025-11-02T19:55:57Z

Holdouts: Added Quick_Sim confirmation of @Bricks and Shawns result. (BB6)

← Older revision		Revision as of 19:55, 2 November 2025
Line 82:		Line 82:
	* [[BB(6)\|BB(6):]]		* [[BB(6)\|BB(6):]]
	** @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1429892916763033601 shared a new holdouts list on October 20th,] consisting of 1618 machines up to equivalence, or 3067 individual machines. This means 73 newly solved machines, a 4% reduction.		** @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1429892916763033601 shared a new holdouts list on October 20th,] consisting of 1618 machines up to equivalence, or 3067 individual machines. This means 73 newly solved machines, a 4% reduction.
	** @Bricks [https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638 shared a machine] which they thought could be susceptible to [[Block Analysis\|block-analysis]] based on a [[TMBR: October 2025#Misc\|method they call Subtape Saturation Heuristic.]] [[1RB1RF 0LC1RC 1RD1LC ---0RE 1RA1LF 1RA0LE\|Shawn Ligocki's analysis]], simulated by @Bricks showed the machine to halt with a sigma score of 4,419,340,317.		** @Bricks [https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638 shared a machine] which they thought could be susceptible to [[Block Analysis\|block-analysis]] based on a [[TMBR: October 2025#Misc\|method they call Subtape Saturation Heuristic.]] [[1RB1RF 0LC1RC 1RD1LC ---0RE 1RA1LF 1RA0LE\|Shawn Ligocki's analysis]], simulated by @Bricks showed the machine to halt with a sigma score of 4,419,340,317. [https://discord.com/channels/960643023006490684/1239205785913790465/1431135577234997299 Quick_Sim confirmed the result].
	** [https://discord.com/channels/960643023006490684/1239205785913790465/1431225455557611611 Analysis by Racheline] showed a machine to be non-halting.		** [https://discord.com/channels/960643023006490684/1239205785913790465/1431225455557611611 Analysis by Racheline] showed a machine to be non-halting.
	** [https://discord.com/channels/960643023006490684/1400456788955893840/1433455522715009135 mxdys decided a machine] from the [[TMBR: August 2025#Misc\|50 Random Holdouts]] introduced back in August, making 10/50 solved.		** [https://discord.com/channels/960643023006490684/1400456788955893840/1433455522715009135 mxdys decided a machine] from the [[TMBR: August 2025#Misc\|50 Random Holdouts]] introduced back in August, making 10/50 solved.

RobinCodes: /* Holdouts */ Reworded BB(4,3) holdouts reduction

2025-11-02T19:53:28Z

Holdouts: Reworded BB(4,3) holdouts reduction

← Older revision		Revision as of 19:53, 2 November 2025
Line 90:		Line 90:
	** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)		** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)
	* [[BB(4,3)\|BB(4,3):]]		* [[BB(4,3)\|BB(4,3):]]
	**Terry Ligocki ~~has begun~~ [[BB(4,3)#Phase 2\|Phase 2 of holdout reduction,]] reducing the number of holdouts from 460,916,384 to 9,401,447. (97.96% reduction)		**Terry Ligocki finished [[BB(4,3)#Phase 2\|Phase 2 of holdout reduction,]] reducing the number of holdouts from 460,916,384 to 9,401,447. (97.96% reduction)
	*[[BB(3,4)\|BB(3,4):]]		*[[BB(3,4)\|BB(3,4):]]
	**[[User:XnoobSpeakable\|XnoobSpeakable]] and [[User:WarpedWartWars\|Lúkos]] are running filters in the domain under [[BB(3,4)#Phase 2\|Phase 2]], reducing the holdout count from 434,787,751 to 15,136,283. (96.6% reduction)		**[[User:XnoobSpeakable\|XnoobSpeakable]] and [[User:WarpedWartWars\|Lúkos]] are running filters in the domain under [[BB(3,4)#Phase 2\|Phase 2]], reducing the holdout count from 434,787,751 to 15,136,283. (96.6% reduction)

RobinCodes: Standardized links around the page, added BB6 BMO 7 solved.

2025-11-02T19:51:24Z

Standardized links around the page, added BB6 BMO 7 solved.

← Older revision		Revision as of 19:51, 2 November 2025
Line 15:		Line 15:

	* [[User:Polygon\|Polygon]] identified a new [[BB(4,3)]] champion with a score of over <math>10 \uparrow^{4} 4</math> ({{TM\|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD\|halt}}). This TM was first proven to halt by Pavel Kropitz in May 2024, but its runtime was not known at the time.		* [[User:Polygon\|Polygon]] identified a new [[BB(4,3)]] champion with a score of over <math>10 \uparrow^{4} 4</math> ({{TM\|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD\|halt}}). This TM was first proven to halt by Pavel Kropitz in May 2024, but its runtime was not known at the time.
	* @Peacemaker II verified the [[BB(6)]] champion {{TM\|1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE}} (and the other members of its "family") and calculated a more precise [[sigma score]] of 10↑↑10↑↑10↑↑8.10237 for it. https://discord.com/channels/960643023006490684/1387426381041893417/1429556125539369040		* @Peacemaker II verified the [[BB(6)]] champion {{TM\|1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE}} (and the other members of its "family") and calculated a more precise [[sigma score]] of 10↑↑10↑↑10↑↑8.10237 for it.<sup>[https://discord.com/channels/960643023006490684/1387426381041893417/1429556125539369040 <nowiki>[1]</nowiki>]</sup>
	* @zts439 proved that [[Bug]](8,8) = 506. https://discord.com/channels/960643023006490684/1362008236118511758/1423502208422510716		* @zts439 proved that [[Bug]](8,8) = 506.<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1423502208422510716 <nowiki>[1]</nowiki>]</sup>

	== Theory ==		== Theory ==
Line 36:		Line 36:
	* [[File:Antihydra Physical Disk Design.png\|thumb\|Design for a disk to physically simulate [[Antihydra]].]][[File:Antihydra Physical Disk zts439.jpg\|thumb\|3d printed version of Antihydra disk.]]@coda shared a mechanical implementation of a Turing Machine, [[Antihydra]].<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> @zts439 3d-printed a prototype (see image at right).<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>		* [[File:Antihydra Physical Disk Design.png\|thumb\|Design for a disk to physically simulate [[Antihydra]].]][[File:Antihydra Physical Disk zts439.jpg\|thumb\|3d printed version of Antihydra disk.]]@coda shared a mechanical implementation of a Turing Machine, [[Antihydra]].<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> @zts439 3d-printed a prototype (see image at right).<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>
	* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>		* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>
	* @Pomme solved [[BMO]] #7, {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}. https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001		* @Pomme, building onto the work of mxdys, star and Shawn solved [[BMO]] #7: {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}<sup>[https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 <nowiki>[1]</nowiki>]</sup>.

	== Holdouts ==		== Holdouts ==
Line 86:		Line 86:
	** [https://discord.com/channels/960643023006490684/1400456788955893840/1433455522715009135 mxdys decided a machine] from the [[TMBR: August 2025#Misc\|50 Random Holdouts]] introduced back in August, making 10/50 solved.		** [https://discord.com/channels/960643023006490684/1400456788955893840/1433455522715009135 mxdys decided a machine] from the [[TMBR: August 2025#Misc\|50 Random Holdouts]] introduced back in August, making 10/50 solved.
	** Peacemaker II mentioned a machine which visits only 24 cells after a million steps. [https://discord.com/channels/960643023006490684/1239205785913790465/1433612562284412978 mxdys proved the machine nonhalting.]		** Peacemaker II mentioned a machine which visits only 24 cells after a million steps. [https://discord.com/channels/960643023006490684/1239205785913790465/1433612562284412978 mxdys proved the machine nonhalting.]
			** Pomme[https://wiki.bbchallenge.org/w/index.php?title=TMBR:_October_2025#Misc *] [https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 solved] [[Beaver Math Olympiad#7. 1RB1RF 1RC0RA 1LD1RC 1LE0LE 0RA0LD 0RB--- (bbch)\|BMO 7]].
	* [[BB(7)\|BB(7):]]		* [[BB(7)\|BB(7):]]
	** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)		** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)

Sligocki: /* Deciders */ Update news about C++ quick_sim

2025-11-02T19:28:05Z

Deciders: Update news about C++ quick_sim

← Older revision		Revision as of 19:28, 2 November 2025
Line 30:		Line 30:
	== Deciders ==		== Deciders ==
	* Inductive deciders		* Inductive deciders
	** -d ~~rewrote quick_sim~~.~~py in~~ C++~~, achieving a~~ 6-10x faster ~~runtime~~.<sup>[https://discord.com/channels/960643023006490684/1226543091264126976/1432118726492291173][https://discord.com/channels/960643023006490684/1226543091264126976/1433247936942440498]</sup>		** @-d is developing a [https://github.com/int-y1/busy-beaver-cpp C++ version] of [[Quick_Sim]]. It can currently solve "Diff Rules" (L1 [[Inductive Proof System#Rule Levels\|Inductive Rules]]). It is 6-10x faster than the original python implementation.<sup>[https://discord.com/channels/960643023006490684/1226543091264126976/1432118726492291173][https://discord.com/channels/960643023006490684/1226543091264126976/1433247936942440498]</sup>
	** Katelyn Douchette is working on an automated inductive decider.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1419016459560161280][https://discord.com/channels/960643023006490684/1095740122139480195/1427714010697961534]</sup> (see [[Inductive Proof System\|inductive proofs]])		** Katelyn Douchette is working on an automated inductive decider.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1419016459560161280][https://discord.com/channels/960643023006490684/1095740122139480195/1427714010697961534]</sup> (see [[Inductive Proof System\|inductive proofs]])

Sligocki: /* Misc */ BMO7 solved

2025-11-02T19:23:36Z

Misc: BMO7 solved

← Older revision		Revision as of 19:23, 2 November 2025
Line 36:		Line 36:
	* [[File:Antihydra Physical Disk Design.png\|thumb\|Design for a disk to physically simulate [[Antihydra]].]][[File:Antihydra Physical Disk zts439.jpg\|thumb\|3d printed version of Antihydra disk.]]@coda shared a mechanical implementation of a Turing Machine, [[Antihydra]].<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> @zts439 3d-printed a prototype (see image at right).<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>		* [[File:Antihydra Physical Disk Design.png\|thumb\|Design for a disk to physically simulate [[Antihydra]].]][[File:Antihydra Physical Disk zts439.jpg\|thumb\|3d printed version of Antihydra disk.]]@coda shared a mechanical implementation of a Turing Machine, [[Antihydra]].<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1425894649280598066]</sup> @zts439 3d-printed a prototype (see image at right).<sup>[https://discord.com/channels/960643023006490684/1362008236118511758/1427103960317296826]</sup>
	* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>		* @Bricks shared a method to estimate susceptibility to [[Block Analysis]] and a [https://docs.google.com/spreadsheets/d/1j00LBxxp9W7uz1wZdMIvDCZ56eReuH0IGO9Z8-yybcQ/edit?usp=sharing spreadsheet] of [[BB(6)]] holdouts quantified by it.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1430227817957953638][https://discord.com/channels/960643023006490684/1239205785913790465/1430651610102632579]</sup>
			* @Pomme solved [[BMO]] #7, {{TM\|1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB---}}. https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001

	== Holdouts ==		== Holdouts ==

← Older revision		Revision as of 19:53, 2 November 2025
Line 90:		Line 90:
	** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)		** Andrew Ducharme has continued reducing the [[BB(7)#Phase 2\|number of holdouts]] with Stage 4 of Phase 2. Afterwards, Terry Ligocki ran Stage 5 of Phase 2. Initially, in the beginning of the month there were 22,801,601 holdouts, and 20,405,295 holdouts remain. (10.51% reduction)
	* [[BB(4,3)\|BB(4,3):]]		* [[BB(4,3)\|BB(4,3):]]
	**Terry Ligocki ~~has begun~~ [[BB(4,3)#Phase 2\|Phase 2 of holdout reduction,]] reducing the number of holdouts from 460,916,384 to 9,401,447. (97.96% reduction)		**Terry Ligocki finished [[BB(4,3)#Phase 2\|Phase 2 of holdout reduction,]] reducing the number of holdouts from 460,916,384 to 9,401,447. (97.96% reduction)
	*[[BB(3,4)\|BB(3,4):]]		*[[BB(3,4)\|BB(3,4):]]
	**[[User:XnoobSpeakable\|XnoobSpeakable]] and [[User:WarpedWartWars\|Lúkos]] are running filters in the domain under [[BB(3,4)#Phase 2\|Phase 2]], reducing the holdout count from 434,787,751 to 15,136,283. (96.6% reduction)		**[[User:XnoobSpeakable\|XnoobSpeakable]] and [[User:WarpedWartWars\|Lúkos]] are running filters in the domain under [[BB(3,4)#Phase 2\|Phase 2]], reducing the holdout count from 434,787,751 to 15,136,283. (96.6% reduction)