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