#icfpsplash25 — Public Fediverse posts

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

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

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

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

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

After a few intense weeks — first at #icfpsplash25 in Singapore, then four days of interviewing candidates for tenure-track positions as part of the faculty appointment committee (Lärarförslagsnämnd) at the University of Gothenburg — I’m now in Budapest for (mostly) vacation.

Tomorrow (2025-10-27) I’ll give a talk at the local Type Theory Seminar (invited by Ambrus Kaposi). Looking forward to good discussions!
https://bitbucket.org/akaposi/tipuselmelet/src/master/
#Agda #Autumn
I'll make sure to fit in a visit to the Rudas Thermal Bath before the talk https://en.rudasfurdo.hu/ and I've already done a jog around Margaret Island.

Half the trip home from #icfpsplash25 is now done: 9h from SIN, two hours left until touchdown at IST, then some waiting and 3.5h flight home to GOT.
Singapore was an intense experience, but I'm looking forward to a cooler outdoor, and warmer indoor, climate.

Destination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25

Daisy: An Exercise Environment for Learning Information Modeling
Presented by Jessica Belicia Cahyono, joint work with Youyou Cong, Hidehiko Masuhara
#icfpsplash25
https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/Detailed-Table?room=Peony%20NW&date=Sat%2018%20Oct%202025#

It's the last day of #icfpsplash25 and I'll be giving my talk on The Simple Essence of Overloading at 11:45 in Orchid East, joint work with @effects.

I promise the content is simple enough for the last day of the conference :)

If you have ideas on how to make the Haskell Symposium better, please talk with me at the conference or email me. I can't guarantee a response to every message, but I promise to read and think about them for next year.

(Minutes after the announcement was made, one person already asked me if we could switch from two-column to one-column proceedings. I honestly don't know, but I'll look into it!)

#icfpsplash25

My student @redmp killed it with his ECS talk earlier today at OOPSLA! 🥪 #icfpsplash25

Gergő Érdi presenting his Functional Pearl: A Clash Course in Solving Sudoku (Haskell 2025) https://share.google/6jeal4KkgnZGv1J7t
#icfpsplash25

"In the beginning, there was RABBIT." Standing room only for SPJ's keynote talk at the Haskell Symposium #icfpsplash25

I found a rock this week :O #icfpsplash25

"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25
#icfpsplash25 https://icfp25.sigplan.org/details/icfp-2025-papers/7/McTT-A-Verified-Kernel-for-a-Proof-Assistant

My PhD student Nathan Liittschwager is about to present our work on observational equivalence of state-based and op-based CRDTs! Fittingly, this paper is in the "Parametricity" session chaired by Phil Wadler! #icfpsplash25

Final ICFP keynote on Proof-Carrying Neuro-Symbolic Code by Ekaterina Komendantskaya
#icfpsplash25
https://share.google/G4C1iRyA0qE5m5Mi2
#Agda

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

Paulette @koronkebitch killing it, as usual #icfpsplash25

@koronkebitch on stage: Type Universes as Kripke Worlds
Paulette Koronkevich, William J. Bowman @wilbowma https://share.google/JDllcUFzMifF4mCWS
#icfpsplash25

Fascinating talk on
Type Theory in Type Theory using a Strictified Syntax

Presented by Ambrus Kaposi, joint work with Loïc Pujet.
#icfpsplash25

Some interesting magic with pullbacks:
Fulls Seldom Differ,
Presented by Craig Roy, joint work with
Mark Koch, Alan Lawrence, Conor McBride @pigworker
#icfpsplash25

Session chair @mcoblenz notes that you can't have liquid types in Hazel because it has holes and the liquid types would leak right out through the holes. #TheMoreYouKnow #icfpsplash25

The realest talk of the week is @bhaktishh's talk at HATRA right now #icfpsplash25

Fascinating talk on "Compiling with Generating Functions"
Presented by Jianlin Li, joint work with Yizhou Zhang.
#icfpsplash25