Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mamot.fr is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mamot.fr est un serveur Mastodon francophone, géré par La Quadrature du Net.

Administered by:

Server stats:

3.3K
active users

mamot.fr: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#tla

0 posts0 participants0 posts today
C++Now<p>C++Now 2025 SESSION ANNOUNCEMENT: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke</p><p><a href="https://schedule.cppnow.org/session/2025/using-tla-to-fix-a-very-difficult-glibc-bug/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">schedule.cppnow.org/session/20</span><span class="invisible">25/using-tla-to-fix-a-very-difficult-glibc-bug/</span></a></p><p>Register now at <a href="https://cppnow.org/registration/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">cppnow.org/registration/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> <a href="https://mastodon.social/tags/cplusplus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cplusplus</span></a> <a href="https://mastodon.social/tags/glibc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>glibc</span></a> <a href="https://mastodon.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLA</span></a></p>
Delta Chat<p>Decentralizers, attention! :) </p><p>Last <a href="https://chaos.social/tags/deltachat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>deltachat</span></a> releases introduced stable <a href="https://chaos.social/tags/p2p" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>p2p</span></a> 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 <a href="https://chaos.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLA</span></a>+ (invented by Leslie Lamport of vector clock fame):</p><p><a href="https://github.com/chatmail/models/tree/main/group-membership" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/chatmail/models/tre</span><span class="invisible">e/main/group-membership</span></a></p><p>and a complementary <a href="https://chaos.social/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pytest</span></a> model with more corner cases tested here:</p><p><a href="https://github.com/chatmail/models/blob/main/gmc/test_gmc.py" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/chatmail/models/blo</span><span class="invisible">b/main/gmc/test_gmc.py</span></a></p>
Huntn00<p><span class="h-card" translate="no"><a href="https://universeodon.com/@jaykuo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jaykuo</span></a></span> If you’re a high level public crook, and swear allegiance, depend on the <a href="https://mastodon.world/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLA</span></a> (TheLawlessAdmin) to defend you.<br>If you’re a lawful, honest hard working official, you’ll be expected to throw out your morals and give the Outlaws head and other servicing as needed. If not, you’re deemed a threat.<br>Or instead of disgusting yourself, you’ll resign.<br>The problem with this scenario? Only the shit bags will be left to happily do <a href="https://mastodon.world/tags/DD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DD</span></a>’s (DerDonny) bidding. 🔥😔</p>
Ilya Shchepetkov<p><a href="https://foundation.tlapl.us/blog/2024-12-dev-update/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">foundation.tlapl.us/blog/2024-</span><span class="invisible">12-dev-update/index.html</span></a></p><p>New blog post from the <a href="https://social.treehouse.systems/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tla</span></a>+ foundation, it seems there is a lot of activity going on right now in the community.</p><p>Wondering whether I should submit a paper to the ABZ conference... It's the one I like the most (comparing to other conferences on <a href="https://social.treehouse.systems/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a>). Not sure that I will be able to get a visa, but oh well.</p>
Ilya Shchepetkov<p>Just saw the new <a href="https://social.treehouse.systems/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLA</span></a>+ wiki (<a href="https://docs.tlapl.us" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">docs.tlapl.us</span><span class="invisible"></span></a>) and got hit hard by imposter syndrome :blobpeek: So many cool links for the projects that I see for the first time, though I am working in the field for more than 10 years already.</p><p>Very excited though, now I really want to try test generation (from the model), trace validations (on the model from the system) and various visualizations!</p>
ExploreLive feeds
About