MP001 Anil Madhavapeddy
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on November 19, 2023 05:12 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 259811437 series 2659583
LINKS:
- 01:15 University of Cambridge - The Computer Laboratory
- 02:41 Robin Milner
- 05:08 Light-weight Threads
- 06:07 XenStore
- 08:05 Library Operating Systems
- 09:14 Unikernel
- 12:48 LifeDB
- 15:44 Xavier Leroy
- 15:47 Coq
- 15:53 CompCert
- 17:14 Inria
- 17:21 OCaml Labs
- 17:33 Thomas Gazagnaire
- 17:38 Opam
- 19:28 Hannes Mehnert
- 19:46 Mirleft
- 20:00 ocaml-tls
- 20:01 ocaml-asn1-combinators
- 20:03 ocaml-x509
- 20:09 David Kaloper
- 22:33 ReasonML
- 26:19 Christiano Haesbaert
- 26:22 Awá SSH library
- 26:47 Hindley–Milner type system
- 28:59 docs.mirage.io
- 29:40 Databox
- 30:58 KC Sivaramakrishnan
- 31:04 Multicore OCaml
- 32:47 RISC-V
- 33:13 Algebraic Effects
- 35:31 Reagents for multicore OCaml
9 episodes