#Tag · bonfire.cafe

@sigplanav@mastodon.acm.org · 4 weeks ago

(1/5) We are happy to announce the release of our ICFP/SPLASH'25 coverage totaling over 481 talks and presentations across co-located events: OOPSLA, ICFP, FARM, Doctoral Symposium, Tutorials, FUNARCH, PLMW, SPLASH-E, Onward!, Haskell, Erlang, Scheme, MPLR, LMPL, TyDe, HOPE, ML, HATRA, VMIL, PROPL, OCaml, SAS, miniKanren, WAW, Scala, IWACO, and REBASE!
https://youtube.com/@acmsigplan

X-mas comes early this year: the ICFP 2025 talks are now on YouTube.

You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀

My talk: https://www.youtube.com/watch?v=04cxfddDwuI

Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi

https://mastodon.acm.org/@sigplanav/115667300324636252

cc @sigplanav (https://sigplan.org)

#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming

Patrik Jansson

@patrikja@functional.cafe · 3 weeks ago

SIGPLAN AV

@sigplanav@mastodon.acm.org · 4 weeks ago

X-mas comes early this year: the ICFP 2025 talks are now on YouTube.

My talk: https://www.youtube.com/watch?v=04cxfddDwuI

https://mastodon.acm.org/@sigplanav/115667300324636252

cc @sigplanav (https://sigplan.org)

#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming

Lindsey Kuper

@lindsey@recurse.social · 2 months ago

I'll be chairing the 2026 Haskell Symposium! 🎉

This year at the Haskell Symposium here at ICFP/SPLASH, I noticed a warmth in the room that was decidedly less present in many of the other conference spaces, and it isn't just that those other spaces have the AC on too high. There was a collegiality in how people interacted, and people showed genuine interest in learning about each others' work rather than trying to one-up each other. That's the atmosphere I hope to continue to foster next year.

Lindsey Kuper

@lindsey@recurse.social replied · 2 months ago

If you have ideas on how to make the Haskell Symposium better, please talk with me at the conference or email me. I can't guarantee a response to every message, but I promise to read and think about them for next year.

(Minutes after the announcement was made, one person already asked me if we could switch from two-column to one-column proceedings. I honestly don't know, but I'll look into it!)

#icfpsplash25

Alex Akselrod boosted

Lindsey Kuper

@lindsey@recurse.social · 3 months ago

My PhD student Nathan Liittschwager is about to present our work on observational equivalence of state-based and op-based CRDTs! Fittingly, this paper is in the "Parametricity" session chaired by Phil Wadler! #icfpsplash25

Phil Wadler enthusiastically introduces Nathan's talk at ICFP '25.

Lindsey Kuper

@lindsey@recurse.social · 3 months ago