Fosstodon

1 post1 participant0 posts today

BillCould that be maybe because you FUCKING FIRED EVERYONE THAT KNOWS HOW TO DO THAT??!?!<a href="https://www.infosecurity-magazine.com/news/fbi-help-tracking-chinese-salt/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.infosecurity-magazine.com/news/fbi-help-tracking-chinese-salt/</a><a href="https://infosec.exchange/tags/apt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#apt</a> <a href="https://infosec.exchange/tags/fbi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fbi</a> <a href="https://infosec.exchange/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tla</a>

C++NowC++Now 2025 SESSION ANNOUNCEMENT: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke<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">https://schedule.cppnow.org/session/2025/using-tla-to-fix-a-very-difficult-glibc-bug/</a>Register now at <a href="https://cppnow.org/registration/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://cppnow.org/registration/</a><a href="https://mastodon.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coding</a> <a href="https://mastodon.social/tags/cplusplus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cplusplus</a> <a href="https://mastodon.social/tags/glibc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#glibc</a> <a href="https://mastodon.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a>

Delta ChatDecentralizers, attention! :) Last <a href="https://chaos.social/tags/deltachat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#deltachat</a> releases introduced stable <a href="https://chaos.social/tags/p2p" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#p2p</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">#TLA</a>+ (invented by Leslie Lamport of vector clock fame):<a href="https://github.com/chatmail/models/tree/main/group-membership" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/chatmail/models/tree/main/group-membership</a>and a complementary <a href="https://chaos.social/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pytest</a> model with more corner cases tested here:<a href="https://github.com/chatmail/models/blob/main/gmc/test_gmc.py" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/chatmail/models/blob/main/gmc/test_gmc.py</a>

davideagleFrom a newcomers standpoint, I don't think the NIPtalk is helping with onboarding it's quite confusing to be honest. A change in this direction would be more inviting for newcomers and let focus on understanding rather being lost in the NIPle Most material from nostr podcast and nuts are heavy on the TLAs (Three Letter Acronyms) and <a class="mention hashtag" href="https://mostr.pub/tags/NIPtalks" rel="nofollow noopener noreferrer" target="_blank">#NIPtalks</a> are not doing me any favours... <a class="u-url mention" href="https://mostr.pub/users/fa984bd7dbb282f07e16e7ae87b26a2a7b9b90b7246a44771f0cf5ae58018f52" rel="nofollow noopener noreferrer" target="_blank">@fa984bd7</a> 👌 <a class="mention hashtag" href="https://mostr.pub/tags/NIPtuck" rel="nofollow noopener noreferrer" target="_blank">#NIPtuck</a> <a class="mention hashtag" href="https://mostr.pub/tags/TLA" rel="nofollow noopener noreferrer" target="_blank">#TLA</a> <a class="mention hashtag" href="https://mostr.pub/tags/nostrdev" rel="nofollow noopener noreferrer" target="_blank">#nostrdev</a>

Huntn00<a href="https://universeodon.com/@jaykuo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@jaykuo</a> 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">#TLA</a> (TheLawlessAdmin) to defend you. 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. Or instead of disgusting yourself, you’ll resign. 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">#DD</a>’s (DerDonny) bidding. 🔥😔

LavX NewsGenefication: The Future of Code Generation Meets Formal VerificationIn a world where generative AI is revolutionizing software development, the challenge of ensuring the correctness of AI-generated code looms large. Enter Genefication, a groundbreaking approach that m...<a href="https://news.lavx.hu/article/genefication-the-future-of-code-generation-meets-formal-verification" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/genefication-the-future-of-code-generation-meets-formal-verification</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/Genefication" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Genefication</a> <a href="https://mastodon.cloud/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a>+ <a href="https://mastodon.cloud/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FormalVerification</a>

