sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

608
active users

#Automata

3 posts3 participants0 posts today
Dave Rahardja<p>Guy’s Hospital in London features an art installation by Tim Hunkin.</p><p>It’s uh…creepy.</p><p><a href="https://sfba.social/tags/art" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>art</span></a> <a href="https://sfba.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://sfba.social/tags/creepy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>creepy</span></a> <a href="https://sfba.social/tags/uncannyValley" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>uncannyValley</span></a> </p><p>Source: hxxps://www.instagram.com/p/DLnNmrdopT7</p>
vy<p>Von Neumann points out that automata are essentially an alternative formalization of constructive logic. (Probabilistic Logics, in Shannon/McCarthy Automata.).<br><a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computing</span></a></p>
screwlisp<p><a href="https://gamerplus.org/tags/bookReview" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bookReview</span></a> <a href="https://gamerplus.org/tags/psychology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>psychology</span></a> <a href="https://gamerplus.org/tags/neuroscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>neuroscience</span></a> <a href="https://gamerplus.org/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://gamerplus.org/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a> <a href="https://gamerplus.org/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a> <a href="https://gamerplus.org/tags/bookstodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bookstodon</span></a> <br>my Book review of Braitenberg’s Vehicles Experiments in Synthetic Psychology<br><a href="https://screwlisp.small-web.org/complex/book-review-braitenberg-vehicles/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/comple</span><span class="invisible">x/book-review-braitenberg-vehicles/</span></a></p><p>I connect this to <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> for our upcoming (48 hours from tooting) interview with <span class="h-card" translate="no"><a href="https://infosec.exchange/@ksaj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ksaj</span></a></span> about cluster and swarm-intelligence computing, featuring lisp.</p><p>If you have adjacent thoughts or questions you might like Ksaj and I (and the usual crowd) to consider, please do discuss them here.</p>
Rob Ives<p><a href="https://mastodon.social/tags/STEAMjunk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>STEAMjunk</span></a> Parasol. A bead and wire project to download and make! <a href="https://mastodon.social/tags/maker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maker</span></a> <a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <br><a href="https://www.robives.com/project/parasol/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">robives.com/project/parasol/</span><span class="invisible"></span></a></p>
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/softwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareEngineering</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> images as communicating <a href="https://gamerplus.org/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://screwlisp.small-web.org/complex/resend%20resend%20resend.webm" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/comple</span><span class="invisible">x/resend%20resend%20resend.webm</span></a> <a href="https://screwlisp.small-web.org/complex/eepitch-send/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/comple</span><span class="invisible">x/eepitch-send/</span></a></p><p>Article with one minute video showing four lisp images chattering unattended.</p><p>There is no leader- they're just talking. However, they are using <a href="https://gamerplus.org/tags/emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emacs</span></a> <a href="https://gamerplus.org/tags/slime" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>slime</span></a> <a href="https://gamerplus.org/tags/eepitch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>eepitch</span></a> and sleeps so you can usefully watch them.</p><p>A precursor to next week's episode featuring <span class="h-card" translate="no"><a href="https://infosec.exchange/@ksaj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ksaj</span></a></span> discussing breitenbergian vehicles etc.</p><p>Do you use a cluster of <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> images?</p>
David Bender<p>Another wonderful, poetic product related to weather that the puppeteer in me fell in love with. Might have to support this project for myself since I already supported the Author Forecast project as a gift for my English-major mother.</p><p><a href="https://ecoevo.social/tags/puppetry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puppetry</span></a> <a href="https://ecoevo.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://ecoevo.social/tags/mechanical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mechanical</span></a> <a href="https://ecoevo.social/tags/weather" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>weather</span></a> <a href="https://ecoevo.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a> <a href="https://ecoevo.social/tags/art" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>art</span></a> <a href="https://ecoevo.social/tags/sculpture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sculpture</span></a> <a href="https://ecoevo.social/tags/design" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>design</span></a> </p><p><a href="https://www.kickstarter.com/projects/skymill/skymill/description" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">kickstarter.com/projects/skymi</span><span class="invisible">ll/skymill/description</span></a></p>
screwlisp<p><a href="https://gamerplus.org/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://gamerplus.org/tags/vehicles" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vehicles</span></a> <a href="https://gamerplus.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <br>so it strikes me that in my Bob-Albrecht's-Hurkle implementation so far <a href="https://screwlisp.small-web.org/lispgames/itching-for-hurkles/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/lispga</span><span class="invisible">mes/itching-for-hurkles/</span></a></p><p>the way I did "what-direction-is-the-hurkle-in?" is a reasonable model for Breitenbergian sensors <span class="h-card" translate="no"><a href="https://infosec.exchange/@ksaj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ksaj</span></a></span> . </p><p>Just instead of saying "what direction is the Hurkle in" maybe "is there a Hurkle in this direction" (and then accelerate towards or away from it by my particular itch)</p><p>Breitenberg's Vehicles was a jumble-of-finitely-many automata indicative model of human minds.</p>
Graham Dunningyour mechanism of the day is this automatic bowl of noodles outside Rice Coming noodle bar in Borough, London. <br> <a href="https://pixey.org/discover/tags/MechanismOfTheDay?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#MechanismOfTheDay</a> <br> <a href="https://pixey.org/discover/tags/automata?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#automata</a>
Rob Ives<p><a href="https://mastodon.social/tags/STEAMjunk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>STEAMjunk</span></a> Busy Bee project for you to make on International Bee Day! <a href="https://mastodon.social/tags/internationalbeeday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>internationalbeeday</span></a> <a href="https://mastodon.social/tags/maker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maker</span></a> <a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://www.robives.com/project/busybee/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">robives.com/project/busybee/</span><span class="invisible"></span></a></p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.sdf.org/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devlog</span></a> <a href="https://mastodon.sdf.org/tags/lispgamejam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lispgamejam</span></a> the third for my birds eating insects eating plants experience <a href="https://screwlisp.small-web.org/lispgames/plant-sensors/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/lispga</span><span class="invisible">mes/plant-sensors/</span></a> imagining the <a href="https://mastodon.sdf.org/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://mastodon.sdf.org/tags/agent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>agent</span></a> <a href="https://mastodon.sdf.org/tags/Sensors" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sensors</span></a> .<br>Simple sensor input -&gt; acceleration agents in a grid ideas.</p><p>I don't get what happened with that markdown table either.</p><p>I also add the <a href="https://mastodon.sdf.org/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a> for bird insect plant in my <a href="https://mastodon.sdf.org/tags/softwareIndividuals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareIndividuals</span></a> KRF.</p><p><a href="https://mastodon.sdf.org/tags/gamejam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamejam</span></a> forum post <a href="https://itch.io/jam/spring-lisp-game-jam-2025" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">itch.io/jam/spring-lisp-game-j</span><span class="invisible">am-2025</span></a></p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.sdf.org/tags/lispGameJam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lispGameJam</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devlog</span></a> <a href="https://mastodon.sdf.org/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blog</span></a> <a href="https://screwlisp.small-web.org/lispgames/whats-the-plan/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/lispga</span><span class="invisible">mes/whats-the-plan/</span></a> number one.</p><p>Proposing a Braitenbergian Vehicles <a href="https://mastodon.sdf.org/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> world of plants that spread, insects (that eat plants) and birds (that eat insects and sleep in plants).</p><p>Shoehorn in a player by just dropping them in and saying they also need to eat.</p><p>What is everyone else doing?</p><p>I basically just have tomorrow</p><p>cc <span class="h-card"><a href="https://infosec.exchange/@ksaj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ksaj</span></a></span> , namedropped</p>
Rob Ives<p>Rise of the Mammals. The cover project from my new book "Making Paper Automata" The project comes as a pdf ready to print out onto thin card. Find out more here <a href="https://www.robives.com/project/rotm/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">robives.com/project/rotm/</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://mastodon.social/tags/dinosaur" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dinosaur</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" target="_blank">#<span>diy</span></a> <a href="https://xoxo.zone/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</span></a> <a href="https://xoxo.zone/tags/woodworking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>woodworking</span></a> <a href="https://xoxo.zone/tags/clockwork" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>clockwork</span></a></p>
Continued thread

Cactus Language • Overview 1.1
inquiryintoinquiry.com/2025/03

❝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.❞

— Herbert J. Bernstein • “Idols of Modern Science”

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”.

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.

#Peirce #Logic #Semiotics #LogicalGraphs #DifferentialLogic
#Automata #FormalLanguages #FormalGrammars #GraphTheory

Inquiry Into Inquiry · Cactus Language • Overview 1
More from Inquiry Into Inquiry

I roughed out a game of life penguin toy for a few hours today after not sleeping with the storms last night.

It felt good to just write, rewrite and then rewrite what I was wanting to make as I went - I should have recorded (maybe streamed?) how it evolved.

Live:
codepen.io/fractalkitty/live/J

Code:
codepen.io/fractalkitty/pen/Jo

You get to draw between each frame with your penguin in the GOL, but can't let more that 60% of the grid die or get caught on an unstable iceberg. The countdown speeds up a bit as you keep going.