Michael Dales presents Yirgacheffe, a declarative geospatial library that allows spatial algorithms to be implemented concisely, supports parallel execution, and avoids common errors by automatically handling data (large geospatial rasters) and resources (cores, memory, GPUs).
Anil Madhavapeddy speaks at the Conservation Evidence conference at Pembroke College Cambridge about the choice facing conservation practitioners for the use of open vs blackbox AI.
In this keynote, Anil Madhavapeddy explores how modern AI systems can help make sense of complex, fragmented environmental data — without losing transparency, accountability, or human judgement. Part of the AI4Nature launch launch.
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.
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.
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.
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.
Speaking about how we are trying to balance the food fuel and fibre needs of humans vs nature.
At the CCI speaking about our work on LLMs in analysing conservation literature
Planetary computing keynote at LambdaDays 2024, featuring Lambda Man
An unexpected appearance on the BBC talking about a new supercomputer (Dawn) that was announced at the AI summit
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
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.
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.
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.
Next steps for the OCaml Platform in 2020-2021, delivered online due to pandemic
Part 1 of my distinguished lecture series at St Andrews.
Part 2 of my distinguished lecture series at St Andrews.
Part 3 of my distinguished lecture series at St Andrews.
Speaking about the OCaml Platform at the ReasonML meetup hosted by Pusher.
My annual talk at the OCaml Workshop, this time in 2017.
At DockerCon, speaking to the audience about the integration of unikernels with library hypervisor in order to deliver Docker for Desktop
At the London Functionals meetup.
In this episode of The New Stack Makers, I speak to Alex Williams abot unikernels and Docker.
Announcing the acquisition of Unikernel Systems by Docker to the world.
Invited talk at NetPL 2015 on immutable infrastructure
Talk at the OCaml Workshop 2015
At Esper's OCaml Meetup in California speaking about MirageOS and unikernels to a packed room.
At USENIX NSDI 2015 presenting our Jitsu paper.
Opening speaker at BOB 2015 on functional operating systems
At CodeMesh 2014, talking about personal data management with unikernels
Talking in London at New Directions in Operating Systems
At the Xen Summit explaining how Irmin+MirageOS can build stub domains for Xen hosts
Me slightly nervously talking to a bunch of Haskellers about OCaml modules.
My annual update on the OCaml Platform at ICFP
Randal Schwartz and Simon Phipps interview Anil Madhavapeddy about MirageOS on the FLOSS Weekly podcast (Episode 302)
I talk to Robert Blumen about OCaml and MirageOS on the Software Engineering Radio podcast
Announcing the MirageOS 1.0 release at the Xen Summit 2013
The MirageOS Developer Preview 1 screencast, showing how to initialise and build Unix and Xen kernels.
Announcing the formation of OCaml Labs with Yaron Minsky at ICFP 2012
The OCaml Meeting 2011 talk on MirageOS in France, with full notes in Camel Spotting in Paris
Our experiences with Xen toolstack in OCaml at ICFP 2010
An early tech talk at LinkedIn on MirageOS
The first outing for MirageOS at USENIX HotCloud 2010