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 Laboratory 01:15 University of Cambridge - The Computer Laboratory
  • 02:41 Robin Milner 02:41 Robin Milner
  • 05:08 Light-weight Threads 05:08 Light-weight Threads
  • 06:07 XenStore 06:07 XenStore
  • 08:05 Library Operating Systems 08:05 Library Operating Systems
  • 09:14 Unikernel 09:14 Unikernel
  • 12:48 LifeDB 12:48 LifeDB
  • 15:44 Xavier Leroy 15:44 Xavier Leroy
  • 15:47 Coq 15:47 Coq
  • 15:53 CompCert 15:53 CompCert
  • 17:14 Inria 17:14 Inria
  • 17:21 OCaml Labs 17:21 OCaml Labs
  • 17:33 Thomas Gazagnaire 17:33 Thomas Gazagnaire
  • 17:38 Opam 17:38 Opam
  • 19:28 Hannes Mehnert 19:28 Hannes Mehnert
  • 19:46 Mirleft 19:46 Mirleft
  • 20:00 ocaml-tls 20:00 ocaml-tls
  • 20:01 ocaml-asn1-combinators 20:01 ocaml-asn1-combinators
  • 20:03 ocaml-x509 20:03 ocaml-x509
  • 20:09 David Kaloper 20:09 David Kaloper
  • 22:33 ReasonML 22:33 ReasonML
  • 26:19 Christiano Haesbaert 26:19 Christiano Haesbaert
  • 26:22 Awá SSH library 26:22 Awá SSH library
  • 26:47 Hindley–Milner type system 26:47 Hindley–Milner type system
  • 28:59 docs.mirage.io 28:59 docs.mirage.io
  • 29:40 Databox 29:40 Databox
  • 30:58 KC Sivaramakrishnan 30:58 KC Sivaramakrishnan
  • 31:04 Multicore OCaml 31:04 Multicore OCaml
  • 32:47 RISC-V 32:47 RISC-V
  • 33:13 Algebraic Effects 33:13 Algebraic Effects
  • 35:31 Reagents for multicore OCaml 35: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