Search
Items tagged with: p2p
📣Jami team is pleased to introduce the new version of Jami: Εἰρήνη.☮️
As you'll discover, this release brings remarkable advances from months of silent work, sure to delight loyal Jami users and newcomers after the announcement of Skype's shutdown.
We invite you to update and try the latest version of Jami! 🙇
👀 Want to know more about Εἰρήνη? Read our article : jami.net/eirene-to-make-new-us…
#Jami #opensource #P2P #App #PrivacyMatters
Εἰρήνη, to make new user onboarding simple and intuitive
☮️ Jami team is pleased to introduce the new version of Jami: Εἰρήνη.jami (Jami)
Decentralizers, attention! :)
Last #deltachat releases introduced stable #p2p group membership not found in any other messenger. Members can add/remove peers also while being offline, and when everything comes online again, everyone has the same consistent membership view. We formalized and ran a simulation model using #TLA+ (invented by Leslie Lamport of vector clock fame):
github.com/chatmail/models/tre…
and a complementary #pytest model with more corner cases tested here:
github.com/chatmail/models/blo…
models/gmc/test_gmc.py at main · chatmail/models
Formal specifications for chatmail. Contribute to chatmail/models development by creating an account on GitHub.GitHub