Signals and Threads
What Is an Operating System? with Anil Madhavapeddy
Sponsors in this episode
No sponsor reads found in this episode's notes.
Host-read ads that the notes don't mention can't be found this way.
Show notes
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
From the show's RSS feed.