#icfp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icfp, aggregated by home.social.
-
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 -
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 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 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 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 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.
-
on to lightning talks
-
Craig Ramsay talking about hardware garbage collection.
-
Zac Garby talking about calculating compilers.
-
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.
-
Pedro Vasconcelos is talking about a small step interpreter for Haskell written in Elm.
-
At the Haskell Symposium, Brent Yorgy is live coding an interpreter, after talking about the joy of inventing languages.
-
@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
-
-
Now, Patrick Bahr on calculating compilers. problem: when compiling to continuation passing code, code is duplicated.
-
-
@vzaliva indeed. the quality of the coffee is often lacking at conferences. not so here!
-
I just heard a talk about ownership region constraints in Rust. Sounds like there are presheaves (on distributive lattices?) hiding in there somewhere.
-
-
Hello #fediverse ! I asking for your help. I'm looking for someone willing to share a spare #couch in #Milan for the nights of August 30 and 31.
The reason is that I'll be arriving early for this year's @farm and #ICFP, and my arranged accommodation until September 1st.
PS: I like cleaning and cooking 😁, but might as well be out all day exploring the city 🤠
-
I am pleased to let y'all know that I will be giving a presentation about #GRASP 's visual stepper during this year's #SchemeWorkshop in Milan, Italy
-
-
This year's #ICFPContest was really nice (https://icfpcontest2024.github.io/) – reminded me of the classics from 2006 and 2007. Bravo!
The organizers have already released the full source-code and docs (https://github.com/icfpcontest2024/icfpc2024).
-
#CallForPapers #ICFP #ICFP2024 , International Conference on #FunctionalProgramming : "seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries" #fp https://icfp24.sigplan.org/track/icfp-2024-papers#Call-for-Papers
