#icfp2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icfp2025, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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