LINKS:
MP008 Hannes Mehnert
LINKS:
- 00:50 Marrakesh
- 01:03 Priscilla - Queen of the Medina
- 01:14 Mirleft
- 02:08 ocaml-tls
- 05:31 Dylan
- 05:43 Andreas Bogk
- 06:01 ICFP Programming Contest
- 07:07 Coq
- 09:31 Network Night Vision
- 10:27 CCC Congress
- 10:32 Onion Routing
- 10:56 TLS
- 11:00 X.509
- 11:04 ASN.1
- 11:14 TLV
- 11:57 David Kaloper
- 13:14 ocaml-asn1-combinators
- 15:53 ocaml-nocrypto
- 19:08 Hannes' blog
- 19:15 Name Server
- 20:04 BTC Piñata
- 22:55 Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation
- 24:14 Lucky Thirteen
- 26:17 Trusted Computing Base
- 26:36 Minix
- 26:39 Intel ME
- 32:05 HalVM
- 32:18 IncludeOS
MP007 Joe
LINKS:
MP006 Martin Lucina
MP005 Thomas Gazagnaire
LINKS:
MP004 Christiano Haesbaert
LINKS:
- 01:56 Marcelo Tosatti
- 02:03 OpenBSD
- 03:10 Scheme
- 04:08 Anil Madhavapeddy
- 04:35 Real World OCaml
- 05:20 MirageOS
- 06:04 Charrua / A DHCP library in OCaml
- 06:08 Docker
- 09:25 SSH
- 10:43 nocrypto
- 11:33 Awá SSH library
- 12:35 Pthreads
- 20:45 OpenBSD VMM (virtual machine monitor)
- 21:06 Xen
- 21:59 IKE (Internet Key Exchange)
- 21:59 Pure OCaml IKEv2
- 22:34 FreeBSD
MP003 Mindy Preston
LINKS:
MP002 Gabriel Scherer
LINKS:
- 00:51 Hannes Mehnert
- 01:57 Caml
- 02:08 Caml Light
- 03:26 ML
- 03:50 F#
- 03:58 Haskell
- 04:42 Prolog
- 04:42 Declarative programming
- 05:45 Lisp
- 05:52 Clojure
- 07:02 Ruby
- 10:12 Charrua-Core
- 11:46 Fuzzing
- 11:52 Stephen Dolan
- 11:54 Mindy Preston
- 12:17 Anil Madhavapeddy
- 14:43 AFL (American Fuzzy Lop)
- 16:27 Damien Doligez
- 16:28 Xavier Leroy
MP001 Anil Madhavapeddy
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