#icfpsplash25
@xvw.lol notes just how complex modern editor tooling is, esp with agentic workflows #icfpsplash25 - he’s also done the coolest OCaml use of effects I’ve seen to help fix this! discuss.ocaml.org/t/ann-an-exp...
October 17, 2025 at 9:05 AM
Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25
October 17, 2025 at 8:32 AM
A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25
October 17, 2025 at 6:21 AM
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 6:02 AM
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 5:47 AM
Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25
October 17, 2025 at 5:44 AM
Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25
October 17, 2025 at 3:32 AM
If you're interested in Oxidised OCaml (OCaml with lifetime features), see the tutorial we ran at @icfp-conference.bsky.social here: gavinleroy.com/oxcaml-tutor.... We could also use your help answering a quiz that will help us develop this further gavinleroy.com/oxcaml-icfp-... #icfpsplash25
Gavin Gray, Anil Madhavapeddy, KC Sivaramkrishnan, Richard Eisenberg, Chris Casinghino, Will Crichton, Shriram Krishnamurthi, Patrick Ferris, Max Slater, Megan Del Vecchio, Diana Kalinichenko, Nadia Razek
gavinleroy.com
October 17, 2025 at 1:37 AM
Just before Zhendong Su’s SPLASH keynote, a timely award: the OOPSLA 2015 most influential paper award goes to Vu Le, Chengnian Sun, and Zhendong Su for “Finding Deep Compiler Bugs via Guided Stochastic Program Mutation”

#icfpsplash25
October 17, 2025 at 1:05 AM
Only at #icfpsplash25 😎
October 16, 2025 at 5:31 AM
This morning we had our 3rd keynote!

Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code

#icfpsplash25
October 15, 2025 at 4:32 AM
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible

#icfpsplash25
October 14, 2025 at 11:46 PM
Machine knitting is computing!

#icfpsplash25
October 14, 2025 at 11:35 PM
A wild paren has appeared! #icfpsplash25
October 14, 2025 at 1:29 AM
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote!

The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
October 14, 2025 at 1:14 AM
Ho. Ly. Smokes. I haven't seen too many tags about #icfpsplash25 over here, but I _gotta_ believe it's because people were too excited and in the moment to be able to stop and microblog about it.

Wowza. What a day. I'm for sure gonna need a double Kopi C to get me going tomorrow morning.
October 13, 2025 at 3:11 PM
Andrés describes the 3 30 300 rule and how he counted every tree in the UK! #icfpsplash25
October 13, 2025 at 2:54 PM
Michael Dales is up speaking about Yirgacheffe, a declarative library for geospatial python dl.acm.org/doi/abs/10.1... #icfpsplash25
October 13, 2025 at 8:53 AM
Aadi Seth is back on stage demonstrating the STACD dataflow pipeline for resource planning #icfpsplash25
October 13, 2025 at 8:22 AM
Our lightning talks session opens with @sadiq.toao.com demonstrating TESSERA, their new geospatial foundation model that is FAIR and global #icfpsplash25
October 13, 2025 at 8:20 AM
Lots of languages in Chinmayi’s talk; climate models in Fortran, with an OCaml static analyser for C to bridge these worlds without losing model fidelity #icfpsplash25
October 13, 2025 at 7:27 AM
Chinmayi breaks down the couplers in climate models to figure out behavioural invariants across them #icfpsplash25
October 13, 2025 at 7:21 AM
Chinmayi Baramashetru on the diverging architectures of climate models and how they could interoperate #icfpsplash25
October 13, 2025 at 7:14 AM