~/talk

Programming for the planet

Talkat ICFP 2023 · 2023-09-04..09-09· [data-engineering, software-architecture]
slides:none on file

A reproducible pipeline built in OCaml (the urrent DSL) composes satellite inputs, Dockerized science scripts and Python wrappers into traceable dataflows, runs over terabytes of satellite data from hundreds of sensors, and adds a self‑adjusting incremental engine for low‑latency updates. Applied to Sierra Leone’s Gola project it computes 2.2% additionality by matching controls with 50–100 covariates, detects leakage and permanence, surfaces epoch/versioning drift in source products, and yields interactive UIs — a working system already enabling repeatable conservation analyses.

AI-written summary · about

  1. 0:00Introduction
  2. 1:47Research for planetary crises
  3. 6:18Rainforest health with satellites
  4. 14:22Additionality leakage permanence
  5. 22:06Functional programming for ecology
  6. 32:57Pipeline for biodiversity metrics
  7. 41:01Data versioning for satellites
  8. 51:53Academic research challenges
  9. 56:24Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.