Signals and Threads

What Is an Operating System? with Anil Madhavapeddy

Nov 3, 2021

01:01:11

Creator website

Episode guests

Anil Madhavapeddy

Highlights

AI Chapters

Episode notes

Efficiency and Scalability through Paravirtualization and Hypervisors

01:32

Embracing challenges and opportunities in technology development

01:24

The Importance of Understanding Failure in Research

01:48

Building Systems That Last a Decade

02:03

Introduction

5min

Unikernels - What Is an Operating System?

2min

Miragos - The Original Idea of an Operating System

1min

Zen Hyperviser - A Simple Solution to the Problem of a Hypervisor

5min

Are You Happy With the Set of Abstractions That We've Got?

5min

The Advantages of Mirage as an Operating System

3min

Building Systems That Last a Decade

2min

Why I Choose a Camel Compiler Over Other Languages

2min

Building a Good Programming Language

4min

10.

Is There a Future for Mirage?

2min

11.

Deploying Destops in the Cloud

1min

12.

How Did You Get Into Computer Science?

4min

13.

Why Is O Camel a Good Fit for a Mirage?

2min

14.

Ocamel - A Brief History of Open Source Development

3min

15.

Cambridge and O'Camel Labs

4min

16.

Why Has It Taken So Long to Add Multicore to the Language?

6min

17.

O Cammell, Multicor Runtim

2min

18.

Using a Data Race in a MultiCoro Camel?

2min

19.

The Multicoro Camel Working Tree - Using the Latest Stable O Camel, and Adding in Domain Support

5min

20.

The Effect System - The Future of Miragos

3min

Anil Madhavapeddy is an academic, author, engineer, entrepreneur, and OCaml aficionado. In this episode, Anil and Ron consider the evolving role of operating systems, security on the internet, and the pending arrival (at last!) of OCaml 5.0. They also discuss using Raspberry Pis to fight climate change; the programming inspiration found in British pubs and on Moroccan beaches; and the time Anil went to a party, got drunk, and woke up with a job working on the Mars Polar Lander.

You can find the transcript for this episode on our website.

Some links to topics that came up in the discussion:

Ron, Anil, and Jason Hickey’s book, “Real World OCaml”
Anil’s personal website and Google Scholar page
The MirageOS library operating system
Cambridge University’s OCaml Labs
NASA’s Mars Polar Lander
The Xen Project, home to the hypervisor
The Tezos proof-of-stake blockchain
The Coq Proof Assistant system

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.