Metaebene
  • CRE
  • Freak Show
  • Logbuch:Netzpolitik
  • Raumzeit
  • UKW

Aktive Podcasts

  • CRE: Technik, Kultur, Gesellschaft

    Der Interview-Podcast mit Tim Pritlove

  • Logbuch:Netzpolitik

    Einblicke und Ausblicke in das netzpolitische Geschehen

  • UKW

    Unsere kleine Welt. Euer Wegbegleiter bei internationalen Krisen.

  • Raumzeit

    Der Podcast mit Tim Pritlove über Raumfahrt und andere kosmische Angelegenheiten

  • Freak Show

    Menschen! Technik! Sensationen!

Pausierte Podcasts

  • Newz of the World

    Stay in touch with world newz, trends and tendencies

  • Der Lautsprecher

    Ein Podcast über das Senden und Empfangen werden

  • Not Safe For Work

    Die Internationale Unterhaltungsgala mit Tim Pritlove und Holger Klein

  • Metaebene

    Aktuelles, Interessantes und Irrelevantes aus der Metaebene

  • Forschergeist

    Horizonte für Bildung und Forschung

Archivierte Podcasts

  • Kolophon

    Der Podcast von O'Reilly Deutschland mit Tim Pritlove

  • Fokus Europa

    Gespräche über die europäische Idee

  • Webciety 01Podcast

    Trendschnorcheln mit Tim und Max

  • dieGesellschafter

    Interview-Serie der Aktion Mensch (2009, Archiv)

  • Bundesradio

    Der Politik-Podcast aus Berlin

Skip to content

Mirage Profiles

Impressions from the Mirage Retreat in Marrakesh 2017

MP001 Anil Madhavapeddy

Anil Madhavapeddi on his research and how mirageOS came to be.

LINKS:

  • 01:15 University of Cambridge - The Computer Laboratory01:15 University of Cambridge - The Computer Laboratory
  • 02:41 Robin Milner02:41 Robin Milner
  • 05:08 Light-weight Threads05:08 Light-weight Threads
  • 06:07 XenStore06:07 XenStore
  • 08:05 Library Operating Systems08:05 Library Operating Systems
  • 09:14 Unikernel09:14 Unikernel
  • 12:48 LifeDB12:48 LifeDB
  • 15:44 Xavier Leroy15:44 Xavier Leroy
  • 15:47 Coq15:47 Coq
  • 15:53 CompCert15:53 CompCert
  • 17:14 Inria17:14 Inria
  • 17:21 OCaml Labs17:21 OCaml Labs
  • 17:33 Thomas Gazagnaire17:33 Thomas Gazagnaire
  • 17:38 Opam17:38 Opam
  • 19:28 Hannes Mehnert19:28 Hannes Mehnert
  • 19:46 Mirleft19:46 Mirleft
  • 20:00 ocaml-tls20:00 ocaml-tls
  • 20:01 ocaml-asn1-combinators20:01 ocaml-asn1-combinators
  • 20:03 ocaml-x50920:03 ocaml-x509
  • 20:09 David Kaloper20:09 David Kaloper
  • 22:33 ReasonML22:33 ReasonML
  • 26:19 Christiano Haesbaert26:19 Christiano Haesbaert
  • 26:22 Awá SSH library26:22 Awá SSH library
  • 26:47 Hindley–Milner type system26:47 Hindley–Milner type system
  • 28:59 docs.mirage.io28:59 docs.mirage.io
  • 29:40 Databox29:40 Databox
  • 30:58 KC Sivaramakrishnan30:58 KC Sivaramakrishnan
  • 31:04 Multicore OCaml31:04 Multicore OCaml
  • 32:47 RISC-V32:47 RISC-V
  • 33:13 Algebraic Effects33:13 Algebraic Effects
  • 35:31 Reagents for multicore OCaml35:31 Reagents for multicore OCaml

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Post navigation

Next PostNext MP002 Gabriel Scherer

Mirage Profiles

Some random interviews by Tim Pritlove with developers at the mirageOS hacker retreat in Marrakesh in December 2017.

Subscribe to podcast

Easily subscribe to this podcast with the Podlove Subscribe Button.

Proudly powered by WordPress
Metaebene
  • CRE
  • Freak Show
  • Logbuch:Netzpolitik
  • Raumzeit
  • UKW

Aktive Podcasts

  • CRE: Technik, Kultur, Gesellschaft

    Der Interview-Podcast mit Tim Pritlove

  • Logbuch:Netzpolitik

    Einblicke und Ausblicke in das netzpolitische Geschehen

  • UKW

    Unsere kleine Welt. Euer Wegbegleiter bei internationalen Krisen.

  • Raumzeit

    Der Podcast mit Tim Pritlove über Raumfahrt und andere kosmische Angelegenheiten

  • Freak Show

    Menschen! Technik! Sensationen!

Pausierte Podcasts

  • Newz of the World

    Stay in touch with world newz, trends and tendencies

  • Der Lautsprecher

    Ein Podcast über das Senden und Empfangen werden

  • Not Safe For Work

    Die Internationale Unterhaltungsgala mit Tim Pritlove und Holger Klein

  • Metaebene

    Aktuelles, Interessantes und Irrelevantes aus der Metaebene

  • Forschergeist

    Horizonte für Bildung und Forschung

Archivierte Podcasts

  • Kolophon

    Der Podcast von O'Reilly Deutschland mit Tim Pritlove

  • Fokus Europa

    Gespräche über die europäische Idee

  • Webciety 01Podcast

    Trendschnorcheln mit Tim und Max

  • dieGesellschafter

    Interview-Serie der Aktion Mensch (2009, Archiv)

  • Bundesradio

    Der Politik-Podcast aus Berlin