https://watch.eeg.cl.cam.ac.uk/videos/watch/1b31ad4c-51ba-4be5-8af4-6c0732e34fdd Marrying engineering rigor & scientific rigor for the planet (Video, PROPL 2026) Deepak Cherian (Earthmover PBC) Abstract: Drawing on a decade spent bridging the Earth Science & open-source worlds, I argue that the Earth Science scientific community has much to steal from the computer science & 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, 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. At the workshop, I am keen to explore any of these ideas with the group in the room. Presentation at the PROPL 2026 workshop, June 15, 2026, https://pldi26.sigplan.org/home/propl-2026 Sponsored by ACM SIGPLAN. Fri, 28 Aug 2026 12:03:38 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://watch.eeg.cl.cam.ac.uk https://watch.eeg.cl.cam.ac.uk/client/assets/images/icons/icon-1500x1500.png https://watch.eeg.cl.cam.ac.uk/videos/watch/1b31ad4c-51ba-4be5-8af4-6c0732e34fdd All rights reserved, unless otherwise specified in the terms specified at https://watch.eeg.cl.cam.ac.uk/about and potential licenses granted by each content's rightholder.