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

#applicative

0 posts0 participants0 posts today
h o ʍ l e t t<p>→ Quand fragmentation d’Internet rime avec profits<br><a href="https://aoc.media/analyse/2025/02/27/quand-fragmentation-dinternet-rime-avec-profits/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">aoc.media/analyse/2025/02/27/q</span><span class="invisible">uand-fragmentation-dinternet-rime-avec-profits/</span></a></p><p>« Toute une série d’exemples soulignent comment des acteurs du secteur privé, souvent en raison de leurs modèles <a href="https://mamot.fr/tags/%C3%A9conomiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>économiques</span></a>, représentent de véritables défis pour l’unité de l’<a href="https://mamot.fr/tags/Internet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Internet</span></a>, en œuvrant à sa <a href="https://mamot.fr/tags/fragmentation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fragmentation</span></a> aussi bien au niveau des <a href="https://mamot.fr/tags/infrastructures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>infrastructures</span></a> de l’Internet, que de sa couche <a href="https://mamot.fr/tags/applicative" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>applicative</span></a>. »</p><p>« La prise de conscience de ces <a href="https://mamot.fr/tags/menaces" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>menaces</span></a> qui pèsent sur l’unité d’Internet peut nous inciter à <a href="https://mamot.fr/tags/agir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agir</span></a>. »</p><p><a href="https://mamot.fr/tags/d" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>d</span></a></p>
SalarRahmanian :scala: :nixos:<p>It gives me great pleasure to welcome <a href="https://fosstodon.org/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> community's very own :scala: <span class="h-card"><a href="https://functional.cafe/@NicolasRinaudo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>NicolasRinaudo</span></a></span> :scala: to Bay Area Haskell &amp; Functional Programming User Group <a href="https://fosstodon.org/tags/sfhaskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sfhaskell</span></a> with a taik:</p><p>Things that are things, but not other things</p><p>Full Details:</p><p><a href="https://www.meetup.com/bay-area-haskell-user-group/events/291680080" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">meetup.com/bay-area-haskell-us</span><span class="invisible">er-group/events/291680080</span></a></p><p>It will be streamed live online at a timezone friendly time in USA &amp; Europe.</p><p>Hope to see everyone and hear all about <a href="https://fosstodon.org/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> abstractions <a href="https://fosstodon.org/tags/monads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monads</span></a> <a href="https://fosstodon.org/tags/applicative" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>applicative</span></a> <a href="https://fosstodon.org/tags/functors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functors</span></a> <a href="https://fosstodon.org/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> <a href="https://fosstodon.org/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Hyperreal Gopher :debian:<p>I finished the <a href="https://fosstodon.org/tags/monad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monad</span></a> course of the <a href="https://fosstodon.org/tags/fpcourse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fpcourse</span></a> challenge!</p><p><a href="https://github.com/system-f/fp-course" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">github.com/system-f/fp-course</span><span class="invisible"></span></a></p><p>I actually found it to be easier than <a href="https://fosstodon.org/tags/applicative" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>applicative</span></a>.</p><p><a href="https://fosstodon.org/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> </p><p>I might put all my solutions up on <a href="https://fosstodon.org/tags/gist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gist</span></a>.</p>