πŸ‘½ Apostolis (apostolis@social.coop)

Avatar

As if..

Joined: 2017-06-12

────

2024-11-28 apostolis ┃ 1πŸ’¬ ┃ RE: neauoire

@neauoire if you ask someone if the sun 🌞 is yellow, and you receive no answer, would you assume that the sun is not yellow.
The semantics of multisets are about the existence or not of […]

────

2024-11-27 apostolis ┃ 1πŸ‘€ ┃ RE: neauoire

@neauoire @khinsen
Let me point that a tuple space is centralized. The idea is to execute the rules in a distributed way.
[…]

────

2024-11-26 apostolis ┃ 1πŸ’¬ ┃ RE: neauoire

@neauoire I will look into them.
My model / language is a multiset of both rules(actors) and Γ©lΓ©ments (msgs) . Both of them are consumed in a random way. Each actor receives only one message […]

2024-11-26 apostolis ┃ 1πŸ’¬ ┃ RE: neauoire

@neauoire yes, that is a big difference.

2024-11-26 apostolis ┃ 1πŸ‘€ 1πŸ’¬ ┃ RE: neauoire

@neauoire @wim_v12e it is. It has already been answered. I am just trying to figure out the similarities and diffΓ©rences of all these systems.

2024-11-26 apostolis ┃ 1πŸ’¬ ┃ RE: neauoire

@neauoire no, but you could answer. In my opinion they look similar.

2024-11-26 apostolis ┃ 1πŸ”— 1πŸ’¬ ┃ RE: neauoire

@neauoire
agda.zulipchat.com/#narrow/cha…

────

2024-11-25 apostolis ┃ 1πŸ’¬ ┃ RE: neauoire

@neauoire :horadric: ?

────

πŸ“‘ Local feed

πŸ•οΈ Communities

πŸ”₯ Hashtags

πŸ”Ž Search posts

πŸ”‘ Sign in

πŸ“Š Status

πŸ›Ÿ Help