@theruran What is the link you had about inets concept introduction so that I can read on it ? I couldn't find something correct alone yet @syntacticsugarglider

@syntacticsugarglider "β€” From a more applicative point of view, they can be seen as a programming paradigm, and can be turned into a practical (typed or untyped) programming language,
in which important properties (like deadlock-freeness) are automatically checked
through similar techniques to those used in linear logic (i.e., correctness criteria (La-
font, 1990))."

It really looks very interesting for my researches. Thanks for introducing me to this concept.

In turn, as I saw you were wondering why I was paying attention to memoryspaces dimentional caracteristics... Well there are several reasons to this.

One of them is my desire, for many reasons, to natively incorporate, one way or another, a universal truly synchronized time dimension into the fundations of alternative digital processing systems or cyberspaces architectures.

But my interest in alternative memoryspace concepts focused on their dimentional caracteristics doesn't limit itself to time dimension integration.... There are many other reasons I will detail on Krali later on.

For now, you could have a look at this, about what I think was the first native "time integration attempt" in computing :


But maybe Theruran has a better article to present situation calculus.

A @theruran

@syntacticsugarglider @theruran Theruran, I'm not on my computer where the situation calculus PDF you gave me to read are bookmarked, could you repost the link for Izzy if you still have it bookmarked easily somewhere ?

@stman which author are you thinking of? there were some revisions of situation calculus done decades later than McCarthy's seminal paper.

@syntacticsugarglider so you have basically translated this Symmetric Interaction Combinators into a Rust implementation with reflection that compiles to interaction nets and called it Welkin? It can only model and execute deterministic computations? What about non-deterministic, is it just unwanted? Interaction nets do look like a very convenient formalism but as @stman indicates, can the time dimension be added to these formal systems without breaking them, and while adding the ability to model real-time systems?

Sorry if you have already answered these questions. I am just now getting thru all the wonderful messages.

@natecull @vertigo

@theruran Nope it's not that one. It's the first PDF you sent me about Situation Calculus. It should be in my TimeLine on mastodon.social in a toot from you, a year ago. By the way, is there an easy way to dig into one's TL to find stuff on mastodon ?

@syntacticsugarglider @natecull @vertigo

@stman @syntacticsugarglider @natecull @vertigo

The paper linked from the Wikipedia article is:

"Situations, Actions, and Causal Laws" by John McCarthy (1963)


No, because Mastodon is ass. You have to export (and wait) for your archive and fucking grep the JSON file. Probably several people have written their own tools for dealing with this problem.


@stman @theruran @syntacticsugarglider @vertigo

I think Mastodon has made a deliberate architectural decision to make searching timelines hard-to-impossible, out of a belief that easy searching of social media is equivalent to organized mass harrassment and therefore is behaviour that the platform must automatically prevent.

I don't really understand this argument myself, and I think it mades Mastodon-like systems incredibly inefficient for a lot of group work.

Β· Β· Web Β· 0 Β· 1 Β· 3
Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!