Ilya Shchepetkov<a href="https://foundation.tlapl.us/blog/2024-12-dev-update/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://foundation.tlapl.us/blog/2024-12-dev-update/index.html</a>New blog post from the <a href="https://social.treehouse.systems/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tla</a>+ foundation, it seems there is a lot of activity going on right now in the community.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">#formalmethods</a>). Not sure that I will be able to get a visa, but oh well.

HabrФормальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейнеДобрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье я продолжу рассказывать о том, как мы используем инструменты формальной верификации для предотвращения уязвимостей в различных компонентах блокчейна. Ранее мы верифицировали смарт-контракты дедуктивным методом . В этот раз речь пойдет о протоколах консенсуса — механизмах принятия узлами новых транзакций в цепочку, а именно об алгоритме Istanbul Byzantine Fault Tolerant и в целом о том, как можно гарантировать корректность подобных алгоритмов с помощью метода проверки моделей.<a href="https://habr.com/ru/companies/pt/articles/864754/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://habr.com/ru/companies/pt/articles/864754/</a><a href="https://zhub.link/tags/%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#формальная_верификация</a> <a href="https://zhub.link/tags/formal_verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formal_verification</a> <a href="https://zhub.link/tags/%D0%BF%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB_%D0%BA%D0%BE%D0%BD%D1%81%D0%B5%D0%BD%D1%81%D1%83%D1%81%D0%B0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#протокол_консенсуса</a> <a href="https://zhub.link/tags/%D0%B1%D0%BB%D0%BE%D0%BA%D1%87%D0%B5%D0%B9%D0%BD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#блокчейн</a> <a href="https://zhub.link/tags/%D0%BA%D1%80%D0%B8%D0%BF%D1%82%D0%BE%D0%B2%D0%B0%D0%BB%D1%8E%D1%82%D1%8B" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#криптовалюты</a> <a href="https://zhub.link/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tla</a>+ <a href="https://zhub.link/tags/model_checking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#model_checking</a> <a href="https://zhub.link/tags/IBFT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IBFT</a> <a href="https://zhub.link/tags/bft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bft</a>

HabrАрхитектура обучения будущего? Или краткий обзор Total Learning Architecture (TLA)Статья является некоторым продолжением моих статей по теме стандартов в области обучения персонала. Начнем с картинки на сайте группы ADL. И действительно, спецификация SCORM 2004v3 уже не поддерживается и значительная (если не все) доля отечественных компаний, использующих LMS/LXP системы типа Moodle/WebSoft/Mirapolis/iSpring и т.д. фактически находятся по мнению ADL где-то в левой части «Legacy».<a href="https://habr.com/ru/articles/853440/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://habr.com/ru/articles/853440/</a><a href="https://zhub.link/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a> <a href="https://zhub.link/tags/xAPI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#xAPI</a> <a href="https://zhub.link/tags/SCORM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SCORM</a> <a href="https://zhub.link/tags/LMS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LMS</a> <a href="https://zhub.link/tags/LRS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LRS</a> <a href="https://zhub.link/tags/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B_%D0%BE%D0%B1%D1%83%D1%87%D0%B5%D0%BD%D0%B8%D1%8F" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Системы_обучения</a> <a href="https://zhub.link/tags/lcontent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lcontent</a>

Ilya ShchepetkovJust saw the new <a href="https://social.treehouse.systems/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a>+ wiki (<a href="https://docs.tlapl.us" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://docs.tlapl.us</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.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!

Serpent7776<a href="https://mastodon.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a>+ specification for a queue.

Teixi<a href="https://hachyderm.io/@dave_andersen" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@dave_andersen</a> His <a href="https://mastodon.social/tags/wip" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wip</a> book contains gems like:» Hilbert called it ε , but I think it’s better to call it choose. «» Mathglish differs from English in two ways: It eliminates some of the imprecision of English by giving a precise meaning to some imprecise English words, and it makes the written language more compact by using mathematical formulas to replace English phrases. «Revised Draft of New <a href="https://mastodon.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a> Book <a href="https://mastodon.social/tags/LeslieLamport" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeslieLamport</a> 1 March 2024<a href="https://lamport.azurewebsites.net/tla/news.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lamport.azurewebsites.net/tla/news.html</a>

