#tensorcalculus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tensorcalculus, aggregated by home.social.
-
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-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
-
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-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
-
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-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
-
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-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
-
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-kEeXEPne0ePPwNGFihttps://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
-
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