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

After a few intense weeks — first at #icfpsplash25 in Singapore, then four days of interviewing candidates for tenure-track positions as part of the faculty appointment committee (Lärarförslagsnämnd) at the University of Gothenburg — I’m now in Budapest for (mostly) vacation.

Tomorrow (2025-10-27) I’ll give a talk at the local Type Theory Seminar (invited by Ambrus Kaposi). Looking forward to good discussions!
https://bitbucket.org/akaposi/tipuselmelet/src/master/
#Agda #Autumn
I'll make sure to fit in a visit to the Rudas Thermal Bath before the talk https://en.rudasfurdo.hu/ and I've already done a jog around Margaret Island.

the result of the awesome magnet making booth at #icfpsplash25 receptions

Half the trip home from #icfpsplash25 is now done: 9h from SIN, two hours left until touchdown at IST, then some waiting and 3.5h flight home to GOT.
Singapore was an intense experience, but I'm looking forward to a cooler outdoor, and warmer indoor, climate.

Destination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25

Daisy: An Exercise Environment for Learning Information Modeling
Presented by Jessica Belicia Cahyono, joint work with Youyou Cong, Hidehiko Masuhara
#icfpsplash25
https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/Detailed-Table?room=Peony%20NW&date=Sat%2018%20Oct%202025#

It's the last day of #icfpsplash25 and I'll be giving my talk on The Simple Essence of Overloading at 11:45 in Orchid East, joint work with @effects.

I promise the content is simple enough for the last day of the conference :)

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

Reflecting on #icfpsplash25:

1. Unsurprisingly, the FARM folks were all doing great work, but I found much more to engage and people to talk with than I worried might be the case. I’m more enmeshed in PL than I give myself credit for and can see a viable path for research

2. Got to explain live coding to many folks who needed to know about it. Sometimes got to point folks at live code communities _in their own cities_

3. I should be willing to pull my laptop out and demo things spur of the moment more often

4. I enjoyed the LGBTQ+ lunch, but in retrospect I realize that the point wasn’t really the lunch, but rather the opportunity to find the community of “my people,” many of whom would become a big part of my social circle at the conference

not only are there multiple parallel tracks but also there's an official hallway track! #icfpsplash25

My student @redmp killed it with his ECS talk earlier today at OOPSLA! 🥪 #icfpsplash25

Gergő Érdi presenting his Functional Pearl: A Clash Course in Solving Sudoku (Haskell 2025) https://share.google/6jeal4KkgnZGv1J7t
#icfpsplash25

"In the beginning, there was RABBIT." Standing room only for SPJ's keynote talk at the Haskell Symposium #icfpsplash25

I found a rock this week :O #icfpsplash25

I am fully prepared to start bringing up this talk in conversation with irritating regularity: https://conf.researchr.org/details/icfp-splash-2025/paint-2025-papers/5/-Invited-Talk-Notational-Freedom-via-Self-Raising-Diagrams

#icfpsplash25

"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25
#icfpsplash25 https://icfp25.sigplan.org/details/icfp-2025-papers/7/McTT-A-Verified-Kernel-for-a-Proof-Assistant

SHOT OF THE DAY #icfpsplash25

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

Final ICFP keynote on Proof-Carrying Neuro-Symbolic Code by Ekaterina Komendantskaya
#icfpsplash25
https://share.google/G4C1iRyA0qE5m5Mi2
#Agda

if ur at #icfpsplash25 and want a temporary tattoo hmu