Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.tchncs.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
A friendly server from Germany – which tends to attract techy people, but welcomes everybody. This is one of the oldest Mastodon instances.

Administered by:

Server stats:

3.8K
active users

social.tchncs.de: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#mas

2 posts2 participants0 posts today
Public
Keka

Keka v1.4.8 for #macOS💻 is out now!

VoiceOver enhancements 🗣️
Some bugs fixed bug🐞

What’s new? r.keka.io/?v=1.4.8
Get it on download.keka.io

#Apple #ARM #MAS #apps

Thanks for the continued love and feedback to all users! ❤️

Special thanks in this update:

@chrisl64squares

zephyr73
@math65

Thanks to all the translators 🌍! In this update:

🇨🇳
@_maxsky

🇮🇹
@vinboisoft

🇫🇷
@marccroteau

🇷🇺
@nitrodox

👉 Do not miss the newly introduced Keka for iOS 🤩🤩🤩 👉 Follow us on Mastodon and Twitter to get all the Keka news This is a minor feature and maintanance release. Check out all the 1.4 release chang...
GitHubRelease Keka v1.4.8 · aonez/Keka👉 Do not miss the newly introduced Keka for iOS 🤩🤩🤩 👉 Follow us on Mastodon and Twitter to get all the Keka news This is a minor feature and maintanance release. Check out all the 1.4 release chang...
#app#translation#localization
Public
ButterWord

Meta intenta evitar que Sarah Wynn-Williams venda más memorias mordaces #evitar #intenta #más #memorias #Meta #mordaces #Sarah #venda #WynnWilliams #ButterWord #Spanish_News Comenta tu opinión 👇
butterword.com/meta-intenta-ev

ButterWord · Meta intenta evitar que Sarah Wynn-Williams venda más memorias mordaces – ButterWordMeta ganó una vencimiento lícito el miércoles contra un ex empleado que publicó una memoria explosiva y reveladora, como un árbitro prohibió temporalmente al autor promover o distribuir más copias. Sarah Wynn-Williams lanzó la semana pasada “Multitud descuidada: Una historia de advertencia de poder, miseria e idealismo perdido ”, un compendio que describe una serie […]
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.
ExploreLive feeds
About