Anil Madhavapeddy's guest appearances

Anil Madhavapeddy

Software Engineering Radio - the podcast for professional software developers

The New Stack Podcast

TQuorum Sessions

Signals and Threads

Jurgen Appelo

Kyle Kingsbury

Ryan Singer

Scott Meyers

Jordan Adler

Matt Wall

Paul Smith

Rowland Savage

Jonathan Stark

Lara Hogan

Adrian Cockcroft

Moshe Vardi

Jeremy Howard

Grady Booch

Peyton Jones

OwlTail

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 pageThe MirageOS library operating systemCambridge University’s OCaml LabsNASA’s Mars Polar LanderThe Xen Project, home to the hypervisorThe Tezos proof-of-stake blockchainThe Coq Proof Assistant system

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 <a href="https://signalsandthreads.com/what-is-an-operating-system" rel="nofollow" target="_blank">website</a>.Some links to topics that came up in the discussion:<ul><li>Ron, Anil, and Jason Hickey’s book, <a href="https://dev.realworldocaml.org/" rel="nofollow" target="_blank">“Real World OCaml”</a></li><li>Anil’s <a href="https://anil.recoil.org/" rel="nofollow" target="_blank">personal website</a> and <a href="https://scholar.google.com/citations?hl=en&amp;user=u2nZ7F8AAAAJ&amp;view_op=list_works&amp;sortby=pubdate" rel="nofollow" target="_blank">Google Scholar page</a></li><li>The <a href="https://mirage.io/" rel="nofollow" target="_blank">MirageOS</a> library operating system</li><li>Cambridge University’s <a href="https://ocamllabs.io/" rel="nofollow" target="_blank">OCaml Labs</a></li><li>NASA’s <a href="https://mars.nasa.gov/mars-exploration/missions/polar-lander/" rel="nofollow" target="_blank">Mars Polar Lander</a></li><li>The <a href="https://xenproject.org/" rel="nofollow" target="_blank">Xen Project</a>, home to the <a href="https://xenproject.org/developers/teams/xen-hypervisor/" rel="nofollow" target="_blank">hypervisor</a></li><li>The <a href="https://tezos.com/" rel="nofollow" target="_blank">Tezos proof-of-stake blockchain</a></li><li>The <a href="https://coq.inria.fr/" rel="nofollow" target="_blank">Coq Proof Assistant</a> system</li></ul>

What Is an Operating System? with Anil Madhavapeddy

Chris Wright

What excites you most when thinking about the shared vision in the Tezos ecosystem? Check out the answers from two of the newest council members of the Tezos Foundation, Chris Wright and Anil Madhavapeddy.In this Session, we learned about their backgrounds in open-source software development in both academic and commercial sectors and found what advantages they believe Tezos has to become a leader in the industry.Stream this Session to learn how they see their role as council members to function as resources for support and guidance for all Tezos community members.

What excites you most when thinking about the shared vision in the Tezos ecosystem? Check out the answers from two of the newest council members of the<a href="https://twitter.com/tezosfoundation?lang=en" rel="nofollow" target="_blank"> Tezos Foundation</a>,<a href="https://twitter.com/kernelcdub?lang=en" rel="nofollow" target="_blank"> Chris Wright</a> and<a href="https://twitter.com/avsm?lang=en" rel="nofollow" target="_blank"> Anil Madhavapeddy</a>.In this Session, we learned about their backgrounds in open-source software development in both academic and commercial sectors and found what advantages they believe Tezos has to become a leader in the industry.Stream this Session to learn how they see their role as council members to function as resources for support and guidance for all Tezos community members.

In Conversation with Chris Wright and Anil Madhavapeddy

Robert talks to Dr. Anil Madhavapeddy of the Cambridge University (UK) Systems research group about the OCaml language and the Mirage cloud operating system, a microkernel written entirely in OCaml. The outline includes: history of the evolution from dedicated servers running a monolithic operating system to virutalized servers based on the Xen hypervisor to micro-kernels; […]

Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language