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.
Programming the Next Trillion Embedded Devices / Feb 2020
Part 3 of my distinguished lecture series at St Andrews.
The OCaml Platform 1.0 with Reason ML / Dec 2018
Speaking about the OCaml Platform at the ReasonML meetup hosted by Pusher.
State of the OCaml Platform / Sep 2017
My annual talk at the OCaml Workshop, this time in 2017.
Unikernels: the rise of the library hypervisor in MirageOS / Oct 2016
At DockerCon, speaking to the audience about the integration of unikernels with library hypervisor in order to deliver Docker for Desktop
The functional innards of Docker for Mac and Windows / Jun 2016
At the London Functionals meetup.
Ian Eyberg, Joshua Bernstein, Anil Madhavapeddy at OSCON in Austin / Jun 2016
In this episode of The New Stack Makers, I speak to Alex Williams abot unikernels and Docker.
Unikernel Systems is now part of Docker / Jan 2016
Announcing the acquisition of Unikernel Systems by Docker to the world.
Immutable Distributed Infrastructure with Unikernels / Sep 2015
Invited talk at NetPL 2015 on immutable infrastructure
The State of the OCaml Platform / Sep 2015
Talk at the OCaml Workshop 2015
Unikernels: Functional Infrastructure with Mirage OS / May 2015
At Esper's OCaml Meetup in California speaking about MirageOS and unikernels to a packed room.
Displaying the 25 most recent items out of 41 in total (see all the items)