• What Is an Operating System? with Anil Madhavapeddy

  • Nov 3 2021
  • Duración: 1 h y 1 m
  • Podcast

What Is an Operating System? with Anil Madhavapeddy Por arte de portada

What Is an Operating System? with Anil Madhavapeddy

Escúchala gratis

Ver detalles del espectáculo

  • Resumen

  • 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
    Más Menos
activate_primeday_promo_in_buybox_DT
Más Menos

Lo que los oyentes dicen sobre What Is an Operating System? with Anil Madhavapeddy

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.

Reseñas de Audible.com

Opiniones de Amazon
No hay comentarios disponibles