Signals and Threads

What Is an Operating System? with Anil Madhavapeddy


Listen Later

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
...more
View all episodesView all episodes
Download on the App Store

Signals and ThreadsBy Jane Street

  • 4.9
  • 4.9
  • 4.9
  • 4.9
  • 4.9

4.9

72 ratings


More shows like Signals and Threads

View all
Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

Software Engineering Radio - the podcast for professional software developers

271 Listeners

Top Traders Unplugged by Niels Kaastrup-Larsen

Top Traders Unplugged

588 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

583 Listeners

Conversations with Tyler by Mercatus Center at George Mason University

Conversations with Tyler

2,398 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

624 Listeners

Odd Lots by Bloomberg

Odd Lots

1,855 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

190 Listeners

Flirting with Models by Corey Hoffstein

Flirting with Models

227 Listeners

Alpha Exchange by Dean Curnutt

Alpha Exchange

82 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

425 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

58 Listeners

Latent Space: The AI Engineer Podcast by swyx + Alessio

Latent Space: The AI Engineer Podcast

71 Listeners

Money Stuff: The Podcast by Bloomberg

Money Stuff: The Podcast

378 Listeners

Complex Systems with Patrick McKenzie (patio11) by Patrick McKenzie

Complex Systems with Patrick McKenzie (patio11)

122 Listeners

The Pragmatic Engineer by Gergely Orosz

The Pragmatic Engineer

62 Listeners