#icfp — Public Fediverse posts

RE: https://mastodon.social/@lobsters/116979205271210262

This year's #ICFP contest problem is so delightful. I wish I had time to participate. I'll probably pick it up later. #programming

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​:Blobhaj_Read_Octopus:​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

@[email protected] Don't mean to brag, but homeboy's getting 8 hours of sleep tonight ​:blobfoxcomfysleepy:​ #icfp

I won 1st place in the #ICFP SRC (undergraduate)

Check out this page for more information: https://marvinborner.de/icfp25.html

Just arrived in #Singapore for the #ICFP (SRC). It's quite humid.

My write-up for #ICFPContest2025:

https://rmathew.com/2025/icfpc25.html

A #fun three days of problem-solving and #programming, but no success – SNAFU. 🤷🏽‍♂️

#ICFPC #ICFPContest #ICFPC25 #Go #GoLang #TheNameOfTheRose #UmbertoEco #AI #ICFP #Plug #WebSite

My submission to ICFP/SPLASH 2025 was rejected ☹️ . Although if I am honest, the reviewer’s reasons for rejecting it makes perfect sense, I can’t disagree with their decision.

The work I am doing on Schemacs really isn’t novel in any way at all, it is just a run-of-the-mill engineering project, everything I do has been done before. I mean, there is no need to invent some new technique to solve an already-solved problem. Not really the kind of thing that makes for a good conference paper. The biggest problem, of course, is that the application isn’t complete yet, so there is not much to share.

Well, my readers here on Mastodon can expect a series of blog posts pretty soon as I re-format my paper for publishing on my blog.

#tech #software #scheme #r7rs #SchemeLang #ICFP #icfpsplash2025 #splash2025

Working on #ICFP revision. Quite impressed with how well latexdiff works.

Anyone know anything about the status of videos from #ICFP ? The ACM SIGPLAN YouTube channel has livestream recordings from the most recent ICFP but no individual videos for talks yet. Mostly wondering since my Haskell Symposium keynote wasn't livestreamed but I was told it was recorded and a video would be posted later.

Requisite disclaimer: I'm not impatient, just curious, and super grateful for all the volunteer effort that goes into making the recordings!

Haskell Implementors Workshop to be co-located with ZuriHac in 2025.

#zurihac #icfp2024 #icfp #haskell

on to lightning talks

#haskelSymposium #icfp2024 #icfp

Craig Ramsay talking about hardware garbage collection.

#haskellSymposium #icfp #icfp2024

Zac Garby talking about calculating compilers.

#haskelSymposium #icfp #icfp2024

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.

https://github.com/augustss/MicroHs.git

#Haskell #icfp #icfp2024 #haskellSymposium

(update: video and slides of the ICFP talk are linked in the GitHub README)

it's comic sans time.

#haskell #ghc #icfp #icfp2024 #haskelSymposium

Pedro Vasconcelos is talking about a small step interpreter for Haskell written in Elm.

https://pbv.github.io/haskelite/site/index.html

#haskell #haskellSymposium #icfp #icfp2024

At the Haskell Symposium, Brent Yorgy is live coding an interpreter, after talking about the joy of inventing languages.

#haskell #haskellSymposium #icfp #icfp2024 @byorgey

@6d03 @vzaliva some workshops seem to be present. For example I'm attending this talk and I found it mentioned here: https://discuss.systems/@funarch/113089466741759313 #ICFP #icfp2024