Startseite
Podcasts
Signals and Threads Podcast
What Is an Operating System? with Anil Madhavapeddy

What Is an Operating System? with Anil Madhavapeddy

Signals and Threads vor 4 Jahren

0:00

1:01:11

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