Programming for the Planet
@propl.dev
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/home/icfp-splash-2025/propl-2025
That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...
October 13, 2025 at 2:57 PM
That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...
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
@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25
October 13, 2025 at 8:34 AM
@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25
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
@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
October 13, 2025 at 6:56 AM
@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
@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
October 13, 2025 at 6:51 AM
@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 discussed large-scale collaborative workflows and the importance of them being FAIR dl.acm.org/doi/abs/10.1... #icfpsplash25
October 13, 2025 at 6:47 AM
@neurocy.bsky.social discussed large-scale collaborative workflows and the importance of them being FAIR dl.acm.org/doi/abs/10.1... #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
October 13, 2025 at 6:40 AM
@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
@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
October 13, 2025 at 6:33 AM
@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 up next discussing the essence of scientific programming: what does it even mean? #icfpsplash25
October 13, 2025 at 6:29 AM
@patrick.sirref.org up next discussing the essence of scientific programming: what does it even mean? #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
October 13, 2025 at 6:14 AM
@f.luid.org has self explanatory, transparent text as part of its program execution to help justify claims in prose with supporting data #icfpsplash25
Roly Perera telling us about @f.luid.org which tracks data provenance and enriches web outputs with this richer context #icfpsplash25
October 13, 2025 at 6:06 AM
Roly Perera telling us about @f.luid.org which tracks data provenance and enriches web outputs with this richer context #icfpsplash25
Aadi Seth from IIT-D now telling us about the CoRE stack for rural resilience core-stack.org #icfpsplash25
October 13, 2025 at 5:54 AM
Aadi Seth from IIT-D now telling us about the CoRE stack for rural resilience core-stack.org #icfpsplash25
The first session had an overview of programming challenges in biodiversity, climate science and data management! #icfpsplash25
October 13, 2025 at 5:51 AM
The first session had an overview of programming challenges in biodiversity, climate science and data management! #icfpsplash25