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 :

611
comptes actifs

#icfp

0 message0 participant0 message aujourd’hui
Kiran 🏳️‍⚧️<p>For anyone heading to <a href="https://transfem.social/tags/ICFP" rel="nofollow noopener noreferrer" target="_blank">#ICFP</a>/<a href="https://transfem.social/tags/SPLASH" rel="nofollow noopener noreferrer" target="_blank">#SPLASH</a><span> this year!!! Omggg yasss its going to slayyy queen hope you have fun!!! Oh. Btw heres Singapore's benevolent dictator for life, Lee Kuan Yew saying the quiet part out loud~<br><br>For any brown academics heading to SG maybe this year, remember, the country sees you as a scourge~<br><br>Let's hope they don't decide deal with that problem in typical SG fashion (hint: begins with d ends with eath)<br><br>Oh, but don't worry, you're not brown, so it's okay hehe I forgot fuck brown people amiright</span></p>
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>
Andy Wingo<p>🚶‍♂️‍➡️☔️➡️🚇 ➡️🚄 ➡️🚄<br>headed to milan for the scheme workshop! hit me up if you want to hang out! <a href="https://mastodon.social/tags/scheme24" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scheme24</span></a> <a href="https://mastodon.social/tags/icfp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp</span></a></p>
Jesper Agdakx 🔸Arrived in Milan for <a class="hashtag" href="https://agda.club/tag/icfp" rel="nofollow noopener noreferrer" target="_blank">#ICFP</a>!
Panicz Maciej Godek<p>This year's Scheme Workshop program is already up:</p><p><a href="https://icfp24.sigplan.org/home/scheme-2024#program" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">icfp24.sigplan.org/home/scheme</span><span class="invisible">-2024#program</span></a></p><p>I'll be presenting my demo right after <span class="h-card" translate="no"><a href="https://mastodon.social/@wingo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>wingo</span></a></span> 's opening keynote!</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/SchemeWorkshop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SchemeWorkshop</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/GRASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GRASP</span></a></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>
Xavier Góngora<p>Got a demo paper accepted for this year <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>! I'll be demonstrating work-in-progress on a rhythmic pattern manipulation library for <a href="https://social.toplap.org/tags/livecoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>livecoding</span></a> called RTG.[^1]</p><p>I'm stoked to have the opportunity to share my work and meet the FARM and Programming Language research communities at <a href="https://social.toplap.org/tags/ICFP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP</span></a></p><p>Still figuring out how to cover registration costs and looking for accommodation options. If you can spare a couch in Milan, please manifest!</p><p>[^1]: <a href="https://www.github.com/ninioArtillero/RTG" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">github.com/ninioArtillero/RTG</span><span class="invisible"></span></a></p>
Xavier Van de Woestyne<p>This year, ICFP takes place in Europe (Milan) and since 2012, the last day of the conference is dedicated to the <a href="https://merveilles.town/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> Workshop! Here's the link to the announcement! Can't wait to see the talks!</p><p><a href="https://discuss.ocaml.org/t/ocaml-workshop-2024-at-icfp-announcement-and-call-for-proposals/14371" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discuss.ocaml.org/t/ocaml-work</span><span class="invisible">shop-2024-at-icfp-announcement-and-call-for-proposals/14371</span></a></p><p><a href="https://merveilles.town/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://merveilles.town/tags/ICFP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP</span></a></p>
Functional Architecture<p>If you‘re at <a href="https://discuss.systems/tags/icfp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>icfp</span></a> on Friday, don‘t miss the first ACM Workshop on Functional Software Architecture! <a href="https://www.functional-architecture.org/events/funarch-2023/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">functional-architecture.org/ev</span><span class="invisible">ents/funarch-2023/</span></a></p>
blake shaw 🇵🇸<p>An Efficient <a href="https://functional.cafe/tags/Compiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compiler</span></a> for the Gradually Typed <a href="https://functional.cafe/tags/Lambda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lambda</span></a> Calculus<br> - Andre Kuhlenschmidt @ the <a href="https://functional.cafe/tags/Scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scheme</span></a> Workshop for <a href="https://functional.cafe/tags/ICFP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICFP</span></a> 2018 <br><a href="https://www.youtube.com/watch?v=UnWyD1vazAM" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=UnWyD1vazA</span><span class="invisible">M</span></a></p>