det.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon Server des Unterhaltungsfernsehen Ehrenfeld zum dezentralen Diskurs.

Administered by:

Server stats:

1.8K
active users

#systemscorrectness

0 posts0 participants0 posts today
Hacker News<p>Systems Correctness Practices at Amazon Web Services</p><p><a href="https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cacm.acm.org/practice/systems-</span><span class="invisible">correctness-practices-at-amazon-web-services/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/SystemsCorrectness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SystemsCorrectness</span></a> <a href="https://mastodon.social/tags/AmazonWebServices" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AmazonWebServices</span></a> <a href="https://mastodon.social/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CloudComputing</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/TechTrends" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TechTrends</span></a></p>
Hacker News<p>Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods</p><p><a href="https://queue.acm.org/detail.cfm?id=3712057" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">queue.acm.org/detail.cfm?id=37</span><span class="invisible">12057</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/SystemsCorrectness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SystemsCorrectness</span></a> <a href="https://mastodon.social/tags/AWS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AWS</span></a> <a href="https://mastodon.social/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalMethods</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/TechTrends" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TechTrends</span></a> <a href="https://mastodon.social/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CloudComputing</span></a></p>