HabrКак мы написали конкурентные структуры данных на C++ и научились их верифицироватьПривет! В команде ВКонтакте мы переписываем рантайм движков баз данных — они становятся быстрее, надёжнее, а ещё с новым рантаймом проще писать код. Однако есть нюанс: в новом рантайме много конкурентных структур данных, в том числе нужных для работы с корутинами из С++20. Появляется интересная задача — проверять корректность этих конкурентных структур данных до выхода кода в продакшен. Для решения этой задачи команда ВКонтакте вместе со студентами из университетов ИТМО и СПбГУ работала над научно-исследовательским проектом — верификацией конкурентных структур данных на языке C++. В этой статье подробно расскажем, как мы в рамках проекта проверяли корректность наших конкурентных структур данных и заодно исправили найденную в нашем новом рантайме ошибку.<a href="https://habr.com/ru/companies/vk/articles/829706/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://habr.com/ru/companies/vk/articles/829706/</a><a href="https://zhub.link/tags/concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#concurrency</a> <a href="https://zhub.link/tags/%D0%BA%D0%BE%D1%80%D1%83%D1%82%D0%B8%D0%BD%D1%8B" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#корутины</a> <a href="https://zhub.link/tags/%D0%BA%D0%B0%D0%BD%D0%B0%D0%BB%D1%8B" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#каналы</a> <a href="https://zhub.link/tags/%D0%B2%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#верификация</a> <a href="https://zhub.link/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#c</a>++ <a href="https://zhub.link/tags/%D0%BC%D0%BD%D0%BE%D0%B3%D0%BE%D0%BF%D0%BE%D1%82%D0%BE%D1%87%D0%BD%D0%BE%D1%81%D1%82%D1%8C" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#многопоточность</a> <a href="https://zhub.link/tags/%D0%BF%D0%B0%D1%80%D0%B0%D0%BB%D0%BB%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#параллельное_программирование</a> <a href="https://zhub.link/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tla</a>+

ZicklagThis support some suspicions I've had about there being a use for formal specification/verification techniques, even if you aren't a PhD, and even if you don't have a ton of time to spend on it:<a href="https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b</a>I think I'm going to do some experimenting and learning TLA+ to have the knowledge on hand if I run into the use for it.<a href="https://mastodon.social/tags/proofs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#proofs</a> <a href="https://mastodon.social/tags/tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tla</a> <a href="https://mastodon.social/tags/specification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#specification</a>

Alan Rycroft 🇨🇦Clayoquot Sound's 'war in the woods' battlegrounds to be permanently protectedAn agreement with two Vancouver Island First Nations will protect about 760 square kilometres of Crown land in Clayoquot Sound by establishing 10 new conservancies in areas that include old-growth forests and unique ecosystems<a href="https://www.timescolonist.com/local-news/clayoquot-sounds-war-in-the-woods-battlegrounds-to-be-permanently-protected-9103876" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.timescolonist.com/local-news/clayoquot-sounds-war-in-the-woods-battlegrounds-to-be-permanently-protected-9103876</a><a href="https://mastodon.world/tags/conservation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#conservation</a> <a href="https://mastodon.world/tags/30x30" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#30x30</a> <a href="https://mastodon.world/tags/OldGrowth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OldGrowth</a> <a href="https://mastodon.world/tags/CarbonCapture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CarbonCapture</a> <a href="https://mastodon.world/tags/trees" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trees</a> <a href="https://mastodon.world/tags/nature" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nature</a> <a href="https://mastodon.world/tags/Clayoquot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clayoquot</a> <a href="https://mastodon.world/tags/Ahoushat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ahoushat</a> <a href="https://mastodon.world/tags/Tla" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tla</a>-o-qui-aht <a href="https://mastodon.world/tags/Indigenous" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Indigenous</a> <a href="https://mastodon.world/tags/FirstNation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FirstNation</a> <a href="https://mastodon.world/tags/logging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logging</a>

