Create accountLogin

Recent searches

No recent searches

Search options

Not available on lingo.lol.
lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Administered by:

Server stats:

71
active users

lingo.lol: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#mas

0 posts0 participants0 posts today
Public
José A. Alonso

Can proof assistants verify multi-agent systems? ~ Julian Alfredo Mendez, Timotheus Kampik. arxiv.org/abs/2503.06812 #MAS #FormalVerification #LeanProver #Scala

arXiv.orgCan Proof Assistants Verify Multi-Agent Systems?This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability.
Public *
Hans-Cees 🍋🌲🦔🦦🐝🦋🐛🚅🇸🇳🇵🇾🇹🇬🇹🇲

well apparently you cant say on mas.to when a journalistic paper is artisemitic. Thats islamophobic according to mas.to.
So moving somewhere else thats not #israel unfriendly.
Good job @DeGroene, lets have no discussion on your journalism but suppress everything outside the bubble.
#mas.to #bubble #memetics

Can I suggest mas.to add to their rules: no discussion is allowed on #israel thats not pro-palestinian

message that toots have been deleted by a mastodon sensorship person
the objection to the decision was ignored
Public *
Radical Anthropology

FREE community #fediscience, please boost!

TONIGHT
Tuesday Feb 20, 6:30pm London time
we have #AngusMcnelly (Greenwich) with #MatthewDoyle (UCL) on

'Now We Are in Power: The Politics of Passive Revolution in 21stC Bolivia'

All welcome!
FREE, LIVE @UCLAnthropology and on ZOOM

radicalanthropologygroup.org

Angus will be speaking in the Daryll Forde Seminar Room, 2nd Floor of the Anthro building, with Matthew as discussant.

NB due to building work, you need to use the main entrance of the Archaeology Institute round the corner in Gordon Square. Please plan to arrive between 6:15-6:30 if possible.

Demonstration in El Alto in a crowded square with waving Bolivian flags
#Bolivia#MAS#revolution
Public
Tamsin Lewis

In Tudor and Stuart times, gifts were given at New Year rather than at Christmas.
Here is a musical New Year's Gift. It's an anonymous 17th Century dance of that name from Thomas Middleton's Inner Temple Masque, or Masque of Heroes, 1619.
From BL Add. 10444
Alison Kinder: bass viol
Tamsin Lewis: violin

youtube.com/watch?v=rpY3yW1X4e

#earlymusic @earlymusic
#earlymodern @earlymodern
#histodon
#histodons @histodons @histodon
#happynewyear #history #12daysofchristmas #newyearsgift #violin #violinist #historicalmusic #historicaldance #mas #17thCentury #tudor #tudors #stuart #stuartera

YouTubeThe New Year's GiftBy Passamezzo
Public
Brett :cheers:

As #mas.town grows, it’s a good time to highlight details about the #instance:

The goal is to promote robust and responsible dialogue from all viewpoints, focusing on free speech, but with no tolerance for hate speech,violence,illegal content, etc.

We will remain #federated so users have maximum perspective into the #Mastodon network.

It is hosted on #AWS in the US, with nightly backups, promoting data security, privacy, resilience, and future expansion.

@admin

1/2

ExploreLive feeds
About