# Marrying engineering rigor and scientific rigor for the planet (PROPL 2026) *2026-08-26 — video* Drawing on a decade spent bridging the Earth Science and open-source worlds, I argue that the Earth Science scientific community has much to steal from the computer science and engineering community — specifically, the concept of "rigor" broadly defined at the storage, compute, and science layers of the scientific software stack. We have recently made progress toward increasing rigor at the storage layer with [Icechunk](https://www.earthmover.io/blog/icechunk/), taking inspiration from transactional database systems. We still lack analysis libraries and idioms that make it easy to articulate simple, convenient, and correct expression of complex scientific ideas. We should be doing more to apply reliability and correctness approaches (e.g. property testing) in scientific software. Talk by Deepak Cherian ([Earthmover PBC](https://www.earthmover.io/)) at the [PROPL 2026](https://pldi26.sigplan.org/home/propl-2026) workshop at [PLDI 2026](https://pldi26.sigplan.org/) in Boulder, Colorado on 15th June 2026. Mirror of . Type: Video URL: https://watch.eeg.cl.cam.ac.uk/videos/watch/1b31ad4c-51ba-4be5-8af4-6c0732e34fdd ## Related - [The 3rd Programming for the Planet 2026 videos are available](https://anil.recoil.org/notes/pldi26-propl) (note, 2026-08-28) --- Canonical: https://anil.recoil.org/videos/1b31ad4c-51ba-4be5-8af4-6c0732e34fdd Type: video Tags: propl, plancomp, storage, climate, conference