@patrikja@functional.cafe2025-10-18 06:03:51
Destination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25
@patrikja@functional.cafe2025-10-18 06:03:51
@patrikja@functional.cafe2025-10-18 02:39:13
Daisy: An Exercise Environment for Learning Information Modeling
Presented by Jessica Belicia Cahyono, joint work with Youyou Cong, Hidehiko Masuhara
#icfpsplash25
@patrikja@functional.cafe2025-10-16 08:05:51
Gergő Érdi presenting his Functional Pearl: A Clash Course in Solving Sudoku (Haskell 2025) #icfpsplash25
@patrikja@functional.cafe2025-10-15 01:08:57
Final ICFP keynote on Proof-Carrying Neuro-Symbolic Code by Ekaterina Komendantskaya
#icfpsplash25
https://share.google/G4C1iRyA0qE5m5Mi2
@patrikja@functional.cafe2025-10-13 09:05:54
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
@patrikja@functional.cafe2025-10-14 03:09:41
Fascinating talk on "Compiling with Generating Functions"
Presented by Jianlin Li, joint work with Yizhou Zhang.
#icfpsplash25
@patrikja@functional.cafe2025-10-14 06:50:46
Fascinating talk on
Type Theory in Type Theory using a Strictified Syntax
Presented by Ambrus Kaposi, joint work with Loïc Pujet.
#icfpsplash25
@patrikja@functional.cafe2025-10-14 05:59:58
Some interesting magic with pullbacks:
Fulls Seldom Differ,
Presented by Craig Roy, joint work with
Mark Koch, Alan Lawrence, Conor McBride @…
#icfpsplash25
@patrikja@functional.cafe2025-10-13 01:17:54
#icfpsplash25 ... And now Satnam Singh @… with the first ICFP 2025 keynote.
@patrikja@functional.cafe2025-10-13 01:13:48
#icfpsplash25 Journal of Functional Programming leaves Cambridge University Press and becomes "scientist owned".
@patrikja@functional.cafe2025-10-13 01:06:16
@patrikja@functional.cafe2025-10-13 03:06:09
First PROPL 2025 talk: Bridging disciplinary gaps in climate research.
Presented by Christian Urlea.
#icfpsplash25
@patrikja@functional.cafe2025-10-13 03:13:42
@patrikja@functional.cafe2025-10-12 03:31:28
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;-)
@patrikja@functional.cafe2025-10-15 05:57:12
"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
@patrikja@functional.cafe2025-10-26 14:03:59
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…
@patrikja@functional.cafe2025-10-20 00:31:22
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.