2025-11-27 18:54:17
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: