sfba.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for the San Francisco Bay Area. Come on in and join us!

Server stats:

2.3K
active users

#automata

1 post1 participant0 posts today

Okay here’s the final reveal of the ten-month mechanical Gift Box build.

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.

Continued thread
Inquiry Into Inquiry · Cactus Language • Overview 1Thus, 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 sh…

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 1Thus, 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 sh…

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.