https://crank.recoil.org/about/instance/homehttps://crank.recoil.org/videos/browse?scope=localhttps://crank.recoil.org/w/sdN2nFHJcELp57UxFiTa3yhttps://crank.recoil.org/lazy-static/thumbnails/d456e4bc-bce6-45ad-9d2e-102f834ec400.jpgRebuilding Operating Systems with Functional Principles | Dr Anil Madhavapeddy (Lecture 1)Functional Foundations for Operating Systems Dr. Anil Madhavapeddy is a University Lecturer at the Cambridge Computer Laboratory, and a Fellow of Pembroke College where he is Director of Studies for Computer Science. He has worked in industry (NetApp, Citrix, Intel), academia (Cambridge, Imperial, UCLA) and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he directs the OCaml Labs research group which delves into the intersection of functional programming and systems, and is a maintainer on many open source projects such as OpenBSD, OCaml, Xen and Docker. Lecture 1: Rebuilding Operating Systems with Functional Principles The software stacks that we deploy across computing devices in the world are based on shaky foundations. Millions of lines of C code crammed into monolithic operating system kernels, mixed with layers of scheduling logic, wrapped in a hypervisor, and served with a dose of nominal security checking on the side. In this talk, I will describe an alternative approach to constructing reliable, specialised systems with a familiar developer experience. We will use modular functional programming to build several services such as a secure web server that have no reliance on conventional operating systems, and explain how to express their logic in a high level, functional fashion. By the end of it, everyone in the audience should be able to build their own so-called unikernels!https://crank.recoil.org/static/streaming-playlists/hls/d456e4bc-bce6-45ad-9d2e-102f834ec400/91bdb2a4-8499-4a01-8270-fc52a8561309-master.m3u8https://crank.recoil.org/videos/embed/sdN2nFHJcELp57UxFiTa3y38450162021-02-16T11:11:50.520ZSt AndrewsSt Andrews UniversityUni of St AndrewsUniversity of St AndrewsYESanilNOhttps://crank.recoil.org/w/nSbrvm1EECurVQTNu7227Bhttps://crank.recoil.org/lazy-static/thumbnails/b11188ba-0f97-4ec4-b372-fa3cea0821ab.jpgState of the OCaml Platform 2020This talk covers: - Integrated Development Environments - Next Steps for the OCaml Platform - Plans for 2020-2021https://crank.recoil.org/static/streaming-playlists/hls/b11188ba-0f97-4ec4-b372-fa3cea0821ab/68dec3d3-5cd5-440b-8ba5-d4bce34d1dbd-master.m3u8https://crank.recoil.org/videos/embed/nSbrvm1EECurVQTNu7227B3600042021-02-16T13:05:53.106Zocaml2020icfpocamlYESanilNOhttps://crank.recoil.org/w/pu7uLgyWRmZckYjspZ9Yfchttps://crank.recoil.org/lazy-static/thumbnails/be2f049b-174a-4e5b-b30e-0319793487c7.jpgMirage: A New Multi-Scale Operating System for Clouds and Crowds (2014)ABSTRACT Applications run on all kinds of environments these days: multicore desktops, virtual cloud infrastructures, smart-phones, and web browsers. These diverse environments make it worth rethinking the long-term future of our software stacks; do we really want to continue bundling gigabytes of general-purpose OS software with every single cloud image? Is there any point holding onto decades-old interfaces such as POSIX any more? I will introduce Mirage, a new operating system built in the statically type-safe OCaml functional language. Mirage compiles high-level functional source code directly into a variety of targets such as: (i) small microkernels that run directly on the "bare-metal" Xen hypervisor; (ii) Javascript for web browsers; or (iii) embedded ARM devices; and of course normal operating systems such as Linux. Mirage provides a consistent, simple programming API across all of these diverse backends, which makes it a powerful foundation for constructing safe, complex distributed systems across a heterogeneous set of modern compute resources such as mobile devices or cloud computing infrastructure. Also, it's just plain fun programming in OCaml :-) BIOGRAPHY Dr. Anil Madhavapeddy is a Senior Research Fellow at Wolfson College Cambridge based in the Systems Research Group, investigating programming models for cloud computing. Dr. Madhavapeddy was on the original team at Cambridge that developed the Xen hypervisor, and subsequently served as the senior architect and product director for XenSource/Citrix before returning to academia. Prior to obtaining his PhD in 2006 from the University of Cambridge, Dr. Madhavapeddy had a diverse background in industry at Network Appliance, NASA, and Internet Vision. In addition to professional and academic activities, Dr. Madhavapeddy is an active member of the open source development community with the OpenBSD operating system, a member of the steering committee for Commercial Uses of Functional Programm...https://crank.recoil.org/static/streaming-playlists/hls/be2f049b-174a-4e5b-b30e-0319793487c7/f8524ada-0f6e-4827-a38d-6ca76f3d8696-master.m3u8https://crank.recoil.org/videos/embed/pu7uLgyWRmZckYjspZ9Yfc3102052021-02-16T13:58:38.061ZYESanilNOhttps://crank.recoil.org/w/vk8nRDbToYzChFj8zSkokdhttps://crank.recoil.org/lazy-static/thumbnails/ed84b2eb-1b93-4dc3-b746-63a4af13d4ea.jpgHaskell 2014: Keynote, Anil Madhavapeddy, UniKernels: Functional Operating System DesignHaskell Symposium @ ICFP 2014. Gothenburg, Sweden.https://crank.recoil.org/static/streaming-playlists/hls/ed84b2eb-1b93-4dc3-b746-63a4af13d4ea/d42ee4b4-b97d-4cb4-8cd1-4fae49052c65-master.m3u8https://crank.recoil.org/videos/embed/vk8nRDbToYzChFj8zSkokd3600022021-02-16T14:37:14.955ZObjective Caml (Software)YESanilNOhttps://crank.recoil.org/w/pMyJ1ENrsTFbVmNngkQRkzhttps://crank.recoil.org/lazy-static/thumbnails/c09ed36f-6ad5-4254-a0ce-3ca3398f38a3.jpgThe First Billion Real Deployments of Unikernels | Dr Anil Madhavapeddy (Lecture 2)Functional Foundations for Operating Systems Dr. Anil Madhavapeddy is a University Lecturer at the Cambridge Computer Laboratory, and a Fellow of Pembroke College where he is Director of Studies for Computer Science. He has worked in industry (NetApp, Citrix, Intel), academia (Cambridge, Imperial, UCLA) and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he directs the OCaml Labs research group which delves into the intersection of functional programming and systems, and is a maintainer on many open source projects such as OpenBSD, OCaml, Xen and Docker. Unikernels offer a path to a more sane basis for driving applications on hardware, but will they ever be adopted for real? For the past fifteen years, an intrepid group of adventurers have been developing the MirageOS application stack in the OCaml programming language. Along the way, it has been deployed in many unusual industrial situations that I will describe in this talk, starting with the Docker container stack, then moving onto the Xen hypervisor that drives billions of servers worldwide. I will explain the challenges of using functional programming in industry, but also the rewards of seeing successful deployments quietly working in mission-critical areas of systems software.https://crank.recoil.org/static/streaming-playlists/hls/c09ed36f-6ad5-4254-a0ce-3ca3398f38a3/ddc33857-e9c6-4f17-88e6-adf31ca55f43-master.m3u8https://crank.recoil.org/videos/embed/pMyJ1ENrsTFbVmNngkQRkz40870122021-02-16T15:54:04.806ZSt Andrews UniversityUni of St AndrewsSt AndrewsUniversity of St AndrewsYESanilNOhttps://crank.recoil.org/w/5ZHhJoY1bHP7yVWdsHVLpFhttps://crank.recoil.org/lazy-static/thumbnails/287364fa-b59c-4b9f-812d-d81cc0c992a5.jpgProgramming the Next Trillion Embedded Devices | Dr Anil Madhavapeddy (Lecture 3)Functional Foundations for Operating Systems Dr. Anil Madhavapeddy is a University Lecturer at the Cambridge Computer Laboratory, and a Fellow of Pembroke College where he is Director of Studies for Computer Science. He has worked in industry (NetApp, Citrix, Intel), academia (Cambridge, Imperial, UCLA) and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he directs the OCaml Labs research group which delves into the intersection of functional programming and systems, and is a maintainer on many open source projects such as OpenBSD, OCaml, Xen and Docker. The unikernel approach of compiling highly specialised applications from high-level source code is perfectly suited to programming the trillions of embedded devices that are making their way around the world. However, this raises new challenges from a programming language perspective: how can we run on a spectrum of devices from the very tiny (with just kilobytes of RAM) to specialised hardware? I will describe the new frontier of functional metaprogramming (programs which generate more programs) that we are using to compile a single application to many heterogenous devices, and a Git-like model to coordinate across thousands of nodes. I will conclude with by motivating the need for a next-generation operating system to power new exciting applications such as augmented and virtual reality in our situated environments, and remove the need for constant centralised coordination via the Internet.https://crank.recoil.org/static/streaming-playlists/hls/287364fa-b59c-4b9f-812d-d81cc0c992a5/e6c52079-66c7-44cb-a757-d0e22ecfd3bf-master.m3u8https://crank.recoil.org/videos/embed/5ZHhJoY1bHP7yVWdsHVLpF4368042021-02-16T16:51:37.618ZUniversity of St AndrewsSt AndrewsUni of St AndrewsSt Andrews UniversityYESanilNOhttps://crank.recoil.org/w/9mDHHx9VoUZFdpoC5TYDLVhttps://crank.recoil.org/lazy-static/thumbnails/43ab3ae0-9ffc-474f-aa02-3cc1139f54d1.jpgUsing Functional Programming within an Industrial Product Group: Perspectives and Perceptionsby David Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLANhttps://crank.recoil.org/static/streaming-playlists/hls/43ab3ae0-9ffc-474f-aa02-3cc1139f54d1/140a0b66-49d2-44e9-86b6-06b6500ce5f0-master.m3u8https://crank.recoil.org/videos/embed/9mDHHx9VoUZFdpoC5TYDLV1236042021-02-16T16:14:16.340ZYESanilNOhttps://crank.recoil.org/w/dofG6ipxUovA48zQoefN6Phttps://crank.recoil.org/lazy-static/thumbnails/644914a5-a40b-4ef7-bb17-cea43c95dd09.jpgCodemesh 2014: Nymote: Git Your Own Cloud HereNymote: Git Your Own Cloud Here codemesh.io/codemesh2014/anil-madhavapeddy The Mirage OS is an open-source library operating system that compiles modular code written in the OCaml functional language into a variety of hardware backends, most notably specialized unikernels that run directly on the Xen hypervisor, but also JavaScript or Unix binaries. Mirage is particularly useful for building safe, reliable OS components such as storage or networked daemons. Since the release of Mirage 2.0 this summer, we’ve been using it to self-host our personal Internet presences. Instead of having to manage complex deployments such as a LAMP stack (with the associated security headaches), Mirage offers the opportunity to “compile your own cloud” from a set of protocol libraries. This is an educational experience that you miss out on if using a hosted PaaS, and you also gain the freedom of running your own infrastructure and federating via open protocols such as XMPP. In this talk, I’ll walk you through how my our homepage infrastructure works, and how to replicate it yourself to regain control of your Internet presence. The DNS and HTTP servers run as separate unikernels on the cloud, and are coordinated via the Irmin storage stack which uses Git as its communications protocol. The deployment simply uses the Travis continuous integration tool to commit the entire kernel to Git (e.g.), so you can get started very quickly using Linux, FreeBSD, OpenBSD or MacOS X.https://crank.recoil.org/static/streaming-playlists/hls/644914a5-a40b-4ef7-bb17-cea43c95dd09/3caebc5c-769a-4b57-aa19-5a3df0426b12-master.m3u8https://crank.recoil.org/videos/embed/dofG6ipxUovA48zQoefN6P2670012021-02-16T19:07:16.369ZYESanilNOhttps://crank.recoil.org/w/byv7DsbyihNZWD9f22tSmahttps://crank.recoil.org/lazy-static/thumbnails/55852136-843d-4043-98e7-6b46c6d39b01.jpgUnikernels: Functional Infrastructure with Mirage OSAnil Madhavapeddy talks about some new developments in MirageOS at Esper's OCaml Meetup. The talk covers OCaml Unikernels, a tutorial about operating system aspects, a walkthrough of the TLS stack, Jitsu, Bitcoin Pinata, and more.https://crank.recoil.org/static/streaming-playlists/hls/55852136-843d-4043-98e7-6b46c6d39b01/b800e8ac-64c7-4cd3-8f35-6a25aaf185cb-master.m3u8https://crank.recoil.org/videos/embed/byv7DsbyihNZWD9f22tSma3814052021-02-17T10:03:33.640ZocamlInfrastructure (Industry)Objective Caml (Software)esperYESanilNOhttps://crank.recoil.org/w/imNqhbi2kxGZXaDwR33aushttps://crank.recoil.org/lazy-static/thumbnails/8c92d6cf-3e05-429f-8c8e-094f77be61c6.jpgIan Eyberg, Joshua Bernstein, Anil Madhavapeddy at OSCON in AustinIn this episode of The New Stack Makers, The New Stack Founder Alex Williams spoke with Defer Panic Founder Ian Eyberg, Joshua Bernstein, Vice President of Technology at EMC, and Anil Madhavapeddy, Unikernel Systems Founder and a member of Docker’s technical staff to get the latest information surrounding using unikernels to simplify one’s toolchain, clearing away some of the smoke-and-mirrors behind ‘containers as a service,’ and understanding the limitations of the cloud.https://crank.recoil.org/static/streaming-playlists/hls/8c92d6cf-3e05-429f-8c8e-094f77be61c6/96298987-1810-445a-81bd-efc210545ac2-master.m3u8https://crank.recoil.org/videos/embed/imNqhbi2kxGZXaDwR33aus2297052021-02-17T12:00:03.329ZOSCON Austin 2016unikernelsOSCONThe New StackDevOpsYESanilNOhttps://crank.recoil.org/w/t9weTLUHmUua9EaUGJSKc9https://crank.recoil.org/lazy-static/thumbnails/dbd7546a-95d8-40af-b286-3cf930767682.jpgLDN Functionals #7 Anil Madhavapeddy: The functional innards of Docker for Mac and WindowsAnil Madhavapeddy, Engineer at Docker and a Professor in the Computing lab at Cambridge University, giving a talk on The Functional innards of Docker when running on Mac and Windows.https://crank.recoil.org/static/streaming-playlists/hls/dbd7546a-95d8-40af-b286-3cf930767682/31cb2c6b-5323-4673-8dd7-aac89ccea871-master.m3u8https://crank.recoil.org/videos/embed/t9weTLUHmUua9EaUGJSKc91741032021-02-17T13:24:25.809ZDockerOCamlLondonFunctional ProgrammingFunctional WorksYESanilNOhttps://crank.recoil.org/w/gvqeBgzkVJALtbNp7vAccYhttps://crank.recoil.org/lazy-static/thumbnails/7d949597-b864-4ada-ab1a-81ff8c0463e2.jpgOCaml Meeting 2011 - MirageOSMirage is an open-source operating system for constructing secure, high-performance, reliable network applications across a variety of cloud computing platforms. OCaml code can be developed on a normal OS such as Linux and then compiled into a fully-standalone, specialised OS kernel that runs under the Xen hypervisor (and in the future, KVM or VMWare). Mirage is based around the OCaml language, with syntax extensions and libraries that are easy to use during development, and map directly into operating system constructs when being compiled for production deployment.https://crank.recoil.org/static/streaming-playlists/hls/7d949597-b864-4ada-ab1a-81ff8c0463e2/8c7a8679-b3f1-4d6d-b7c6-5cfa2e5fe482-master.m3u8https://crank.recoil.org/videos/embed/gvqeBgzkVJALtbNp7vAccY1837062021-02-17T10:36:38.845ZYESanilNOhttps://crank.recoil.org/w/ppci5HbXP8AuRhcYUWuwiohttps://crank.recoil.org/lazy-static/thumbnails/bd7f41a1-c93e-436b-8599-7dd8b85a3be8.jpgThe OCaml Platform (2014)OCaml Workshop @ ICFP 2014. Gothenburg, Sweden.https://crank.recoil.org/static/streaming-playlists/hls/bd7f41a1-c93e-436b-8599-7dd8b85a3be8/b54fad5c-4564-46ea-8002-e52334be3a35-master.m3u8https://crank.recoil.org/videos/embed/ppci5HbXP8AuRhcYUWuwio1887022021-02-17T10:36:45.749ZObjective Caml (Software)YESanilNOhttps://crank.recoil.org/w/tmHodFhLz8cr9XT7po7F1Khttps://crank.recoil.org/lazy-static/thumbnails/dd8b1f58-c43c-4422-9963-d3a980529e57.jpgOUD 2012: Towards an OCaml Platform and Introducing OCaml LabsO'Caml Users and Developers Workshop @ ICFP 2012. Yaron Minsky: Towards an OCaml Platform.https://crank.recoil.org/static/streaming-playlists/hls/dd8b1f58-c43c-4422-9963-d3a980529e57/922c7bb8-c6f6-4aa0-89e9-89459045c15f-master.m3u8https://crank.recoil.org/videos/embed/tmHodFhLz8cr9XT7po7F1K855012021-02-17T10:36:49.868ZYESanilNOhttps://crank.recoil.org/w/kCktGpdESwbHWjUx4dPeiThttps://crank.recoil.org/lazy-static/thumbnails/b93026d7-aa88-4687-baac-cd3961118a40.jpgpassive-spidermanpassive-spidermanhttps://crank.recoil.org/static/streaming-playlists/hls/9ef069e9-0aee-4c51-87c3-e09625711f99/7b40d203-d251-4f58-b0fe-47ee51e26c9f-master.m3u8https://crank.recoil.org/videos/embed/kCktGpdESwbHWjUx4dPeiT10042021-08-12T08:12:16.395ZYESdaves_cornerNOhttps://crank.recoil.org/w/ehpbBzvbtqFGUw7oJCWDvNhttps://crank.recoil.org/lazy-static/thumbnails/00ed3f1c-a43b-4e56-b3d7-6adf5be243f7.jpgspinnerspinnerhttps://crank.recoil.org/static/streaming-playlists/hls/6b90fd6b-b88a-4bab-8943-371776dcda64/52332a48-1751-4a6f-a96f-2da38d1ed341-master.m3u8https://crank.recoil.org/videos/embed/ehpbBzvbtqFGUw7oJCWDvN180122021-08-12T08:12:39.162ZYESdaves_cornerNOhttps://crank.recoil.org/w/dQJdkxboiaftnjqBoVb991https://crank.recoil.org/lazy-static/thumbnails/7121f803-8cf3-4c75-948f-8789dbaeaa6e.jpgthrowthrowhttps://crank.recoil.org/static/streaming-playlists/hls/67fb611f-42d0-43b2-9961-93b2b7425750/86e554c7-7373-4b62-8cab-6cd2aee9d707-master.m3u8https://crank.recoil.org/videos/embed/dQJdkxboiaftnjqBoVb9918072021-08-12T08:12:57.382ZYESdaves_cornerNOhttps://crank.recoil.org/w/vTMZSTJRVcrwPakGKzMn5phttps://crank.recoil.org/lazy-static/thumbnails/ea164f56-3f1b-408b-aa4e-969296de98fe.jpgwmap-plasmawmap-plasmahttps://crank.recoil.org/static/streaming-playlists/hls/f2144cf5-16ee-4373-8a81-e5b8b2263f6b/c149475b-cf1b-4e36-b0b0-14f10e0d5a44-master.m3u8https://crank.recoil.org/videos/embed/vTMZSTJRVcrwPakGKzMn5p40072021-08-12T08:13:31.511ZYESdaves_cornerNOhttps://crank.recoil.org/w/wUYVpTvKUHNWrJAWTCBU42https://crank.recoil.org/lazy-static/thumbnails/0d5e1cca-4d75-42c1-a3d1-c974f160816a.jpgwmap-projectorwmap-projectorhttps://crank.recoil.org/static/streaming-playlists/hls/fa57ea22-6158-4143-b533-24bd439e0717/6200c09d-02aa-439c-8bd4-0c9bbfe3884a-master.m3u8https://crank.recoil.org/videos/embed/wUYVpTvKUHNWrJAWTCBU42500122021-08-12T08:14:13.321ZYESdaves_cornerNOhttps://crank.recoil.org/w/rfmwPmobRK5gJ112VJaxAohttps://crank.recoil.org/lazy-static/thumbnails/18c53c65-c019-4ad6-8c55-e783dfdb05d9.jpgpassive-crumpled-throwpassive-crumpled-throwhttps://crank.recoil.org/static/streaming-playlists/hls/cc75883b-379e-467b-81ca-736a13671f8e/e8a54123-e572-4f59-a4dd-852ea55d202d-master.m3u8https://crank.recoil.org/videos/embed/rfmwPmobRK5gJ112VJaxAo15072021-08-12T08:14:29.512ZYESdaves_cornerNOhttps://crank.recoil.org/w/upPXtZhYXSjjhxjgBBUeykhttps://crank.recoil.org/lazy-static/thumbnails/43ec39fd-4de7-43ea-bea3-95f65bf16d20.jpgaudionotesaudionoteshttps://crank.recoil.org/static/streaming-playlists/hls/e6138b22-483c-4158-8393-4e60c39ab217/bfff8649-e07c-4176-a1c3-85e186761d02-master.m3u8https://crank.recoil.org/videos/embed/upPXtZhYXSjjhxjgBBUeyk850112021-08-12T16:01:09.925ZYESdaves_cornerNOhttps://crank.recoil.org/w/roU4dcJ3qX4W4gK4oqKSVghttps://crank.recoil.org/lazy-static/thumbnails/5da298dc-fe5a-41c0-baa5-caa81d4d8950.jpglocationlocationhttps://crank.recoil.org/static/streaming-playlists/hls/cda6e8e1-6f64-4f6f-aab0-8dc615836a51/d742a4b4-c5a1-4695-b6b5-cebaf9c3e46d-master.m3u8https://crank.recoil.org/videos/embed/roU4dcJ3qX4W4gK4oqKSVg190202021-08-12T16:01:50.485ZYESdaves_cornerNOhttps://crank.recoil.org/w/qFmRhAKRLv92zZqMj5jXBZhttps://crank.recoil.org/lazy-static/thumbnails/e6626d2e-bf08-44bf-905b-b7933b0f9b0a.jpgauthenticationauthenticationhttps://crank.recoil.org/static/streaming-playlists/hls/c7da2f1a-1ae5-4c54-aaf7-4b6fed6c2773/e6e8994e-78e9-451b-a91e-4926c132eb13-master.m3u8https://crank.recoil.org/videos/embed/qFmRhAKRLv92zZqMj5jXBZ620102021-08-12T16:02:18.396ZYESdaves_cornerNOhttps://crank.recoil.org/w/wxAp1Dazb61VZTtRKj1bMhhttps://crank.recoil.org/lazy-static/thumbnails/87ee9954-0efd-41ae-b83a-d6e155c2532f.jpgtelephonetelephonehttps://crank.recoil.org/static/streaming-playlists/hls/f75b6a17-1dbb-450c-8938-8b5bcbd9896a/3d3843ec-3e64-4125-a705-b50b36b653d8-master.m3u8https://crank.recoil.org/videos/embed/wxAp1Dazb61VZTtRKj1bMh535272021-08-12T16:02:35.304ZYESdaves_cornerNOhttps://crank.recoil.org/w/rD2kzgXZUzavw8boqkxSKshttps://crank.recoil.org/lazy-static/thumbnails/b4435a1c-74a6-49a9-a2c7-e355ebafa1a8.jpgMirage OS XAPI project updateThe creation of the Linux Foundation Labs Xen Project has been a big step forward for the Xen hypervisor community. But the Xen hypervisor isn_t the only project that_s been accepted into the Linux Foundation: The Xapi Project is the umbrella project for the open development of the Xapi Toolstack, the set of software that powers XenServer and XCP. In this talk a status update for the project will be given, discussing therelationship between the Xapi project and the newly forming XenServer development community and the convergence of XCP and XenServer. The use of libraries and technology co-developed with the Mirage project will be highlighted. Mirage is a unikernel that allows us to build applications which can be compiled to very diverse environments: the same code can be linked to run as a regular Unix app, relinked to run as a FreeBSD kernel module, and also linked into a self-contained kernel which can run on the Xen hypervisor. Since the talk last year, we have developed around 40 new libraries that implement significant stub domain functionality; vchan, blkfront/netfront that compile in UNIX *and* Xen with similar interfaces, a message switch that coordinates fault-tolerant communication, and an interactive fbdev. In a nutshell, it makes moving to stub domains practical where previously it was for single VM appliances. As part of this effort, we have also identified several possible improvements in hypervisor interfaces. We would also like to announce the first 1.0 public release here! http://events.linuxfoundation.org/events/xen-project-developer-summit/program/schedulehttps://crank.recoil.org/static/streaming-playlists/hls/cf9fcf6b-de5d-4a23-a00d-cceadea5b668/ff55325a-b44a-4431-b9be-5807b8888e8a-master.m3u8https://crank.recoil.org/videos/embed/rD2kzgXZUzavw8boqkxSKs2068032021-08-15T14:32:35.864Zopen source conferencesLinux conferencesopen source eventstech eventsLinux eventsYESanilNOhttps://crank.recoil.org/w/io3MC34YNEJb1NfsSETm6fhttps://crank.recoil.org/lazy-static/thumbnails/669f61f8-5cb1-4892-ba48-23f3ef828e94.jpgMaking of AvoThis film takes a look behind the scenes of Playdeo’s first title, Avo. Avo is the story of a young inventor, Billie, and the avocado she’s brought to life. This behind-the-scenes film features the stars and makers of Avo, and takes a look at the inventive production and technology that went into producing the world's first mystery-loving avocado. "Groundbreaking 'playable TV'...we get the feeling that this is just the beginning." Apple, 2019 Making of Avo credits: Producer/Editor - Ruby Bell Behind the Scenes Cinematographer - Nurri Kim Sound Recordist - Tom Fisher Composer/Sound Designer - Graham Hadfieldhttps://crank.recoil.org/static/streaming-playlists/hls/8cbf6ffc-89ff-4cb6-bdd5-9b9525f8c318/23e9c6f8-e8f7-4c96-af65-75a7ae874764-master.m3u8https://crank.recoil.org/videos/embed/io3MC34YNEJb1NfsSETm6f3540192021-11-18T22:48:45.869ZYESNick's Archive ChannelNOhttps://crank.recoil.org/w/m44Z5xBo4BgZUmTpUXSGkbhttps://crank.recoil.org/lazy-static/thumbnails/9c2d590b-b16c-4aa1-8843-ae238cedb616.jpg17th William Pitt Seminar - Who's in Charge?Chaired by Professor Emily Shuckburgh, Director of Cambridge Zero, the 17th annual Pembroke College William Pitt Seminar asked – ‘Who’s in charge?’ The question, originally devised some months ago, seemed presciently apposite as Kwasi Kwarteng resigned on the day of the seminar, although the Seminar was in fact focusing its gaze on our precious and fragile climate. Not long after the seminar, we have seen the end of the shortest Premiership in British Prime Ministerial history. Each of our speakers presented the case for who they thought was in charge, and perhaps who ought to be, to save our fragile planet. The speakers were: • Professor Anil Madhavapeddy, Professor of Planetary Computing and Pembroke Fellow • Mr Greg Jackson, CEO and Founder of Octopus Energy • Professor David Cope, former Director of the Parliamentary Office of Science and Technology (1998 - 2012) and a Foundation Fellow at Clare Hall The 17th William Pitt Seminar is organised by the Pembroke Corporate Partnership Programme. The focus of the Programme's activities this year has been on environmental engagement and leadership, with a special focus in particular on how organisations can respond to the climate crisis. 00:00:03 - Welcome from Lord Smith, Master of Pembroke 00:05:36 - Introduction by Professor Emily Schuckburgh 00:12:39 - Professor Anil Madhavapeddy 00:32:46 - Professor David Cope 00:52:13 - Greg Jackson 01:08:44 - General discussionhttps://crank.recoil.org/static/streaming-playlists/hls/a26475b5-c169-478e-b88e-be5cd1f2aff8/85005c0c-c0c7-414e-9856-ee81703ea917-master.m3u8https://crank.recoil.org/videos/embed/m44Z5xBo4BgZUmTpUXSGkb6051592022-11-05T20:11:38.746ZCambridge UniversityPembroke CollegePembroke College CambridgeUniversity of CambridgeYESanilNOhttps://crank.recoil.org/w/8cSBjtmXn2LygTu9g5WHTuhttps://crank.recoil.org/lazy-static/thumbnails/7a48a905-5d5b-41a9-abd1-4eb3b46d0f2f.jpgStable Diffusion prompt weight experimentA quick experiment to animate a prompt weight changing over time. In this case, I'm using a StableDiffusion v1.5 base, trained on my face with DreamBooth. Prompt: "closeup portrait of (nickludlam:0.4), 1889, in full military garb, oil on canvas by william sidney mount, trending on artstation" X/Y Plot set to "Prompt S/R", and a value of "(nickludlam:0.4),(nickludlam:0.45),(nickludlam:0.5),(nickludlam:0.55),(nickludlam:0.6),(nickludlam:0.65),(nickludlam:0.7),(nickludlam:0.73),(nickludlam:0.77),(nickludlam:0.8),(nickludlam:0.82),(nickludlam:0.84),(nickludlam:0.86),(nickludlam:0.88),(nickludlam:0.9),(nickludlam:0.92),(nickludlam:0.94),(nickludlam:0.96),(nickludlam:0.98),(nickludlam:1.0),(nickludlam:1.04),(nickludlam:1.08),(nickludlam:1.12),(nickludlam:1.16)" This creates a series of images that semi-smoothly increases the weight of my own face. https://crank.recoil.org/static/streaming-playlists/hls/3a585748-f3d5-47ac-bd14-c3565bfc247e/a758c8b7-9ead-4371-919e-2de675694d86-master.m3u8https://crank.recoil.org/videos/embed/8cSBjtmXn2LygTu9g5WHTu4052022-12-05T17:15:32.621ZstablediffusionmlYESExperimentsNOhttps://crank.recoil.org/w/2nw1fAfcyioE5xgGmhxavGhttps://crank.recoil.org/lazy-static/thumbnails/e66ca757-2fb7-4dd0-a637-f7e6d65e3b0f.jpgAvo Episode One PlaythroughThis is a recording of someone playing through the first episode of Playdeo's first game "Avo".https://crank.recoil.org/static/streaming-playlists/hls/0b1a3fa8-2b0b-41ad-b866-a3d444ecbfd6/50df6632-ad07-499a-baaa-e078908a0ff7-master.m3u8https://crank.recoil.org/videos/embed/2nw1fAfcyioE5xgGmhxavG125062023-05-11T10:37:35.693ZYESNick's Archive ChannelNOhttps://crank.recoil.org/w/hRVkxfahZUKzXwZLm9zpPYhttps://crank.recoil.org/lazy-static/thumbnails/606eea72-7d70-4f45-b721-d929d63afae9.jpgPeregrine chick#3 post rescue on the churchThis is the third Cambridge peregrine falcon chick, after being rescued from a crash landing after fledging, and then placed back on the CUP building roof.https://crank.recoil.org/static/streaming-playlists/hls/888a8886-c33f-448c-8553-4b48c2c0eac2/b2f144ce-77fa-465e-97b5-ad974330e172-master.m3u8https://crank.recoil.org/videos/embed/hRVkxfahZUKzXwZLm9zpPY19542023-06-06T16:13:31.356ZYESanilNOhttps://crank.recoil.org/w/1DAmQHh5u9nT2T3RWNu1Fqhttps://crank.recoil.org/lazy-static/thumbnails/7642db8e-bc51-4d48-b24f-86605beccd39.jpgPeregrine falcon chick #1 on the Pembroke roofThis is the first of the Cambridge peregrine falcons to fledge. After crash landing in the St Botolphs churchyard, he was placed back up on the roof of the CUP building and he proceeding to float over to Pembroke college where he hung out for a few hours until his mom fed him.https://crank.recoil.org/static/streaming-playlists/hls/053fb1b4-d9e0-4bdc-b119-39326d90f62e/881bc438-f178-40b8-873d-1a9a199e961b-master.m3u8https://crank.recoil.org/videos/embed/1DAmQHh5u9nT2T3RWNu1Fq255102023-06-06T16:15:27.467ZYESanilNOhttps://crank.recoil.org/w/7E4nUtNcyAyGzsmbjzQRmbhttps://crank.recoil.org/lazy-static/thumbnails/ec4f01dd-88bf-452b-84fe-7ce76b2320e3.jpgFirst Tech Challenge UK championshipFootage from the robot elimination tournament! The tournament brings together young people from across the country to compete with their robots and be judged for a series of industry awards. It’s a fantastic opportunity to see how we’re using technology for good - empowering young people from all backgrounds with the technical knowledge and soft skills to thrivehttps://crank.recoil.org/static/streaming-playlists/hls/35e72d41-9eea-48b8-b29a-6309e59de8c6/686cd9ab-0844-4f0c-8a58-e8997b839744-master.m3u8https://crank.recoil.org/videos/embed/7E4nUtNcyAyGzsmbjzQRmb22572023-06-23T14:19:21.503ZYESanilNOhttps://crank.recoil.org/w/jMqpdGnw5Tuf5sLVr6zpNUhttps://crank.recoil.org/lazy-static/thumbnails/25f9f1c9-26a2-4cfa-85d1-a0a0d23dbe61.jpgICFP23 Keynote: Functional Programming for the PlanetAs simultaneous crises in emissions and biodiversity sweep the planet, computer systems that analyse the complex interplay of our globe’s health are ever more crucial to guiding policy decisions about how to get out of the mess we’re in. In this talk, I examine how functional programming can contribute to building systems that are more resilient, predictable and reproducible in the face of huge amounts of input data (such as from satellites and ground sensing) that demands precise access control (or else poachers and malicious actors go straight to the source) and requires interactive exploration from non-CS-experts at different levels of the software stack (to do climate science). I will also highlight how our ongoing cross-disciplinary research is having real impact on conservation projects that are sorely underserved by current systems/PL infrastructure, and also how we went about forging these links. I hope to encourage some of you into forming your own local collaborations with your colleagues working on the climate crisis! See https://icfp23.sigplan.org/details/icfp-2023-icfp-keynotes/50/Programming-for-the-planethttps://crank.recoil.org/static/streaming-playlists/hls/981c00b5-32c0-4cac-a387-6c945dfa9934/8585eb0d-ccd9-4d4c-b711-941ab1d95f68-master.m3u8https://crank.recoil.org/videos/embed/jMqpdGnw5Tuf5sLVr6zpNU368752282023-10-08T11:20:16.153ZYESanilNOhttps://crank.recoil.org/w/phTdvA9rbn3xabRuBtGuCXhttps://crank.recoil.org/lazy-static/thumbnails/38cf9edf-e5d2-4253-827e-29a537f41b57.jpgFinancing Forests: A Credible Approach towards Halting Tropical Deforestation (CUCL Wednesday sem...The rate of tropical deforestation is continuing to increase, and with it comes an enormous loss of biodiversity and natural resources. Ideally we need a massive number of new conservation projects that will provide alternatives to deforestation in the regions worst affected in the tropical equatorial belt. How can we figure out where to focus our efforts, and to verify their progress? I will discuss how we are using satellite remote sensing to construct a global view of tropical rainforests, and to measure the effectiveness of conservation interventions from a viewpoint of the additionality gained vs natural forest dynamics, the tracking of leakage due to negative externalities, and the permanence of resulting changes. We use these measurements to build up a quantitative model of the conservation efforts that share common baselines globally, and then combine with qualitative metrics such as biodiversity, local livelihood and justice to build up a complete project assessment that can be used as the basis for trustworthy, verifiable carbon credits. I will also discuss the computer science challenges required to build this infrastructure: the need for planetary scale computations, the need for digital permanence so projects can be tracked over decades, and the need for decentralised trust to operate globally. https://talks.cam.ac.uk/talk/index/185282 https://www.cl.cam.ac.uk/seminars/wednesday/video/https://crank.recoil.org/static/streaming-playlists/hls/bc9da6fc-9419-4f18-9db9-c13b1a4a859f/d4981615-b4ea-4312-8716-7bb6927238cc-master.m3u8https://crank.recoil.org/videos/embed/phTdvA9rbn3xabRuBtGuCX3289072023-10-08T11:25:06.549ZYESanilNOhttps://crank.recoil.org/w/2sdxRQEVieJJe4x6ZoEqwNhttps://crank.recoil.org/lazy-static/thumbnails/5dc1dac4-678d-43bb-9023-d55bcb572ed8.jpgBOB 2015 Keynote: Towards Functional Operating SystemsKeynote at BOB 2015: Towards Functional Operating Systems The current state of the art in the security of networked system is an absolute disaster, with buffer overflows and logical flaws regularly exposing critical infrastructure to external attack. Mirage proposes a radically different way to deploy safer Internet applications. Rather than the traditional OS model where functionality is provided in layers, building up from a feature-rich kernel through userspace and language runtimes, Mirage progressively specialises application code written in OCaml, replacing traditional OS components such as the filesystem, network stack and scheduler, with type-safe libraries. This allows you to code using your usual tools, only making the final push to the cloud once you are happy your code works. The end result is that your application becomes a “unikernel”: a sealed, fixed-purpose bootable image that runs directly on the Xen hypervisor without need for a guest OS such as Linux. As unikernels only link in the libraries explicitly required by the application code, rather than having to include all the functionality that might ever be requested by a running process, they are very compact: the complete self-hosting Mirage web server image is less than a megabyte in size! In this talk, I’ll explain how the OCaml module system enables the construction of such large scale OS software, and also the resulting portability benefits: the talk will be given from a low-power ARM board running Mirage, and the same logic can also be compiled into JavaScript, kernel modules or Unix binaries. Finally, I’ll show some of the open-source ecosystem that has built around Mirage, such as a clean-slate OCaml TLS stack and the Irmin branch-consistent Git-like datastore. Anil Madhavapeddy Dr. Anil Madhavapeddy leitet die OCaml-Labs-Gruppe an der Universität Cambridge in England. Er ist Architekt, Autor, Organisator und Manager gleich einer ganzen Reihe von Software- und Hardware-Pro...https://crank.recoil.org/static/streaming-playlists/hls/0bc235e0-b154-4cbf-a84a-61240f16d60a/5c434be6-41d7-461c-a39a-bb4d1e1ecb90-master.m3u8https://crank.recoil.org/videos/embed/2sdxRQEVieJJe4x6ZoEqwN3277002023-10-08T11:50:10.889Zbob2015bobkonfmirageunikernelocamlYESanilNOhttps://crank.recoil.org/w/sqz5jdE9RW7WPDUoH8tpXmhttps://crank.recoil.org/lazy-static/thumbnails/7b9903ea-ab8b-406c-b731-57218d42f7f3.jpgNetPL 2015: Immutable Distributed Infrastructure with UnikernelsSlides: https://drive.google.com/open?id=0BxF8GAdhXovPR3MxOWtyMFZ0MTQhttps://crank.recoil.org/static/streaming-playlists/hls/d5fbd6a4-bef2-4fbc-9d02-cb9935e50d8e/a20d5cbe-7a8e-4156-ab85-2ca5d8be1946-master.m3u8https://crank.recoil.org/videos/embed/sqz5jdE9RW7WPDUoH8tpXm2421032023-10-08T12:07:33.286ZYESanilNOhttps://crank.recoil.org/w/9HyofXtd7Qqf51QrrzMGRThttps://crank.recoil.org/lazy-static/thumbnails/88ef4f7c-60a5-4237-adf7-597e9e6ea7bf.jpgJitsu: Just-in-Time Summoning of Unikernels (new directions in operating systems)A wonderful get together for New Directions in Operating Systems over at http://operatingsystems.io!https://crank.recoil.org/static/streaming-playlists/hls/46968fa0-e5bd-4df8-98e1-3cf88d9b31e5/772d78d4-0428-49f3-9df4-7c03d4c117e2-master.m3u8https://crank.recoil.org/videos/embed/9HyofXtd7Qqf51QrrzMGRT2085042023-10-08T12:13:54.356ZMirageunikernelMirageOSunikernelsYESanilNOhttps://crank.recoil.org/w/qQFiqB8MfacN6mu8msFRN7https://crank.recoil.org/lazy-static/thumbnails/e8feb951-38f6-4b7c-9668-827e1b26bc5d.jpgMirageOS 2.0: branch consistency for Xen Stub DomainsWe have been developing a new storage system designed specifically for unikernels such as MirageOS that run in a stub-domain environment. In this mode, domains only have access to raw device rings such as Blkfront, and no ""real"" filesystem. Our new Irminsule filesystem builds on the principles of Git to give every unikernel the same primitives as a distributed version control systems. Unikernels can attach to shared block devices and pull, merge and push trees of blobs with other unikernels. Conflicts are resolved at the application level via merge functions defined specifically for the usecase at hand, and consistency models can be tailored to reduce the conventional overheads of general purpose filesystems. Our use is to rewrite OXenstored, resulting in all transactions being reflected as a Git tree, making debugging complex deployments much more tractable and distributed Originally form https://www.youtube.com/watch?v=4Wt5VB86XGwhttps://crank.recoil.org/static/streaming-playlists/hls/c9273fa0-802f-4d2b-8f0d-db383943564e/e39e05e3-0ed5-410e-8f1e-85c9b234c8d5-master.m3u8https://crank.recoil.org/videos/embed/qQFiqB8MfacN6mu8msFRN71997032023-10-08T12:21:35.494ZYESanilNOhttps://crank.recoil.org/w/9kULeNH5SyWaN1kcZhnQgLhttps://crank.recoil.org/lazy-static/thumbnails/405dde6d-00c8-4892-8b1a-1c7aad0ca14b.jpgOCaml 2014: The OCaml Platform v1.0OCaml Workshop @ ICFP 2014. Gothenburg, Sweden. Originally from https://www.youtube.com/watch?v=jxhtpQ5nJHghttps://crank.recoil.org/static/streaming-playlists/hls/4390c1d0-ed4f-4c01-9e10-dab2a3faed7a/ac1bf9a8-0991-4c09-887d-a4d9ff2930c0-master.m3u8https://crank.recoil.org/videos/embed/9kULeNH5SyWaN1kcZhnQgL1887552023-10-08T12:22:53.994ZocamlYESanilNOhttps://crank.recoil.org/w/6SghMi46akj1ZqbfpTrvEuhttps://crank.recoil.org/lazy-static/thumbnails/a15c631b-bc43-4fe2-8407-36e1468370ec.jpgState of the OCaml PlatformState of the OCaml Platformhttps://crank.recoil.org/static/streaming-playlists/hls/2f824dde-e112-4f4f-890d-1825572ea1c4/c1b4a71c-416d-46b6-ab7e-a09d6be1e422-master.m3u8https://crank.recoil.org/videos/embed/6SghMi46akj1ZqbfpTrvEu1871002023-10-08T12:24:54.569ZOCaml 2017OCaml PlatformICFPYESanilNOhttps://crank.recoil.org/w/9YmWNZrmGD2794Fk33djUphttps://crank.recoil.org/lazy-static/thumbnails/c9a712a2-b8d2-4eb2-8464-e8edf96e9118.jpgBBC report on the new Cambridge supercomputer ("Dawn") announced at the 2023 AI SummitWith Paul Calleja and Anil Madhavapeddyhttps://crank.recoil.org/static/streaming-playlists/hls/48a7ab10-3f49-4978-a00f-c26b64c2cae7/51df35f8-0813-4edd-8b43-8efff6bbce23-master.m3u8https://crank.recoil.org/videos/embed/9YmWNZrmGD2794Fk33djUp17954122023-11-02T20:23:07.095ZYESanilNOhttps://crank.recoil.org/w/cKeW17tQPLr2eMnfWgETRzhttps://crank.recoil.org/lazy-static/thumbnails/9bf339dc-6179-4607-9955-aa51e94afef1.jpgHello Little Printer, available 2012An archive of the original Little Printer launch video hosted on Vimeo at https://vimeo.com/32796535 The original text reads: Little Printer lives in your home, bringing you news, puzzles and gossip from your friends. Use your smartphone to set up subscriptions and Little Printer will gather them together to create a timely, beautiful mini-newspaper. For more see: https://bergcloud.com/littleprinter/ The announcement: https://bergcloud.com/2011/11/29/announcing-little-printer-and-berg-cloud/https://crank.recoil.org/static/streaming-playlists/hls/5f1e17ba-e274-4a48-b362-bb28975afe07/eeda3b5d-df1e-41d1-9b44-2dbdf445da54-master.m3u8https://crank.recoil.org/videos/embed/cKeW17tQPLr2eMnfWgETRz116062023-11-30T22:26:34.756ZYESNick's Archive ChannelNOhttps://crank.recoil.org/w/skm6e8kgpa9a9Pg8SbPrrAhttps://crank.recoil.org/lazy-static/thumbnails/5c9e18ee-3cf4-4a32-b52a-a3cef90d7208.jpgEpisode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml LanguageRobert talks to Dr. Anil Madhavapeddy of the Cambridge University (UK) Systems research group about the OCaml language and the Mirage cloud operating system, a microkernel written entirely in OCaml. The outline includes: history of the evolution from dedicated servers running a monolithic operating system to virutalized servers based on the Xen hypervisor to micro-kernels; […] Originally from https://se-radio.net/2014/05/episode-204-anil-madhavapeddy-on-the-mirage-cloud-operating-system-and-the-ocaml-language/ and mirrored from https://www.youtube.com/watch?v=ZYGWDpIS5UEhttps://crank.recoil.org/static/streaming-playlists/hls/d5411e25-7845-41e8-b3ec-ab3c33ce13c8/98bfeeb1-5f5c-4936-9f72-33ea9f5bbe8d-master.m3u8https://crank.recoil.org/videos/embed/skm6e8kgpa9a9Pg8SbPrrA3936002024-04-13T17:36:58.130ZembeddedengineeringdevelopmentconcurrencyarchitectureYESanilNOhttps://crank.recoil.org/w/cta3NVgas6jwYn4Wcvij6Fhttps://crank.recoil.org/lazy-static/thumbnails/baa12d9a-3c25-4947-b59c-5dfe26868407.jpgFLOSS Weekly 302: Open MirageHosts: Randal Schwartz and Simon Phipps. Mirage OS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Dr. Anil Madhavapeddy is a Senior Research Fellow at the University of Cambridge, where he leads the $5m OCaml Labs industry/academia initiative. He conducts research on using modern programming languages to improve the reliability of complex real-world systems, primarily via the Mirage OS project. Guests: Dr. Anil Madhavapeddy Download or subscribe to this show at http://twit.tv/floss. Originally from https://www.youtube.com/watch?v=jgJwA73uqTghttps://crank.recoil.org/static/streaming-playlists/hls/5cdf2eef-9053-428e-b8b3-ab5ae274c129/de7ee7b1-98e5-4438-8312-f76f8e5116b8-master.m3u8https://crank.recoil.org/videos/embed/cta3NVgas6jwYn4Wcvij6F3220012024-04-13T17:47:57.426ZsoftwarehardwareTech NewsTechnologyTWiTYESanilNOhttps://crank.recoil.org/w/ri2YvBLjpz8YF1CUp3GfPVhttps://crank.recoil.org/lazy-static/thumbnails/64e82e80-eb24-476b-9c11-467188933e91.jpgXenstore TNG, using the Irmin databaseBooting Xen virtual machines using the Irmin (https://github.com/mirage/irmin) database. Recorded by Dave Scott (http://dave.recoil.org)https://crank.recoil.org/static/streaming-playlists/hls/ccd553ca-7c02-484c-b2c1-d403b19d4193/3365f7ee-4100-458c-83f3-c4e5c71ee5d8-master.m3u8https://crank.recoil.org/videos/embed/ri2YvBLjpz8YF1CUp3GfPV32022024-04-13T18:32:10.412ZYESanilNOhttps://crank.recoil.org/w/f871KMoUzohCJPUhywACEohttps://crank.recoil.org/lazy-static/thumbnails/db4c4681-9922-40d4-8044-e2a520511867.jpgUnikernels: the rise of the library hypervisor in MirageOS-- Docker is an open platform for developers and system administrators to build, ship and run distributed applications. With Docker, IT organizations shrink application delivery from months to minutes, frictionlessly move workloads between data centers and the cloud and can achieve up to 20X greater efficiency in their use of computing resources. Inspired by an active community and by transparent, open source innovation, Docker containers have been downloaded more than 700 million times and Docker is used by millions of developers across thousands of the world’s most innovative organizations, including eBay, Baidu, the BBC, Goldman Sachs, Groupon, ING, Yelp, and Spotify. Docker’s rapid adoption has catalyzed an active ecosystem, resulting in more than 180,000 “Dockerized” applications, over 40 Docker-related startups and integration partnerships with AWS, Cloud Foundry, Google, IBM, Microsoft, OpenStack, Rackspace, Red Hat and VMware.https://crank.recoil.org/static/streaming-playlists/hls/725dda70-b12b-4b1a-a8ae-fa9c22683ff2/f2c085ba-edd2-44e9-9ca4-17ca895f6386-master.m3u8https://crank.recoil.org/videos/embed/f871KMoUzohCJPUhywACEo1899072024-04-13T18:34:22.431ZcontainersdockermirageosunikernelsYESanilNOhttps://crank.recoil.org/w/bHmfuPQarXsw1Vf5WAzDYUhttps://crank.recoil.org/lazy-static/thumbnails/2944a083-84f7-43a6-88f8-b53d2c67bc72.jpgMirageOS Part 1: Installation on MacOSXThis gets you started with MirageOS development by installing the OPAM package manager using Homebrew. OPAM handles all the libraries required by MirageOS, and provides a Git-based workflow to make it easy to control your development environment.https://crank.recoil.org/static/streaming-playlists/hls/56c15c53-24b9-46b9-9d3d-79d56f255720/3339b4a0-03ea-4f4b-b7fe-fbb9f809abaa-master.m3u8https://crank.recoil.org/videos/embed/bHmfuPQarXsw1Vf5WAzDYU84002024-04-13T18:35:19.543ZOS X (Operating System)UnikernelMirageOSYESanilNOhttps://crank.recoil.org/w/aCrH2Er96hwHQzMFwHW8f9https://crank.recoil.org/lazy-static/thumbnails/a70834df-859a-422b-a494-89813404a71c.jpgMirageOS Part 2: Hello World on MacOSXThis takes you through compiling up a couple of unikernels (a hello world one, and a static webserver) under MacOS X. This shows the basic development environment using familiar tools.https://crank.recoil.org/static/streaming-playlists/hls/4df8ddcc-8bda-4ff7-bc47-f66203ba2530/f862663a-60bc-49bf-8ac9-b8af9cfebd28-master.m3u8https://crank.recoil.org/videos/embed/aCrH2Er96hwHQzMFwHW8f9186002024-04-13T18:35:47.662ZSoftware (Industry)OS X (Operating System)UnikernelYESanilNOhttps://crank.recoil.org/w/nUa9dhCCM7PMG1AtXQHasQhttps://crank.recoil.org/lazy-static/thumbnails/e8d42579-47fa-43dd-9e9b-789b9f89febd.jpgMirageOS Part 3: Building Xen unikernels on UbuntuMirageOS Part 3: Building Xen unikernels on Ubuntuhttps://crank.recoil.org/static/streaming-playlists/hls/b15838ba-d376-4c1d-899b-209a0541eee0/21a35cab-e6ec-48b9-a270-8255258aed45-master.m3u8https://crank.recoil.org/videos/embed/nUa9dhCCM7PMG1AtXQHasQ155002024-04-13T18:36:14.034ZUnikernelSoftware (Industry)Xen (Software)YESanilNOhttps://crank.recoil.org/w/4Jg3kpQnEiDnNGfaPANE6Yhttps://crank.recoil.org/lazy-static/thumbnails/fc3ec7f5-9c59-4be4-9694-40c7a1d2640a.jpgMirageOS Part 4: Git development using OPAMMirageOS Part 4: Git development using OPAMhttps://crank.recoil.org/static/streaming-playlists/hls/1e31ec57-2c92-4821-8008-b850e49fc7a2/99ba1351-bbc7-4f32-87aa-a9311d8234c1-master.m3u8https://crank.recoil.org/videos/embed/4Jg3kpQnEiDnNGfaPANE6Y228002024-04-13T18:36:46.668ZSoftware (Industry)unikernelGit (Software)YESanilNOhttps://crank.recoil.org/w/fAeyogLZ6VyDC2HCsj8wcChttps://crank.recoil.org/lazy-static/thumbnails/e41bfe6f-a115-4ce1-b1a6-d2c1c8bcf5f9.jpgMirage Developer Preview 1 screencastShowing how to initialise and build Unix and Xen Mirage kernels.https://crank.recoil.org/static/streaming-playlists/hls/762795c5-9f3b-499b-a054-b2af37d1ddd2/fc4910e1-f3b9-424f-805c-b6482fbadacf-master.m3u8https://crank.recoil.org/videos/embed/fAeyogLZ6VyDC2HCsj8wcC226032024-04-13T18:37:17.361ZcloudocamlxenYESanilNOhttps://crank.recoil.org/w/6nS89WEKh1wsQhoJkMMS8jhttps://crank.recoil.org/lazy-static/thumbnails/b78c0d66-94e9-4495-bcac-36bec51220f5.jpgAshimacopter flight testingI visited the Ashima Group in Los Angeles and got a sneak preview of their latest project. It is a quadcopter with a rather customisable avionics stack using their experiences from various space projects. They are writing many of their extensions to the control stack in OCaml, a functional programming language. Here's what it looks like from onboard chasing me (under mostly manual control for this early prototype, phew!) More information at: blog.ashimagroup.nethttps://crank.recoil.org/static/streaming-playlists/hls/2b8b33bb-8ec6-4a78-b7fd-031cba82e7e8/682487e8-b176-4919-9908-1ad389a31cbd-master.m3u8https://crank.recoil.org/videos/embed/6nS89WEKh1wsQhoJkMMS8j71032024-04-13T18:37:50.782ZquadcopterocamlflightYESanilNOhttps://crank.recoil.org/w/mvrfMZawk88SFRLN1zK5jUhttps://crank.recoil.org/lazy-static/thumbnails/b98e7a05-396f-4d3b-9765-db475370374e.jpgUnikernel Systems is now part of DockerUnikernel Systems is joining Docker. Unikernels compile your source code into a custom operating system that includes only the functionality required by the application logic. Anil Madhavapeddy explains what this means for Unikernel Systems and for Docker. To find out more, check out http://unikernel.org -- Docker is an open platform for developers and system administrators to build, ship and run distributed applications. With Docker, IT organizations shrink application delivery from months to minutes, frictionlessly move workloads between data centers and the cloud and can achieve up to 20X greater efficiency in their use of computing resources. Inspired by an active community and by transparent, open source innovation, Docker containers have been downloaded more than 700 million times and Docker is used by millions of developers across thousands of the world’s most innovative organizations, including eBay, Baidu, the BBC, Goldman Sachs, Groupon, ING, Yelp, and Spotify. Docker’s rapid adoption has catalyzed an active ecosystem, resulting in more than 180,000 “Dockerized” applications, over 40 Docker-related startups and integration partnerships with AWS, Cloud Foundry, Google, IBM, Microsoft, OpenStack, Rackspace, Red Hat and VMware.https://crank.recoil.org/static/streaming-playlists/hls/a612e810-d56c-48af-b43e-2893a96b9120/351b11b8-7b3d-41af-a65c-0fb7b9694ac3-master.m3u8https://crank.recoil.org/videos/embed/mvrfMZawk88SFRLN1zK5jU133072024-04-14T14:15:58.956ZdockercontainersunikernelYESanilNOhttps://crank.recoil.org/w/a4gLynruFs7jMkdKkPivgvhttps://crank.recoil.org/lazy-static/thumbnails/b6e5a362-c6a3-4b47-8e71-58dbfcfd4453.jpgTurning Down the LAMP: Software Specialisation for the CloudThe USENIX HotCloud 2010 MirageOS talk, originally from https://www.usenix.org/conference/hotcloud-10/turning-down-lamp-software-specialisation-cloudhttps://crank.recoil.org/static/streaming-playlists/hls/4957325f-d7f5-4a29-95b6-a1e1f61ea5cf/d868dc39-ac33-4deb-bd82-5244e5590c9f-master.m3u8https://crank.recoil.org/videos/embed/a4gLynruFs7jMkdKkPivgv845012024-05-11T17:56:06.847ZYESanilNOhttps://crank.recoil.org/w/np1wXvCmuAmpGt7W8gHTJShttps://crank.recoil.org/lazy-static/thumbnails/cd1d9f41-2f32-4c51-945f-6d8ca3537de8.jpgJitsu: Just-In-Time Summoning of UnikernelsJitsu: Just-In-Time Summoning of Unikernels (USENIX NSDI 2015) Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, and David Sheets, University of Cambridge; Dave Scott, Citrix Systems UK Ltd.; Richard Mortier, Amir Chaudhry, and Balraj Singh, University of Cambridge; Jon Ludlam, Citrix Systems UK Ltd.; Jon Crowcroft and Ian Leslie, University of Cambridge Network latency is a problem for all cloud services. It can be mitigated by moving computation out of remote datacenters by rapidly instantiating local services near the user. This requires an embedded cloud platform on which to deploy multiple applications securely and quickly. We present Jitsu, a new Xen toolstack that satisfies the demands of secure multi-tenant isolation on resource-constrained embedded ARM devices. It does this by using unikernels: lightweight, compact, single address space, memory-safe virtual machines (VMs) written in a high-level language. Using fast shared memory channels, Jitsu provides a directory service that launches unikernels in response to network traffic and masks boot latency. Our evaluation shows Jitsu to be a power-efficient and responsive platform for hosting cloud services in the edge network while preserving the strong isolation guarantees of a type-1 hypervisor. From: https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/madhavapeddyhttps://crank.recoil.org/static/streaming-playlists/hls/ad4658f5-ca4f-42f3-b61a-58f13dcdeb1a/b7b8cc61-9178-4937-8faa-6a81cbef97ca-master.m3u8https://crank.recoil.org/videos/embed/np1wXvCmuAmpGt7W8gHTJS1534012024-05-11T17:58:13.149Zopen accessconferencetechnologyusenixYESanilNOhttps://crank.recoil.org/w/snCxDWZiCLdS1C5WZ16rsDhttps://crank.recoil.org/lazy-static/thumbnails/20a8fa3f-aa9e-4ec2-b356-aa18ba7318af.jpgProgramming for the planet | Lambda Days 2024*This is a mirror of https://www.youtube.com/watch?v=oIvDTM-iF1Y* from LambdaDays 2024. Abstract As simultaneous crises in emissions and biodiversity sweep the planet, computer systems that analyse the complex interplay of our globe’s health are ever more crucial to guiding policy decisions about how to get out of the mess we’re in. In this talk, I examine how functional programming can contribute to building systems that are more resilient, predictable and reproducible in the face of huge amounts of input data (such as from satellites and ground sensing) that demands precise access control (or else poachers and malicious actors go straight to the source) and requires interactive exploration from non-CS-experts at different levels of the software stack (to do climate science). I will also highlight how our ongoing cross-disciplinary research is having a real impact on conservation projects that are sorely underserved by current systems/PL infrastructure, and also how we went about forging these links. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesynchttps://crank.recoil.org/static/streaming-playlists/hls/d592bf17-c835-435f-9469-f0f65e926975/c3a5cb13-dd45-46cd-829c-15e980c03b4c-master.m3u8https://crank.recoil.org/videos/embed/snCxDWZiCLdS1C5WZ16rsD343801872024-08-01T12:26:55.836ZYESanilNOhttps://crank.recoil.org/w/gS9gSX3y8cjeMVRYVauejehttps://crank.recoil.org/lazy-static/thumbnails/0927d02d-181a-494b-8f4e-7f3a4e42d97f.jpgThe role of AI in evidence based decision making in conservation actions*Mirrored from https://www.youtube.com/watch?v=pHttZwa7Vtg* The role of Artificial Intelligence in evidence-based decision making in conservation, by Anil Madhavapeddy, Professor of Planetary Computing, Cambridge University Talk delivered as part of the ‘Delivering the effectiveness revolution in conservation: lessons from organisations, policy makers and funders’ workshop on Tuesday 25th June 2024 Delivered by Conservation Evidence, U.S. Fish & Wildlife Service, TRAFFIC and Cambridge Conservation Initiative.https://crank.recoil.org/static/streaming-playlists/hls/80795e06-ac75-4015-b178-3cfcbb233685/2f657c00-fc37-413c-b78a-0dbfd4c03256-master.m3u8https://crank.recoil.org/videos/embed/gS9gSX3y8cjeMVRYVaueje13740462024-08-09T10:47:26.152ZYESanilNOhttps://crank.recoil.org/w/rucXtMVc5QLsqxNUrZpmfMhttps://crank.recoil.org/lazy-static/thumbnails/5a4a1586-67fe-440b-bb34-4c44388311e6.jpgLeveraging Scientific Innovation and A I to Scale Carbon Markets*Mirrored from https://www.youtube.com/watch?v=eI3TyVbVozc* Discussion with Jon Pierre from Mantle Labs on: - Streamlining project screening and monitoring processes - Engaging with impermanence - The argument for stacking credits - The utility of dynamic baselines - Assessing and tackling leakage - Cambridge PACT's approachhttps://crank.recoil.org/static/streaming-playlists/hls/ce64a918-ff52-4116-b1ee-256f08e6e7f1/ce13429f-7f04-4868-a255-e028ab840079-master.m3u8https://crank.recoil.org/videos/embed/rucXtMVc5QLsqxNUrZpmfM1820062024-08-23T09:59:12.929ZYESanilNOhttps://crank.recoil.org/w/3rSSoFfM1Pb2uPCfLwVzizhttps://crank.recoil.org/lazy-static/thumbnails/b8c6a1fb-555a-4a13-8643-33e91dabfbca.jpgThe OCaml Platform 1.0 with Reason ML*Mirrored from https://www.youtube.com/watch?v=oyeKLAYPmQQ* We keep being told ReasonML can compile to native and do interop with OCaml, and that there's a wealth of existing code and tools we can draw into our applications - but how do we get there? Anil will walk us through the state of native development and introduce us to systems like opam, Duneiverse and other tools which will unlock the mysteries of native wonderlands! _ About Pusher Sessions: We're bringing the meetup to you. With Sessions, you can watch recordings of top-notch talks from developer meetups -- wherever and whenever you want. Meetups are a great way to learn from our peers and to keep up with the latest trends and technologies. As developers ourselves, we at Pusher wanted to bring this great content to more people... So we built Sessions. On Sessions, you can watch talks that interest you and subscribe to be notified when new content gets added. If you run a meetup and want to get involved, kindly get in touch. _ About Pusher: Pusher is a hosted service with APIs, developer tools and open source libraries that greatly simplify integrating real-time functionality into web and mobile applications. Pusher will automatically scale when required, removing all the pain of setting up and maintaining a secure, real-time infrastructure. Pusher is already trusted to do so by thousands of developers and companies like GitHub, MailChimp, the Financial Times, Buffer and many more. Getting started takes just a few seconds: simply go to pusher.com and create a free account. Happy hacking!https://crank.recoil.org/static/streaming-playlists/hls/13cf3878-7436-4512-844e-f72f36425bc7/fa4d651e-c9da-4fa8-b0e9-66b3e532fadc-master.m3u8https://crank.recoil.org/videos/embed/3rSSoFfM1Pb2uPCfLwVziz2337042024-08-23T10:25:47.683Zhelpdeveloper languagelanguage codelibrariestipsYESanilNOhttps://crank.recoil.org/w/7DUpZGJ8XAQYGCJkGpuTxuhttps://crank.recoil.org/lazy-static/thumbnails/a92a6233-8bc3-495c-a8d0-9ec5d3df4ba0.jpgThe State of the OCaml PlatformThe State of the OCaml Platform: September 2015 — by Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop, David Sheetshttps://crank.recoil.org/static/streaming-playlists/hls/35e1a70d-0fb4-49b1-86ce-dd6266b812de/49591c17-3785-4e77-a602-00dbf1050005-master.m3u8https://crank.recoil.org/videos/embed/7DUpZGJ8XAQYGCJkGpuTxu1934002024-08-23T10:42:58.953ZYESanilNOhttps://crank.recoil.org/w/upbvazhzUKTh5xK2CssaDthttps://crank.recoil.org/lazy-static/thumbnails/ba8dd469-348d-4ae9-b698-5c634312812c.jpgBill's conservation concepts: Notebook LM summaryThis is an experimental AI-generated summary from NotebookLM of Bill's last 10 videos from Conservation Concepts, and his book as a prompt.https://crank.recoil.org/static/streaming-playlists/hls/e5fc7638-6d53-4f4d-8985-d745a181ddb1/581b0ccd-7b1d-4077-85a3-76e66e34aebe-master.m3u8https://crank.recoil.org/videos/embed/upbvazhzUKTh5xK2CssaDt60601022024-09-30T16:05:25.879ZYESanilNOhttps://crank.recoil.org/w/m6U5pg8ktykpJcdVXzo5WBhttps://crank.recoil.org/lazy-static/thumbnails/73fa443f-e72d-4211-af38-b8da9029eb9b.jpgRewilding with Knepp (Notebook LM AI Podcast)Summary generated for Bill Sutherland via NotebookLM, using the following sources: Alpha, Beta and Gamma Diversity. Ecological diversity can be considered as alpha diversity (the species in an site), beta diversity (how species varies as move between sites) and gamma diversity (the total species in a geographical region resulting from the alpha and beta diversity). Conservation planning often consists of determining how to protect beta diversity. https://www.youtube.com/watch?v=OtbifsDOgMw Insect migration. We used to think of most insects as resident but it has now become clear that some, such as hoverflies, migrate at scale. Perhaps we then need to think about how we protect such species across the migration route. https://www.youtube.com/watch?v=Ib9ptyBk8GE&t=3s Bird predation and vegetation structure. Grazing not only changes the community present but also may determine the structure. Grazed shrubs may be more dense and so better protection for nesting birds. This idea could benefit from being tested https://www.youtube.com/watch?v=asqPYFBacsg What do species really require? We thought we knew the requirements of purple emperor butterflies, turtle doves and peregrine falcons. But creating the habitat at Knepp has shown they thrive under very different conditions. The important lesson is that the final range of a species may not be the habitat they most prefer. https://www.youtube.com/watch?v=xHW2b4_9aQY Carcases. A few minutes after an animal dies. digestive enzymes break down tissues - a process called autolysis, which results in putrid-smelling chemicals, such as putrescine and cadaverine. Bacteria multiply producing gases, such as ammonia and methane, resulting in a bloated corpse: this is putrefaction. Necrophagous species feed directly on the flesh and juices of the decomposing corpse. They can identify corpses soon after death from the putrid smell. Flies lay large numbers of eggs, the resulting larvae - the maggots - fe...https://crank.recoil.org/static/streaming-playlists/hls/a2c995bf-5cb1-4ca5-ae23-9af08772410f/c4d9277c-371d-4292-ba36-8ed1a4fbcb12-master.m3u8https://crank.recoil.org/videos/embed/m6U5pg8ktykpJcdVXzo5WB8110142024-10-02T09:56:10.445ZYESanilNOhttps://crank.recoil.org/w/2ds78kJwVGmk2gMfVFDySnhttps://crank.recoil.org/lazy-static/thumbnails/e7f5975b-4c23-4023-944c-6a6e638c76c8.jpgHow does ecological risk related to commercial risk (NotebookLM AI summary)Interview, prompted by the content in https://anil.recoil.org/notes/rs-ecorisk-day1/, no other sources.https://crank.recoil.org/static/streaming-playlists/hls/09d626ed-d090-4016-a812-ca90e382b441/b21ebfb5-5c0e-47f6-9b88-fdf60255bab0-master.m3u8https://crank.recoil.org/videos/embed/2ds78kJwVGmk2gMfVFDySn8290202024-10-03T14:46:07.387ZYESanilNOhttps://crank.recoil.org/w/kM487sU1CTGMprfVuo2YiFhttps://crank.recoil.org/lazy-static/thumbnails/98dd7eec-79fc-4298-a32a-05f97edc2f8a.jpgMapping greener futures with planetary computing with Prof Anil Madhavapeddy - IGP SoundbitesThe world is a really crowded place these days; we are trying to balance the food, fuel and fibre needs of a growing human population with the need to spare land for natural wildlife that are facing an extinction crisis. In this talk, Prof Anil Madhavapeddy discusses ongoing work on building comprehensive maps of the world that measure important aspects of nature by leverage satellite sensing and computation pipelines. These models can measure things like tropical forest carbon, but also be composed to build the first globally comparable measure of biodiversity (through a species persistence approach), and also help measure the country-level impacts of human food choices to natural biodiversity. Prof Anil Madhavapeddy also explores how this global monitoring approach can create opportunities to equalise the data landscape to the global south, and how it can avoid just reinforcing existing data inequality. About the speaker Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory. He co-leads the Energy and Environment Group at Cambridge, and also co-directs the Centre for Earth Observation and the Cambridge Centre for Carbon Credits (4C), which aims to increase the integrity of natural climate solutions that contribute towards ending deforestation and improving biodiversity globally, via the application of modern remote sensing and statistical techniques to reduce the overheads of verifying interventions. He has decades of experience with constructing Internet-scale systems, and has contributed to open-source projects such as OCaml, Docker, Xen, and OpenBSD, with users ranging from all the major cloud computing providers to governments worldwide. About this event series Dreams, Desires and Aspirations: Imaginative Landscapes of Prosperity At UCL Institute for Global Prosperity we are working towards a new model of prosperity for the 21st century, reworking the way we conceive and run our economies, our ...https://crank.recoil.org/static/streaming-playlists/hls/a0280750-2ef0-4f5c-b138-68f7b11b4c29/925c7040-a110-4446-bd17-c768ebe13d67-master.m3u8https://crank.recoil.org/videos/embed/kM487sU1CTGMprfVuo2YiF34270462024-12-19T12:39:22.614ZYESanilNOhttps://crank.recoil.org/w/rsCCeCR3kjbUxxAB5oDFt3https://crank.recoil.org/lazy-static/thumbnails/2189009a-0b65-4570-b08c-d364e3e625ee.jpgNotCon 2004: SpotcodesThis is the (very low quality) video from my talk at NotCon 2004 on SpotCodes, mirrored from https://web.archive.org/web/20050204012820/http://www.ejhp.net/notcon/#videohttps://crank.recoil.org/static/streaming-playlists/hls/ce2c6014-f0ac-4ce3-baab-f8b637b9e904/93fe0535-2ba9-45ca-936c-b28d9a381775-master.m3u8https://crank.recoil.org/videos/embed/rsCCeCR3kjbUxxAB5oDFt3616052025-01-11T19:00:55.157ZYESanilNOhttps://crank.recoil.org/w/uVy58D88U1W3vK722saP5khttps://crank.recoil.org/lazy-static/thumbnails/df499f9e-b6e5-47dd-8dcd-3fc575959fce.jpgThe Wild West of UNIX I OInter-process communication and remote procedure call facilities have existed in operating systems for many decades. Ever since the first parallel applications ran on time-sharing machines, programmers have sought ways to communicate between processes running on a single machine, and the first networked applications introduced the concept of sending a message to trigger a remote action. And today, these primitives are more relevant than ever before: parallel programming on clusters of machines relies heavily on facilities to pass data between processes and hosts. On a higher level, data-flow frameworks for parallel processing of large data sets (such as Hadoop or CIEL) depend on passing data between different tasks, which may run anywhere, including local to a machine, on a networked cluster, or far away in a virtualised wide-area "cloud". And yet, we are stuck with UNIX communication APIs closely coupled to the underlying mechanisms used to implement them: the programmer choice of sockets, pipes or shared memory constitutes an implicit choice of a whole set of assumptions about the relative locations of the communicating parties, as well as how the message is to be delivered. Worse even, the implicit trade-offs may not be the same in a different environment, and thus the programmer's choice of API depends on assumptions about the runtime environment (hardware, software and setup) in addition to the characteristics inherent to a mechanism implied. This talk will firstly discuss the impossibility of using current APIs efficiently (via benchmarks on a diverse set of hardware (from many-core AMDs to the experimental Intel SCC). Finally, I will describe our work on introducing a hierarchical name system and extended socket API that adds support for automatic transport selection and reconfigurable sockets. This permits many NUMA-related optimisations on single hosts, for VMs to switch to shared memory communication if on the same physical host, and for seamless net...https://crank.recoil.org/static/streaming-playlists/hls/ea3a111f-cd6a-478b-be70-2a3dbe75797f/60c828a9-95dc-40f9-870d-c6744aa897ee-master.m3u8https://crank.recoil.org/videos/embed/uVy58D88U1W3vK722saP5k26060102025-02-10T19:10:14.669ZlinuxopensourcesystemsxenYESanilNOhttps://crank.recoil.org/w/c67WY4qnn2JnHUizWx99c5https://crank.recoil.org/lazy-static/thumbnails/8657dcc8-ce7e-45aa-ab4b-929656d33772.jpgRGB Matrix HAT driven by OCaml bindingsThis is a short video showing how an entirely Claude-generated OCaml binding to the rPi Matrix LED HAT works, including the 3D cube logic. https://crank.recoil.org/static/streaming-playlists/hls/59cb8699-9cb0-46d0-a9d9-a82338fd7452/f54d9156-819d-4a64-8ea4-c014f1f603ea-master.m3u8https://crank.recoil.org/videos/embed/c67WY4qnn2JnHUizWx99c5110582025-03-02T15:18:50.441ZYESanilNOhttps://crank.recoil.org/w/r7bPSujc5VfXchKqWyN33xhttps://crank.recoil.org/lazy-static/thumbnails/42c99932-9781-4abc-8847-88154c7f32fa.jpgJunior Ranger oath at Shenandoah National ParkJunior Ranger oath at Shenandoah National Parkhttps://crank.recoil.org/static/streaming-playlists/hls/cb5199b9-1a05-49e9-8bdd-9f2e7f96834b/498d3a14-7d79-4c40-b7bc-ef9d946dda26-master.m3u8https://crank.recoil.org/videos/embed/r7bPSujc5VfXchKqWyN33x270112025-05-27T12:45:39.709ZYESanilNOhttps://crank.recoil.org/w/9eRCoBtyf2B7UhLHKcR7rDhttps://crank.recoil.org/lazy-static/thumbnails/8b043324-36a8-4f2b-82de-005f5bdb7594.jpgDancing like butterflies in ShenandoahDancing like butterflies in Shenandoahhttps://crank.recoil.org/static/streaming-playlists/hls/42b85cbd-a5e3-4211-9e3c-1e0970e08e1f/8304c921-a50c-48ec-8045-1e9d98685414-master.m3u8https://crank.recoil.org/videos/embed/9eRCoBtyf2B7UhLHKcR7rD60252025-05-27T13:01:01.371ZYESanilNOhttps://crank.recoil.org/w/mDzPQ8vW7mkLjdmWsW8vpQhttps://crank.recoil.org/lazy-static/thumbnails/3ff1a567-6281-4764-b483-4a2652d038f1.jpgTESSERA interactive notebook demoDemo of the TESSERA geospatial foundation model being used for classification interactively, from https://github.com/ucam-eo/tessera-interactive-map Recorded by Robin Young.https://crank.recoil.org/static/streaming-playlists/hls/a736234b-98bd-4923-a01e-87cff597f8b2/49851d6d-60c1-4e75-ab96-11f46b07e5ba-master.m3u8https://crank.recoil.org/videos/embed/mDzPQ8vW7mkLjdmWsW8vpQ5302942025-09-01T12:19:22.995ZYESanilNOhttps://crank.recoil.org/w/hhC4yMWX8ndcNXQKxArHKvhttps://crank.recoil.org/lazy-static/thumbnails/573a3b98-6645-4651-a753-3077972edd67.jpgPROPL poster session at ICFP/SPLASH banquetThis was a quick view of the PROPL 2025 poster session in the middle of the ICFP/SPLASH 2025 banquet in Singapore.https://crank.recoil.org/static/streaming-playlists/hls/83e457b1-76d0-4e7e-b65f-be35544750c7/fa23c4fe-e862-450a-9d84-a5e049cfaa1a-master.m3u8https://crank.recoil.org/videos/embed/hhC4yMWX8ndcNXQKxArHKv29092025-10-22T11:51:16.937ZYESanilNOhttps://crank.recoil.org/w/qaKi7kTYoD7ezxd81q3xexhttps://crank.recoil.org/lazy-static/thumbnails/132d98c3-082f-40ee-837d-36fbd5b34922.jpgDes satellites pour protéger les hérissons, en voie d'extinction🦔 Sa population a diminué de 50 % par endroits en Europe : le hérisson pourrait disparaître à court ou moyen terme. En France, de nombreux centres de soin œuvrent à sa protection. Des satellites jouent également un rôle dans la conservation de cette espèce. #jt13h (aka 1m 48s for Anil talking about hedgehogs and Tessera, briefly!) https://crank.recoil.org/static/streaming-playlists/hls/c3b7b408-807d-4fff-86a9-4e516887defd/be8e4ca8-a79b-40fb-9d79-4c9d2f12f783-master.m3u8https://crank.recoil.org/videos/embed/qaKi7kTYoD7ezxd81q3xex144062025-10-31T08:16:57.920ZYESanilNOhttps://crank.recoil.org/w/js31WXD1o8RPdWnuqJNVXQhttps://crank.recoil.org/lazy-static/thumbnails/ce733462-08a3-4063-9cad-43555a61e5ec.jpg[ICFP'25] Functional Networking for Millions of Docker DesktopsMirror of https://www.youtube.com/watch?v=1_Y6hmj-VpY Functional Networking for Millions of Docker Desktops (Experience Report) (Video, ICFP 2025) Anil Madhavapeddy, David J. Scott, Patrick Ferris, Ryan T. Gibb, and Thomas Gazagnaire (University of Cambridge, UK; Docker, UK; University of Cambridge, UK; University of Cambridge, UK; Tarides, France) Abstract: Docker is a developer tool used by millions of developers to build, share and run software stacks. The Docker Desktop clients for Mac and Windows have long used a novel combination of virtualisation and OCaml unikernels to seamlessly run Linux containers on these non-Linux hosts. We reflect on a decade of shipping this functional OCaml code into production across hundreds of millions of developer desktops, and discuss the lessons learnt from our experiences in integrating OCaml deeply into the container architecture that now drives much of the global cloud. We conclude by observing just how good a fit for systems programming that the unikernel approach has been, particularly when combined with the OCaml module and type system. Article: https://doi.org/10.1145/3747525 ORCID: https://orcid.org/0000-0001-8954-2428, https://orcid.org/0009-0006-5555-9671, https://orcid.org/0000-0002-0778-8828, https://orcid.org/0009-0009-5702-3143, https://orcid.org/0009-0001-6893-4630 Video Tags: ocaml, containers, networking, hypervisors, icfp25main-p58-p, doi:10.1145/3747525, orcid:0000-0001-8954-2428, orcid:0009-0006-5555-9671, orcid:0000-0002-0778-8828, orcid:0009-0009-5702-3143, orcid:0009-0001-6893-4630 Presentation at the ICFP 2025 conference, October 13–15, https://icfp25.sigplan.org/ Sponsored by ACM SIGPLAN,https://crank.recoil.org/static/streaming-playlists/hls/95671396-490e-4fab-a6ad-f5ac3b39716a/4e8f9989-3b90-4503-9229-29654bece016-master.m3u8https://crank.recoil.org/videos/embed/js31WXD1o8RPdWnuqJNVXQ14950132026-01-27T19:00:59.486ZYESanilNOhttps://crank.recoil.org/w/7cQQVGVtJTNfykq4Lw6H9Khttps://crank.recoil.org/lazy-static/thumbnails/18ab4a98-9456-400b-8702-e3a875c7cfce.jpg[VMIL'25] The Wild West of post-POSIX IO InterfacesMirror of https://www.youtube.com/watch?v=abDWZ9D8kEE The Wild West of post-POSIX IO Interfaces (Video, VMIL 2025) Anil Madhavapeddy (University of Cambridge, UK) Abstract: The POSIX programming model has provided a long-standing abstraction for I/O, but contemporary systems increasingly expose interfaces that deviate from this model in pursuit of performance, scalability, and flexibility. This talk traces the evolution of shared-memory and asynchronous I/O mechanisms, beginning with early hypervisor-driven approaches such as Xen’s virtual device drivers, and continuing through to modern system interfaces including Linux’s io_uring and macOS’s libdispatch. These developments illustrate the growing fragmentation of the I/O landscape, but also highlight opportunities for unifying abstractions that balance expressivity with ergonomics for these highly concurrent interfaces. As a case study, I will discuss how Docker integrates these heterogeneous interfaces into end-to-end data paths. Finally, I will present ongoing work in the OCaml 5 ecosystem, where effect-based concurrency abstractions, as implemented in the Eio library, offer a principled way of reconciling post-POSIX I/O mechanisms with high-level language runtimes. My perspective aims to inform discussions on virtual machine and runtime design, with implications for concurrency models, performance engineering, and cross-platform systems support. Presentation at the VMIL 2025 workshop, Oct 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/vmil-2025 Sponsored by ACM SIGPLAN.https://crank.recoil.org/static/streaming-playlists/hls/323e1d45-3cf6-4554-9d96-db730c3df8a7/cecbc3b6-1ce7-49a7-9c97-ee3d9c7dd1fa-master.m3u8https://crank.recoil.org/videos/embed/7cQQVGVtJTNfykq4Lw6H9K3520032026-01-27T19:06:42.334ZYESanilNOhttps://crank.recoil.org/w/tco3jM6xSH1eH3Wp3yup4ohttps://crank.recoil.org/lazy-static/thumbnails/42ad689f-1935-444f-8dec-b93f878acc6d.jpgBill Sutherland at the Conservation Evidence conference at PembrokeDemonstrating how Bill uses his bell!https://crank.recoil.org/static/streaming-playlists/hls/dc3d8209-cec7-42b7-b6ca-f5f8f9182f60/80543679-75b8-44a3-84b4-3c6f838f9477-master.m3u8https://crank.recoil.org/videos/embed/tco3jM6xSH1eH3Wp3yup4o9062026-02-13T20:37:01.587ZYESanilNOhttps://crank.recoil.org/w/95JqcykBWLnLmtXf7eieQ6https://crank.recoil.org/lazy-static/thumbnails/6617d205-4fbe-4921-92ba-6bc789a5ba6a.jpgMoonshot: AI, Evidence, and Human Judgement in Nature Recovery | KeynoteMirror of https://www.youtube.com/watch?v=goDYPS6Wuhw In this keynote, Professor Anil Madhavapeddy (University of Cambridge) explores how modern AI systems can help make sense of complex, fragmented environmental data — without losing transparency, accountability, or human judgement. Drawing on cutting-edge research and real applications, the talk examines how AI can: - Connect diverse data sources (literature, satellites, field data) - Support evidence-based decision-making - Avoid opaque “black box” models - Keep humans firmly in the loop The keynote also addresses the risks of poorly designed AI systems, including model collapse, loss of traceability, and misplaced confidence — and outlines what responsible, verifiable AI should look like in nature-based applications. This session is essential viewing for anyone working at the intersection of AI, ecology, conservation, or environmental policy.https://crank.recoil.org/static/streaming-playlists/hls/41723993-6f58-4e78-ba01-260295b7d1f1/247c1556-ef4c-4214-9279-af84273c511b-master.m3u8https://crank.recoil.org/videos/embed/95JqcykBWLnLmtXf7eieQ6957092026-02-14T16:53:04.904ZYESanilNOhttps://crank.recoil.org/w/r9DXbZJoLu1LKPMGtPz96ehttps://crank.recoil.org/lazy-static/thumbnails/164c4351-273e-4688-a998-39988f928d28.jpgAnil at the Indian Impact AI SummitWandering around the summit on Day 2https://crank.recoil.org/static/streaming-playlists/hls/cba9ce1c-ff77-469c-bc8a-daa0308606c7/52267828-8a1b-47dc-9f9d-0c8b15f62d89-master.m3u8https://crank.recoil.org/videos/embed/r9DXbZJoLu1LKPMGtPz96e820332026-02-21T15:09:56.106ZYESanilNOhttps://crank.recoil.org/w/n9k7YVfWPibXcXkF8vmZpchttps://crank.recoil.org/lazy-static/thumbnails/993c2e9a-ae5d-4b7a-9df2-463f70cabe37.jpgAI Impact Summit at the British High Commission partyKanishka Narayan and Amanda Brock at the British High Commission party firing up the crowd https://crank.recoil.org/static/streaming-playlists/hls/ab39a536-a89a-4756-b04d-9fd6d9cc9bd5/71ada3e2-5667-4d72-aa93-d62dedf4956d-master.m3u8https://crank.recoil.org/videos/embed/n9k7YVfWPibXcXkF8vmZpc1210132026-02-21T17:00:15.718ZYESanilNOhttps://crank.recoil.org/w/6rKX27etxe9bC1Uq8mXELWhttps://crank.recoil.org/lazy-static/thumbnails/794f7c91-4b38-46b6-8e0a-bbd0e0d0752f.jpgSolomon Hykes unveiling the Docker Desktop PinãtaThe original codename for Docker Desktop was "Pinãta", so this was our launch party for the beta circa 2015!https://crank.recoil.org/static/streaming-playlists/hls/2c165f30-ea51-4b6e-893d-9273aba630be/72d72eda-8e56-42c5-918f-6c66ea7b0337-master.m3u8https://crank.recoil.org/videos/embed/6rKX27etxe9bC1Uq8mXELW200172026-02-24T19:21:43.042ZYESanilNOhttps://crank.recoil.org/w/255En2CcJHYdp2RD1aTrKshttps://crank.recoil.org/lazy-static/thumbnails/6e430ba0-24b0-4e26-9371-b8081ca6ec93.jpgTessera Zarr streaming previewA little screencast of a fully browser based streaming interface to manipulate TESSERA embeddings. All the classification and UMAPs run directly in a browser, with no server required aside from static HTTP serving of the embeddings!https://crank.recoil.org/static/streaming-playlists/hls/08aafc87-9aea-48e3-8c41-a2fe1b94fea4/ea79188c-ad35-443b-9706-55e1d266e74a-master.m3u8https://crank.recoil.org/videos/embed/255En2CcJHYdp2RD1aTrKs9002212026-03-08T12:30:44.587ZYESanilNOhttps://crank.recoil.org/w/uniUMwUzytvmwtNy4feMCshttps://crank.recoil.org/lazy-static/thumbnails/0ccbfb4b-7aa9-4512-ad11-4ed76e0c1624.jpgTESSERA Zarr v3 streaming (take 2)This is the Tessera Zarr Explorer (https;//tze.geotessera.org) illustrating how to explore the TESSERA geospatial embeddings using just a webbrowser, HTTPS streaming and WebGL/wasm to do analyses such as classification and segmentation. See https://geotessera.org for more information.https://crank.recoil.org/static/streaming-playlists/hls/e5b98a04-9f08-446b-9cfd-b15d8d441d5e/f73967bb-60dc-43da-9749-2566c3956d98-master.m3u8https://crank.recoil.org/videos/embed/uniUMwUzytvmwtNy4feMCs1490402026-03-27T14:29:05.286ZYESanilNOhttps://crank.recoil.org/w/stGsZsr8nxMyifu4CPqgvfhttps://crank.recoil.org/lazy-static/thumbnails/9219283c-b422-43a3-a0a5-c7196763e4aa.jpgTESSERA/CROME crop 3d umap for the UKThis visualisation projects [TESSERA](https://geotessera.org)'s 128-dimensional embeddings for over 210,000 hexagonal cells from England's [CROME](https://environment.data.gov.uk/dataset/0903079b-35a2-47de-b805-77a0cc0c57bf) 2024 crop map into three dimensions using UMAP. Each point is coloured by its crop class. Crops with similar seasonal growth patterns cluster together in the embedding space — winter cereals group tightly, as do permanent grasslands — demonstrating that TESSERA captures fine-grained phenological variation from the raw spectral-temporal signal without any labelled training data. Browse it at https://geotessera.org/crop-umap. Credit: Sadiq Jaffer, https://toao.comhttps://crank.recoil.org/static/streaming-playlists/hls/d66b9fe6-82be-4bb6-85e5-2e603cfb68ac/340185e6-1083-482a-b792-ddd0f38d99d7-master.m3u8https://crank.recoil.org/videos/embed/stGsZsr8nxMyifu4CPqgvf44022026-03-30T10:49:56.227ZYESanilNOhttps://crank.recoil.org/c/anil/videoshttps://crank.recoil.org/c/daves_corner/videoshttps://crank.recoil.org/c/nickarchive/videoshttps://crank.recoil.org/c/nicks_experiments/videoshttps://crank.recoil.org/a/avsm/video-channelshttps://crank.recoil.org/a/dave/video-channelshttps://crank.recoil.org/a/nick/video-channels