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