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

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬

The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.

📄 Slides: https://www.cse.chalmers.se/~patrikj/talks/2025-10_Jansson_Tensors.pdf

🎥 Earlier (longer) talk: https://youtu.be/81XurNlv5cw

💻 Code: https://github.com/jyp/linear-smc

📘 Paper: https://doi.org/10.1017/S0956796825000048

#Haskell #FunctionalProgramming #DSLs #TensorCalculus #icfpsplash25