Lineage first computing: towards a frugal userspace for Linux / Apr 2025 # 15th Apr 2025 / enki, systemsEmission Impossible: privacy-preserving carbon emissions claims / Apr 2025 # 15th Apr 2025 / carbon, policy, security, zkpCooperative Sensor Networks for Long-Term Biodiversity Monitoring / Apr 2025 # 15th Apr 2025 / biodiversity, embedded, esp32, sensorsCarbon-Aware Name Resolution / Apr 2025 # 15th Apr 2025 / dns, networksMapping greener futures with planetary computing / Oct 2024 # 25th Oct 2024 / biodiversity, food, spatial, systemsThe role of AI in evidence based decision making in conservation actions / Jun 2024 # 25th Jun 2024 / ce, ai, biodiversity, conservation, evidence, llmsProgramming for the Planet / May 2024 # 27th May 2024 / biodiversity, cloud, distributed, ocaml, satellite, sensingBBC interview about new Cambridge supercomputer / Nov 2023 # 2nd Nov 2023 / cloud, hpc, interviewFunctional Programming for the Planet / Sep 2023 # 5th Sep 2023 / biodiversity, forests, fp, icfp, keynote, satellite, seattle, sensingLeveraging Scientific Innovation and AI to Scale Carbon Markets / Mar 2023 # 7th Mar 2023 / carboncredits, economics, forests, londonA Credible Approach towards Halting Tropical Deforestation / Nov 2022 # 16th Nov 2022 / carboncredits, economics, forests, satellite, sensing17th William Pitt Seminar - Who's in Charge? / Nov 2022 # 1st Nov 2022 / biodiversity, climate, evidence, pembroke, policy, satelliteState of the OCaml Platform 2020 / Aug 2020 # 28th Aug 2020 / devtools, ocaml, opensourceThe First Billion Real Deployments of Unikernels / Feb 2020 # 26th Feb 2020 / embedded, keynote, mirageos, scotland, systems, unikernelsRebuilding Operating Systems with Functional Principles / Feb 2020 # 26th Feb 2020 / embedded, keynote, mirageos, scotland, systems, unikernelsProgramming the Next Trillion Embedded Devices / Feb 2020 # 26th Feb 2020 / embedded, keynote, mirageos, scotland, systems, unikernelsThe OCaml Platform 1.0 with Reason ML / Dec 2018 # 11th Dec 2018 / devtools, ocamlState of the OCaml Platform / Sep 2017 # 8th Sep 2017 / devtools, icfp, ocaml, opensourceUnikernels: the rise of the library hypervisor in MirageOS / Oct 2016 # 14th Oct 2016 / docker, mirageos, ocaml, systems, unikernels, xenThe functional innards of Docker for Mac and Windows / Jun 2016 # 24th Jun 2016 / docker, mirageos, ocaml, systems, unikernels, xenIan Eyberg, Joshua Bernstein, Anil Madhavapeddy at OSCON in Austin / Jun 2016 # 6th Jun 2016 / fp, interview, mirageos, opensource, oscon, unikernelsUnikernel Systems is now part of Docker / Jan 2016 # 21st Jan 2016 / docker, startups, unikernelsImmutable Distributed Infrastructure with Unikernels / Sep 2015 # 29th Sep 2015 / cloud, distributed, irmin, mirageos, storageThe State of the OCaml Platform / Sep 2015 # 4th Sep 2015 / devtools, ocamlUnikernels: Functional Infrastructure with Mirage OS / May 2015 # 12th May 2015 / california, docker, irmin, mirageos, ocaml, unikernels