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/" target="_blank" rel="nofollow noopener" translate="no"><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/" target="_blank" rel="nofollow noopener" translate="no"><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="tag">#<span>coding</span></a> <a href="https://mastodon.social/tags/cplusplus" class="mention hashtag" rel="tag">#<span>cplusplus</span></a> <a href="https://mastodon.social/tags/glibc" class="mention hashtag" rel="tag">#<span>glibc</span></a> <a href="https://mastodon.social/tags/TLA" class="mention hashtag" rel="tag">#<span>TLA</span></a></p>