universeodon.com is part of the decentralized social network powered by Mastodon.
Be one with the #fediverse. Join millions of humans building, creating, and collaborating on Mastodon Social Network. Supports 1000 character posts.

Administered by:

Server stats:

3.5K
active users

Learn more

#automata

0 posts0 participants0 posts today
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Thank you for the overwhelming response to the mechanical gift box! Here’s all the build videos &amp; the final reveal/marriage proposal in one video:</p><p><a href="https://m.youtube.com/watch?v=eBNlsrIdMFo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">m.youtube.com/watch?v=eBNlsrId</span><span class="invisible">MFo</span></a></p><p>It’s been a journey 🖤 now on to the next adventure </p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/woodcarving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodcarving</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/mechanical_engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mechanical_engineering</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Okay here’s the final reveal of the ten-month mechanical Gift Box build. </p><p>Deliriously happy to shout from the rooftops that my partner Robin is the most extraordinary person I’ve ever known, and I want to marry her more than I’ve ever wanted anything in my life.</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Ninth part of the ten-month Gift Box build 🦊❤️🦦🎁 </p><p>Final glue-up, trim, engraving and other finishing touches. Next video will be of the finished piece!</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Eighth part of the ten-month Gift Box build 🦊❤️🦦🎁 </p><p>Assembly and dry fit, and first test of all the mechanisms together. Absolutely hair-raising not knowing if it would work or not </p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Seventh part of the ten-month mechanical Gift Box build 🦊❤️🦦🎁 </p><p>The flower petals at the top are working, miraculously, and I finally get a worthy idea for the sides of the finished box </p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Sixth part of the ten-month Gift Box build 🦊❤️🦦🎁 </p><p>Top half taking form, bottom half taking form, and shaping the flower petals</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Fifth part of the ten-month Gift Box build</p><p>Mechanical problem solving, hauling out the drill press, and ✨tada the music box works✨ </p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Fourth part of the ten-month Gift Box build</p><p>Chiseling, hammering, and figuring out the clockwork elements. Really getting in over my head at this point</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Third part of the ten-month Gift Box build</p><p>Fun with sparks, chiseling, and the beginnings of the clockwork elements</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>Second part of the ten-month Gift Box build</p><p>Solved the most complicated engineering part of the build here with the two clutched gears driving the sector gear</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Jesse Holden 🇵🇸🏳️‍⚧️🏴<p>First part of the ten-month Gift Box build for my love. More to come!</p><p>I like the sounds! I think the sounds are my favorite part of watching this back now</p><p><a href="https://xoxo.zone/tags/diy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clockwork</span></a></p>
Atlas Obscura<p>Collegiate Church of St. Gertrude in Nivelles, Belgium</p><p>The patron saint of cats founded this stunning Romanesque church in the 7th century.<a href="https://libranet.de/search?tag=automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://libranet.de/search?tag=medieval" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>medieval</span></a> <a href="https://libranet.de/search?tag=crypts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>crypts</span></a> <a href="https://libranet.de/search?tag=cats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cats</span></a> <a href="https://libranet.de/search?tag=catholic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>catholic</span></a> <a href="https://libranet.de/search?tag=saints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>saints</span></a> <a href="https://libranet.de/search?tag=romanesque" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>romanesque</span></a> <a href="https://libranet.de/search?tag=churches" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>churches</span></a> <a href="https://libranet.de/search?tag=section-Atlas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>section-Atlas</span></a><br><a href="https://www.atlasobscura.com/places/collegiate-church-of-st-gertrude" rel="nofollow noopener noreferrer" target="_blank">Collegiate Church of St. Gertrude</a></p>
Alexis Pierre<p>Dissolving patterns</p><p><a href="https://mastodon.social/tags/hitomezashi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hitomezashi</span></a> <a href="https://mastodon.social/tags/rug" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rug</span></a> <a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://mastodon.social/tags/pixels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pixels</span></a> <a href="https://mastodon.social/tags/pattern" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pattern</span></a></p>
Rob Ives<p>PegBot <a href="https://mastodon.social/tags/STEAMjunk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>STEAMjunk</span></a> project to download and make. Full instructions for construction at www.robives.com/project/PegBot <a href="https://mastodon.social/tags/clothespeg" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clothespeg</span></a> <a href="https://mastodon.social/tags/clothespin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clothespin</span></a> <a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automata</span></a> <a href="https://mastodon.social/tags/maker" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maker</span></a></p>
Alexis Pierre<p><a href="https://mastodon.social/tags/AUTOMATA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AUTOMATA</span></a> X <a href="https://mastodon.social/tags/HITOMEZASHI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HITOMEZASHI</span></a> / work in progress / A <a href="https://mastodon.social/tags/rug" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rug</span></a> of mixed patterns, fed from each other</p><p><a href="https://mastodon.social/tags/pattern" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pattern</span></a> <a href="https://mastodon.social/tags/generativeart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeart</span></a> <a href="https://mastodon.social/tags/vector" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vector</span></a> <a href="https://mastodon.social/tags/rug" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rug</span></a></p>
ARIADNE RI<p>AUTOMATA has launched a survey on the use, perception &amp; future expectations of 3D modelling, non-destructive archaeometry, AI and robotics in archaeology to guide ECCCH tool development. ⚱️ </p><p>Access the survey on the AUTOMATA website: <a href="https://automata-eccch.eu/news-events/survey/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">automata-eccch.eu/news-events/</span><span class="invisible">survey/</span></a></p><p><a href="https://mastodon.social/tags/EchoesEccch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EchoesEccch</span></a> <a href="https://mastodon.social/tags/aut%C3%B3mata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>autómata</span></a></p>
Alexis Pierre<p><a href="https://mastodon.social/tags/AUTOMATA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AUTOMATA</span></a> X <a href="https://mastodon.social/tags/HITOMEZASHI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HITOMEZASHI</span></a> / work in progress / building a grid of mixed connecting patterns. Step 1 : some random rule automatas, fed from tile above. Step 2 : hitomezashi pattern fed from above (x) and left (y) tiles.</p><p><a href="https://mastodon.social/tags/genart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>genart</span></a> <a href="https://mastodon.social/tags/algorithmicart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>algorithmicart</span></a> <a href="https://mastodon.social/tags/vector" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vector</span></a></p>
Hacker News<p>Differentiable Logic Cellular Automata — <a href="https://google-research.github.io/self-organising-systems/difflogic-ca/?hn" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">google-research.github.io/self</span><span class="invisible">-organising-systems/difflogic-ca/?hn</span></a><br><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Differentiable" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Differentiable</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/Cellular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cellular</span></a> <a href="https://mastodon.social/tags/Automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Automata</span></a> <a href="https://mastodon.social/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>research</span></a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://mastodon.social/tags/selforganizing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>selforganizing</span></a>-systems</p>
Jon Awbrey<p>Cactus Language • Overview 1.2<br>• <a href="https://inquiryintoinquiry.com/2025/03/01/cactus-language-overview-1/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/01/cactus-language-overview-1/</span></a></p><p>Resource —</p><p>For readers interested and intrepid enough to read ahead, here’s an outline of my work in progress on the OEIS Wiki, which I’ll be revising and serializing to my Inquiry blog.</p><p>Part 1<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_1</span></a></p><p>Cactus Language • Syntax<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_1#Syntax" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_1#Syntax</span></a></p><p>Part 2<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_2" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_2</span></a></p><p>Generalities About Formal Grammars<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_2#Generalities" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_2#Generalities</span></a></p><p>Part 3<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3</span></a></p><p>Cactus Language • Stylistics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Stylistics" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Stylistics</span></a></p><p>Cactus Language • Mechanics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Mechanics" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Mechanics</span></a></p><p>Cactus Language • Semantics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Semantics" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Semantics</span></a></p><p>Stretching Exercises<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Stretching_Exercises" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Stretching_Exercises</span></a></p><p>References<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_References" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_References</span></a></p><p>Document History <br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Document_History" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Document_History</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/Automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Automata</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphTheory</span></a></p>
Jon Awbrey<p>Cactus Language • Overview 1.1<br>• <a href="https://inquiryintoinquiry.com/2025/03/01/cactus-language-overview-1/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/01/cactus-language-overview-1/</span></a></p><p>❝Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually no knowledge in immediately adjacent areas. If our intellectual gaze could shift slightly, it would alter each quill’s direction, and suddenly our entire reality would change.❞</p><p>— Herbert J. Bernstein • “Idols of Modern Science”</p><p>The following report describes a calculus for representing propositions as sentences, that is, as syntactically defined sequences of signs, and for working with those sentences in light of their semantically defined contents as logical propositions. In their computational representation the expressions of the calculus parse into a class of graph‑theoretic data structures whose underlying graphs are called “painted cacti”.</p><p>Painted cacti are a specialization of what graph‑theorists refer to as “cacti”, which are in turn a generalization of what they call “trees”. The data structures corresponding to painted cacti have especially nice properties, not only useful in computational terms but interesting from a theoretical standpoint. The remainder of the present Overview is devoted to motivating the development of the indicated family of formal languages, going under the generic name of Cactus Language.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/Automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Automata</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphTheory</span></a></p>