What Is an Operating System? with Anil Madhavapeddy

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

You can listen to What Is an Operating System? with Anil Madhavapeddy online on Radio and Podcast. Open the player on this page to stream the available audio.

What Is an Operating System? with Anil Madhavapeddy is an episode from Signals and Threads by Jane Street.

This episode is 01:01:11 long.

This episode was published on Nov 3, 2021.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Signals and Threads when more episodes are available from the podcast feed.