Sieva never stops 📸ominous welcome <a href="https://pixelfed.social/discover/tags/LandscapePhotography?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#LandscapePhotography</a> <a href="https://pixelfed.social/discover/tags/ɬəʔamɛn?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#ɬəʔamɛn</a> <a href="https://pixelfed.social/discover/tags/Tla?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tla</a>'amin <a href="https://pixelfed.social/discover/tags/Sliammon?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sliammon</a> <a href="https://pixelfed.social/discover/tags/FirstNation?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#FirstNation</a> <a href="https://pixelfed.social/discover/tags/SunshineCoast?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#SunshineCoast</a> <a href="https://pixelfed.social/discover/tags/BritishColumbia?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#BritishColumbia</a> <a href="https://pixelfed.social/discover/tags/town?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#town</a> <a href="https://pixelfed.social/discover/tags/welcome?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#welcome</a> <a href="https://pixelfed.social/discover/tags/sign?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#sign</a> <a href="https://pixelfed.social/discover/tags/RoadSide?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#RoadSide</a>

Marce Coll<a href="https://will62794.github.io/tla-web/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://will62794.github.io/tla-web/</a> online <a href="https://functional.cafe/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a>+ explorer, very impressive and super useful to explore the spec space

QuincyGot it, DMA is for Digital Markets Act, not Direct Memory Access.Come on, there's really no reason to re-purpose any common <a href="https://chaos.social/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a> yet ...

Pilou 🐧⚔️<= Le type qui a avait marre qu'<a href="https://framapiaf.org/tags/Hellodoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hellodoc</a> lui bouffe tant de ressources alors qu'il n'est plus utilisé depuis 6 mois... Et qui donc l'a supprimé... Et qui donc vient de voir son lecteur <a href="https://framapiaf.org/tags/TLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLA</a> disparaître des tous les logiciels associés bien que le Gestionnaire de périphériques le reconnaisse bien sur le port COM3 (IHC USB CDC 77)... <a href="https://framapiaf.org/tags/IWL350" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IWL350</a> <a href="https://framapiaf.org/tags/Ingenico" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ingenico</a> <a href="https://framapiaf.org/tags/SesamVitale" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SesamVitale</a> <a href="https://framapiaf.org/tags/JAiToutP%C3%A9t%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JAiToutPété</a>

Everything Open ConferenceContinuing our <a href="https://fosstodon.org/tags/EverythingOpen" class="mention hashtag" rel="tag">#EverythingOpen</a> schedule highlights, we present <a href="https://aus.social/@croy" class="u-url mention">@croy</a>, Senior Software Engineer at the Australian <a href="https://fosstodon.org/tags/Synchrotron" class="mention hashtag" rel="tag">#Synchrotron</a>, who will talk about Temporal Logic of Actions (<a href="https://fosstodon.org/tags/TLA" class="mention hashtag" rel="tag">#TLA</a>+), a specification language that allows for mathematical <a href="https://fosstodon.org/tags/verification" class="mention hashtag" rel="tag">#verification</a> of <a href="https://fosstodon.org/tags/complex" class="mention hashtag" rel="tag">#complex</a>, <a href="https://fosstodon.org/tags/concurrent" class="mention hashtag" rel="tag">#concurrent</a> and <a href="https://fosstodon.org/tags/distributed" class="mention hashtag" rel="tag">#distributed</a> <a href="https://fosstodon.org/tags/systems" class="mention hashtag" rel="tag">#systems</a>.Schedule 🔜 Registrations now open: <a href="https://2024.everythingopen.au/news/registrations-open/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://2024.everythingopen.au/news/registrations-open/</a>

Recent searches

Search options

Administered by:

Server stats:

#tla