mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.7K
active users

#languagespecification

0 posts0 participants0 posts today
Bob Collins<p><a href="https://fosstodon.org/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> has a new path to create a formal language specification for <a href="https://fosstodon.org/tags/syntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>syntax</span></a> and <a href="https://fosstodon.org/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a>.</p><p>Ferrous Systems is donating their work on a language specification to the rust project and the wider community. </p><p><a href="https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">rustfoundation.org/media/ferro</span><span class="invisible">us-systems-donates-ferrocene-language-specification-to-rust-project/</span></a></p><p><a href="https://fosstodon.org/tags/languagespecification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>languagespecification</span></a><br><a href="https://fosstodon.org/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a> <br><a href="https://fosstodon.org/tags/ferroussystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ferroussystems</span></a><br><a href="https://fosstodon.org/tags/ferrocene" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ferrocene</span></a></p>