Tootfinder

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 f…

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

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

#icfpsplash25 ... And now Satnam Singh @… with the first ICFP 2025 keynote.

#icfpsplash25 Journal of Functional Programming leaves Cambridge University Press and becomes "scientist owned".

#icfpsplash25 welcome by Ilya Sergey!

Shin-Cheng Mu's talk on sublist computations. #icfpsplash25
Bottom-up computation using trees of sublists (ICFP 2025 - JFP First Papers) - ICFP 2025 https://share.google/m69wPqFDASztAiCnB

Gergő Érdi presenting his Functional Pearl: A Clash Course in Solving Sudoku (Haskell 2025) #icfpsplash25

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

Fascinating talk on
Type Theory in Type Theory using a Strictified Syntax
Presented by Ambrus Kaposi, joint work with Loïc Pujet.
#icfpsplash25

0:th day of the #icfpsplash25 week starts at NUS School of computing, on Computing Drive. (A glorious tree symbolising all the syntax trees we will see during the week;-)

First PROPL 2025 talk: Bridging disciplinary gaps in climate research.
Presented by Christian Urlea.
#icfpsplash25

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

PROPL - Workshop on Programming for the Planet welcome by Dominic Orchard @… #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