Skip to content
HomeVideosBooksBlogsPodcasts
EpisodesShowsTopics

HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K
    Artwork for Software Engineering Radio - the podcast for professional software developers
    Episode

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

    Software Engineering Radio - the podcast for professional software developers · May 30, 2014 · 1 h 05 min
    Episode page

    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; […]

    Related

    • What Is an Operating System? with Anil Madhavapeddy

      Signals and Threads • Nov 3, 2021 • 1 h 01 min
    • Python, OCaml, and Machine Learning with Laurent Mazare

      Signals and Threads • Oct 7, 2020 • 1 h 00 min
    • Prepare yourself for Quantum Computing (Interview)

      The Changelog: Software Development, Open Source • Mar 24, 2020 • 1 h 10 min
    • Serverless and OpenFaas with Alex Ellis

      Hanselminutes with Scott Hanselman • Dec 29, 2017 • 31 min
    • #519: Data Science Cloud Lessons at Scale

      Talk Python To Me • Sep 18, 2025 • 1 h 03 min
    • Tech Talk: Rethinking databases and Noria with Jon Gjengset

      CoRecursive: Coding Stories • Apr 30, 2019 • 59 min
    • Deep Learning in Optics with Aydogan Ozcan - TWiML Talk #237

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Mar 7, 2019 • 42 min
    • Building a secure Operating System (Redox OS) with Rust (Interview)

      The Changelog: Software Development, Open Source • Jan 19, 2018 • 1 h 19 min