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