Docker
Past Presentations
Fast, Flexible and Functional Programming With OCaml
OCaml is a fast, natively compiled programming language with imperative, object-oriented and functional features. It is over two decades old now, and is often used in niche but safety-critical areas such as formal verification (in Coq, Compcert). In recent years however, it has emerged as a...
Anil Madhavapeddy
University Lecturer @Cambridge_CL (Cambridge Computer Laboratory)
Gemma Gordon
Operations Director at OCaml Labs, University of Cambridge Computer Laboratory
The Modern Operating System in 2018
The last monolith is the operating system. There are tens or hundreds of millions of lines of code in the kernel, and orders of magnitude more in the userspace code that gets shipped with it. Not just any code, security critical code written in unsafe languages. Every other area of software has...
Justin Cormack
Developer @Docker