@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
@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...
Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25
October 17, 2025 at 8:32 AM
Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25
A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25
October 17, 2025 at 6:21 AM
A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 6:02 AM
Completely full house for this talk! #icfpsplash25
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 5:47 AM
Completely full house for this talk! #icfpsplash25
Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25
October 17, 2025 at 5:44 AM
Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25
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
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
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
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
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
#icfpsplash25
October 17, 2025 at 1:05 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
#icfpsplash25
This morning we had our 3rd keynote!
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
October 15, 2025 at 4:32 AM
This morning we had our 3rd keynote!
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible
#icfpsplash25
#icfpsplash25
October 14, 2025 at 11:46 PM
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible
#icfpsplash25
#icfpsplash25
October 14, 2025 at 11:35 PM
Then I'm up at ICFP at 1400 in Orchid West discussing our experiences with using OCaml within Docker for the past decade to drive networking and hypervisor functions icfp25.sigplan.org/details/icfp...; read paper at dl.acm.org/doi/10.1145/... #icfpsplash25
Functional Networking for Millions of Docker Desktops (Experience Report) (ICFP 2025 - ICFP Papers) - ICFP 2025
PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at during the in-person conference, providing an opportunity for researchers and developers to hear about the latest work in functional programming.
icfp25.sigplan.org
October 14, 2025 at 2:30 AM
Then I'm up at ICFP at 1400 in Orchid West discussing our experiences with using OCaml within Docker for the past decade to drive networking and hypervisor functions icfp25.sigplan.org/details/icfp...; read paper at dl.acm.org/doi/10.1145/... #icfpsplash25
Two talks today at @icfp-conference.bsky.social; first up is Max Carroll on his awesome work on type-level debugging at HATRA conf.researchr.org/details/icfp... at 1140 in Orchid Small #icfpsplash25
Decomposable Type Highlighting for Bidirectional Type and Cast Systems (HATRA 2025 - Human Aspects of Types and Reasoning Assistants (HATRA 2025)) - ICFP/SPLASH 2025
Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness pr...
conf.researchr.org
October 14, 2025 at 2:28 AM
Two talks today at @icfp-conference.bsky.social; first up is Max Carroll on his awesome work on type-level debugging at HATRA conf.researchr.org/details/icfp... at 1140 in Orchid Small #icfpsplash25
A wild paren has appeared! #icfpsplash25
October 14, 2025 at 1:29 AM
A wild paren has appeared! #icfpsplash25
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote!
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
October 14, 2025 at 1:14 AM
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote!
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
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.
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
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.
Wowza. What a day. I'm for sure gonna need a double Kopi C to get me going tomorrow morning.
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
Andrés describes the 3 30 300 rule and how he counted every tree in the UK! #icfpsplash25
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
Michael Dales is up speaking about Yirgacheffe, a declarative library for geospatial python dl.acm.org/doi/abs/10.1... #icfpsplash25
Aadi Seth is back on stage demonstrating the STACD dataflow pipeline for resource planning #icfpsplash25
October 13, 2025 at 8:22 AM
Aadi Seth is back on stage demonstrating the STACD dataflow pipeline for resource planning #icfpsplash25
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
Our lightning talks session opens with @sadiq.toao.com demonstrating TESSERA, their new geospatial foundation model that is FAIR and global #icfpsplash25
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
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
Chinmayi breaks down the couplers in climate models to figure out behavioural invariants across them #icfpsplash25
October 13, 2025 at 7:21 AM
Chinmayi breaks down the couplers in climate models to figure out behavioural invariants across them #icfpsplash25
Chinmayi Baramashetru on the diverging architectures of climate models and how they could interoperate #icfpsplash25
October 13, 2025 at 7:14 AM
Chinmayi Baramashetru on the diverging architectures of climate models and how they could interoperate #icfpsplash25