Lineage first computing: towards a frugal userspace for Linux / Apr 2025
A talk by Michael Dales at the 1st International Workshop on Low Carbon Computing. This was a hybrid event hosted in Glasgow, Scotland, UK, 3 December 2024. See Lineage first computing: towards a frugal userspace for Linux for more information.
talksEmission Impossible: privacy-preserving carbon emissions claims / Apr 2025
This was a talk given by Jessica Man at the 1st International Workshop on Low Carbon Computing. This was a hybrid event hosted in Glasgow, Scotland, UK, 3 December 2024. Due to a blip in the recording, there is no sound in the first two minutes. See Emission Impossible: privacy-preserving carbon emissions claims for more information.
Cooperative Sensor Networks for Long-Term Biodiversity Monitoring / Apr 2025
This was a talk given by Josh Millar at the 1st International Workshop on Low Carbon Computing. This was a hybrid event hosted in Glasgow, Scotland, UK, 3 December 2024. See Cooperative Sensor Networks for Long-Term Biodiversity Monitoring for more information.
Carbon-Aware Name Resolution / Apr 2025
A talk by Ryan Gibb at the 1st International Workshop on Low Carbon Computing. This was a hybrid event hosted in Glasgow, Scotland, UK, 3 December 2024. See Carbon-aware Name Resolution for more information.
Mapping greener futures with planetary computing / Oct 2024
Speaking about how we are trying to balance the food fuel and fibre needs of humans vs nature.
The role of AI in evidence based decision making in conservation actions / Jun 2024
At the CCI speaking about our work on LLMs in analysing conservation literature
Programming for the Planet / May 2024
Planetary computing keynote at LambdaDays 2024, featuring Lambda Man
BBC interview about new Cambridge supercomputer / Nov 2023
An unexpected appearance on the BBC talking about a new supercomputer (Dawn) that was announced at the AI summit
Functional Programming for the Planet / Sep 2023
I gave the opening keynote at ICFP 2023 in Seattle on the topic of planetary computing and how functional programmers might contribute to averting the worst of the climate and biodiversity crises
Leveraging Scientific Innovation and AI to Scale Carbon Markets / Mar 2023
On stage with Jon Pierre of Mantle Labs at the Forestry and Agriculture Summit discussing carbon credits and satellite-driven approaches to calculating additionality and permanence.
A Credible Approach towards Halting Tropical Deforestation / Nov 2022
My Cambridge Computer Lab Wednesday seminar on tropical deforestation and the work we are doing at 4C towards applying computer science towards helping avert the biodiversity and carbon crises.
17th William Pitt Seminar - Who's in Charge? / Nov 2022
In the 17th Pembroke College William Pitt Seminar, I was on stage speaking about climate change and biodiversity, and how we must apply individual agency to take charge rather than relying on governments.
State of the OCaml Platform 2020 / Aug 2020
Next steps for the OCaml Platform in 2020-2021, delivered online due to pandemic
The First Billion Real Deployments of Unikernels / Feb 2020
Part 2 of my distinguished lecture series at St Andrews.
Rebuilding Operating Systems with Functional Principles / Feb 2020
Part 1 of my distinguished lecture series at St Andrews.
Displaying the 15 most recent items out of 41 in total (see all the items).