Post

The 2nd PROPL is today, and will be livestreaming from www.youtube.com/watch?v=IIRJ... in an hour! Full program here conf.researchr.org/home/icfp-sp... and an overview of the program at dl.acm.org/action/showF...

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

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

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