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.

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 :)

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