Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
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!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#splv

0 posts0 participants0 posts today
Komi Golov<p>Got back from <a href="https://mathstodon.xyz/tags/SPLV" class="mention hashtag" rel="tag">#<span>SPLV</span></a> yesterday. A huge thank you to the organisers! It was great, both the lectures and the opportunity to spend some time with like-minded people. I hope I get to run into you all again someday. :)</p><p>As an added bonus, I&#39;m still negative for covid! The school was much better about it than most places I&#39;ve seen, but I was still pretty worried.</p>
Cass Alexandru<p>The Avanti West Coast London -&gt; Glasgow is an absolute joy to work in! the tables are nice bc they're between sets of seats facing each other instead of just being a crappy one you can unfold at the back of the seat in front, and there are ⚡ sockets.<br>I may or may not be finishing up slides for my lightning talk at <a href="https://types.pl/tags/SPLV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SPLV</span></a> <br><a href="https://spli.scot/splv/2024-strathclyde/lightning.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">spli.scot/splv/2024-strathclyd</span><span class="invisible">e/lightning.html</span></a></p>
MSP Group<p>Call For Sponsorship: <a href="https://mastodon.acm.org/tags/SPLV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SPLV</span></a> 2024</p><p>We are organising the 2024 Scottish <a href="https://mastodon.acm.org/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> and <a href="https://mastodon.acm.org/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> Summer School!</p><p>Industry support is welcomed. Please see below for how your company can help us.</p><p><a href="https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">scottish-pl-institute.github.i</span><span class="invisible">o/splv/2024-strathclyde/call-for/sponsorship/</span></a></p><p>General registration will be opening soon!</p>
blake shaw 🇵🇸<p>A Technical History of <a href="https://functional.cafe/tags/Compiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compiler</span></a> <a href="https://functional.cafe/tags/IR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IR</span></a>(s): Michel Steuwer for <a href="https://functional.cafe/tags/SPLV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SPLV</span></a> 2020</p><p><a href="https://www.youtube.com/watch?v=MNHsabf9CLs" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=MNHsabf9CL</span><span class="invisible">s</span></a></p>
SearchLive feeds
About