Brent Yorgey<p>At <a href="https://mathstodon.xyz/tags/icfp2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp2024</span></a> Zubin Duggal (<a href="https://well-typed.com/people/zubin/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">well-typed.com/people/zubin/</span><span class="invisible"></span></a>) showed me this picture from a new Operations Control Center for part of Delhi's Metro system. Apparently the system status display on the giant screens is rendered with the Haskell diagrams EDSL!</p>
Recherches récentes
Aucune recherche récente
Options de recherche
Disponible uniquement lorsque vous êtes connecté.
mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.
Administré par :
Statistiques du serveur :
594comptes actifs
mastouille.fr: À propos · Annuaire des profils · Politique de confidentialité
Mastodon: À propos · Télécharger l’application · Raccourcis clavier · Voir le code source · v4.3.4
#icfp2024
0 message · 0 participant · 0 message aujourd’hui
Björn Gohla<p>Lennart Augustsson presents MicroHs, which compiles a decent subset of current Haskell to combinator graphs. And its output runs anywhere you have a C compiler.</p><p><a href="https://github.com/augustss/MicroHs.git" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/augustss/MicroHs.gi</span><span class="invisible">t</span></a></p><p><a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/icfp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp</span></a> <a href="https://mathstodon.xyz/tags/icfp2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp2024</span></a> <a href="https://mathstodon.xyz/tags/haskellSymposium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskellSymposium</span></a></p>
Guillaume Munch-Maccagnoni<p>The story of linear type systems <a href="https://mathstodon.xyz/tags/icfp2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp2024</span></a></p>
Patrik Jansson<p>Now on my way to the <a href="https://functional.cafe/tags/ICFP2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP2024</span></a> conference in Milan, Italy.</p>
Xavier Góngora<p>Hello <a href="https://social.toplap.org/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fediverse</span></a> ! I asking for your help. I'm looking for someone willing to share a spare <a href="https://social.toplap.org/tags/couch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>couch</span></a> in <a href="https://social.toplap.org/tags/Milan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Milan</span></a> for the nights of August 30 and 31.</p><p>The reason is that I'll be arriving early for this year's <span class="h-card" translate="no"><a href="https://mastodon.art/@farm" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>farm</span></a></span> and <a href="https://social.toplap.org/tags/ICFP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP</span></a>, and my arranged accommodation until September 1st.</p><p>PS: I like cleaning and cooking 😁, but might as well be out all day exploring the city 🤠 </p><p><a href="https://social.toplap.org/tags/couchsurfing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>couchsurfing</span></a> <a href="https://social.toplap.org/tags/italy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>italy</span></a> <a href="https://social.toplap.org/tags/icfp2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp2024</span></a></p>
Panicz Maciej Godek<p>I am pleased to let y'all know that I will be giving a presentation about <a href="https://functional.cafe/tags/GRASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GRASP</span></a> 's visual stepper during this year's <a href="https://functional.cafe/tags/SchemeWorkshop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SchemeWorkshop</span></a> in Milan, Italy</p><p><a href="https://functional.cafe/tags/Scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scheme</span></a> <a href="https://functional.cafe/tags/ICFP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP</span></a> <a href="https://functional.cafe/tags/ICFP2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP2024</span></a></p>
ExplorerFlux en direct
Mastodon est le meilleur moyen de suivre ce qui se passe.
Suivez n'importe qui à travers le fédivers et affichez tout dans un ordre chronologique. Ni algorithmes, ni publicités, ni appâts à clics en perspective.
Créer un compteSe connecterGlissez et déposez pour envoyer