101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Server stats:

490
active users

#formalverifcation

0 posts0 participants0 posts today
paepcke :nix: + :freebsd:<p><a href="https://nixcademy.com/posts/secure-supply-chain-with-nix/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">nixcademy.com/posts/secure-sup</span><span class="invisible">ply-chain-with-nix/</span></a></p><p><a href="https://infosec.exchange/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nix</span></a> <a href="https://infosec.exchange/tags/nixos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nixos</span></a> <a href="https://infosec.exchange/tags/FormalVerifcation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerifcation</span></a></p>