Post

PROPL25 is part of the ICFP and SPLASH conferences this year, and is being held in the gorgeous Marina Bay Sands centre in Singapore #icfpsplash25

The first session had an overview of programming challenges in biodiversity, climate science and data management! #icfpsplash25

Aadi Seth from IIT-D now telling us about the CoRE stack for rural resilience core-stack.org #icfpsplash25

Roly Perera telling us about @f.luid.org which tracks data provenance and enriches web outputs with this richer context #icfpsplash25

@f.luid.org has self explanatory, transparent text as part of its program execution to help justify claims in prose with supporting data #icfpsplash25

@patrick.sirref.org up next discussing the essence of scientific programming: what does it even mean? #icfpsplash25

@patrick.sirref.org asks “if the data changes [the results] what about the published conclusions?” (In his case, for forestry data but this applies to any policy questions driven by the results of code running) #icfpsplash25

@patrick.sirref.org shows us a sneak preview of his new “shelter” shell that permits reuse and replay of command fragments to go back and forward in time! #icfpsplash25

@neurocy.bsky.social discussed large-scale collaborative workflows and the importance of them being FAIR dl.acm.org/doi/abs/10.1... #icfpsplash25

@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25

@neurocy.bsky.social arguing for the digital commons as a massive single live program that’s collaboratively edited by thousands of contributors and live updated! A Wikipedia-meets-GitHub-meets-Jupyter #icfpsplash25

Chinmayi Baramashetru on the diverging architectures of climate models and how they could interoperate #icfpsplash25

13/10/25, 7:14 am0 reposts0 likes

Chinmayi breaks down the couplers in climate models to figure out behavioural invariants across them #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

Michael Dales is up speaking about Yirgacheffe, a declarative library for geospatial python dl.acm.org/doi/abs/10.1... #icfpsplash25

Andrés describes the 3 30 300 rule and how he counted every tree in the UK! #icfpsplash25

Our lightning talks session opens with @sadiq.toao.com demonstrating TESSERA, their new geospatial foundation model that is FAIR and global #icfpsplash25