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

⏰ Only a week remaining with early-bird pricing for my annual three-day deep dive into #pytest with #Python Academy!
📅 March 4th — 6th
🌍 Leipzig (Germany) or remote
📕 Three days of pytest knowledge from one of its core maintainers. Fixtures, mocking, plugins, …

python-academy.com/courses/pyt…

🎉 In related news: My "pytest tips and tricks" 1.5h training for #PyConDE was accepted, and I also submitted that plus a more beginner-focused pytest training for #Europython!