))
MP001 Anil Madhavapeddy
Manage episode 259811437 series 2659583
コンテンツは Tim Pritlove によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Tim Pritlove またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
Anil Madhavapeddi on his research and how mirageOS came to be.
…
continue reading
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 つのエピソード
シェア
