#icfp2024 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icfp2024, aggregated by home.social.
-
My conference at #ICFP2024 about Bob was just published here: https://www.youtube.com/watch?v=COmi9e7wHtI&ab_channel=ACMSIGPLAN It's a simple tool to transfer files in #OCaml and an #unikernel. It is also an actually portable executable, thanks to #Cosmopolitan. It's available here: https://bob.osau.re/
-
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.