Computer Laboratory

OCaml Labs

Recent Posts

Apr 06, 2015 Let's Play Network Address Translation: The Home Game Mindy Preston
Apr 03, 2015 Towards Heroku for Unikernels: Part 2 - Self Scaling Systems Amir Chaudhry
Apr 02, 2015 Apr 2015 news update Anil Madhavapeddy
Mar 31, 2015 Towards Heroku for Unikernels: Part 1 - Automated deployment Amir Chaudhry
Mar 25, 2015 Opam Switch to Multicore OCaml KC Sivaramakrishnan
Mar 25, 2015 A unikernel experiment: A VM for every URL Magnus Skjegstad
Mar 19, 2015 Part 3: Running your own DNS Resolver with MirageOS Heidi Howard
Mar 02, 2015 Part 2: Running your own DNS Resolver with MirageOS Heidi Howard
Feb 18, 2015 Part 1: Running your own DNS Resolver with MirageOS Heidi Howard
Feb 10, 2015 Smash the Bitcoin Pinata for fun and profit! Amir Chaudhry
Feb 05, 2015 South of England Regional Programming Language Seminar (S-REPLS) Compiler Hacking
Feb 05, 2015 Ninth OCaml compiler hacking evening (back in the lab, with a talk from Oleg) Compiler Hacking
Jan 21, 2015 Securing the Unikernel Thomas Leonard
Jan 19, 2015 Local MirageOS development with Xen and Virtualbox Magnus Skjegstad
Jan 08, 2015 Towards a governance framework for OCaml.org Amir Chaudhry
Dec 31, 2014 Mirage 2014 review: IPv6, TLS, Irmin, Jitsu and community growth Anil Madhavapeddy
Oct 27, 2014 Visualising an asynchronous monad Thomas Leonard
Sep 23, 2014 Eighth OCaml compiler hacking evening (at Mill Lane, by the river) Compiler Hacking
Sep 17, 2014 Simplifying the solver with functors Thomas Leonard
Aug 15, 2014 Optimising the unikernel Thomas Leonard
Jul 28, 2014 My first unikernel Thomas Leonard
Jul 25, 2014 Release of “ARC: Analysis of Raft Consensus” Heidi Howard
Jul 24, 2014 Seventh OCaml compiler hacking session (at Citrix) Compiler Hacking
Jul 22, 2014 Mirage v2.0: a recap of the new features Anil Madhavapeddy
Jul 22, 2014 Building an ARMy of Xen unikernels Thomas Leonard
Jul 21, 2014 Using Irmin to add fault-tolerance to the Xenstore database Dave Scott
Jul 18, 2014 Introducing Irmin: Git-like distributed, branchable storage Thomas Gazagnaire
Jul 17, 2014 Fitting the modular Mirage TCP/IP stack together Mindy Preston
Jul 16, 2014 Vchan: Low-latency inter-VM communication channels Jon Ludlam
Jul 15, 2014 Modular foreign function bindings Jeremy Yallop
Jul 14, 2014 OCaml-TLS: the protocol implementation and mitigations to known attacks David Kaloper
Jul 11, 2014 OCaml-TLS: ASN.1 and notation embedding David Kaloper
Jul 10, 2014 OCaml-TLS: Adventures in X.509 certificate parsing and validation Hannes Mehnert
Jul 09, 2014 OCaml-TLS: building the nocrypto library core David Kaloper
Jul 08, 2014 Introducing transport layer security (TLS) in pure OCaml Hannes Mehnert
Jul 08, 2014 Mirage 1.2 released and the 2.0 runup begins Anil Madhavapeddy
Jun 24, 2014 Highlights from recent sessions Compiler Hacking
Jun 20, 2014 Sixth OCaml compiler hacking session Compiler Hacking
Jun 06, 2014 Python to OCaml: retrospective Thomas Leonard
May 08, 2014 Welcome to the summer Mirage hackers Anil Madhavapeddy
Apr 29, 2014 Writing Planet in pure OCaml Amir Chaudhry
Apr 24, 2014 Fifth OCaml compiler hacking session Compiler Hacking
Mar 10, 2014 From Jekyll site to Unikernel in fifty lines of code. Amir Chaudhry
Feb 25, 2014 MirageOS is in Google Summer of Code 2014 Anil Madhavapeddy
Feb 13, 2014 OCaml: what you gain Thomas Leonard
Feb 11, 2014 Mirage 1.1.0: the eat-your-own-dogfood release Anil Madhavapeddy
Feb 11, 2014 Fourth OCaml compiler hacking session Compiler Hacking
Feb 04, 2014 How to handle success Compiler Hacking
Jan 07, 2014 OCaml: the bugs so far Thomas Leonard
Jan 03, 2014 Presenting Decks Richard Mortier
Dec 29, 2013 Dec 2013 news update Anil Madhavapeddy
Dec 20, 2013 Polymorphism for beginners Thomas Leonard
Dec 19, 2013 Mirage 1.0.3 released; tutorial on building this website available Anil Madhavapeddy
Dec 09, 2013 Mirage 1.0: not just a hallucination! Anil Madhavapeddy
Nov 28, 2013 Asynchronous Python vs OCaml Thomas Leonard
Nov 26, 2013 Switching from Bootstrap to Zurb Foundation Amir Chaudhry
Nov 20, 2013 Announcing the new OCaml.org Amir Chaudhry
Nov 06, 2013 Migration plan for the OCaml.org redesign Amir Chaudhry
Oct 30, 2013 Third OCaml compiler hacking session Compiler Hacking
Oct 28, 2013 Review of the OCaml FPDays tutorial Amir Chaudhry
Oct 22, 2013 FP Days OCaml Session Amir Chaudhry
Oct 13, 2013 OCaml tips Thomas Leonard
Oct 08, 2013 FPDays 2013 Real World OCaml tutorial in Cambridge Anil Madhavapeddy
Oct 06, 2013 Using Travis for secure deployments with SSH Anil Madhavapeddy
Oct 03, 2013 Intellisense for OCaml with Vim and Merlin Anil Madhavapeddy
Oct 02, 2013 Liveblogging the first Human Data Interaction workshop Anil Madhavapeddy
Sep 30, 2013 Test your OCaml packages in minutes using Travis CI Anil Madhavapeddy
Sep 28, 2013 Experiences with OCaml objects Thomas Leonard
Sep 24, 2013 Feedback requested on the OCaml.org redesign Amir Chaudhry
Sep 24, 2013 Liveblogging OCaml Workshop 2013 Anil Madhavapeddy
Sep 22, 2013 Liveblogging CUFP 2013 Anil Madhavapeddy
Sep 20, 2013 OPAM 1.1 beta available, with pretty colours Anil Madhavapeddy
Sep 17, 2013 Inaugural compiler hackers meeting Compiler Hacking
Sep 17, 2013 OCaml Monthly Meeting – Live Blog Heidi Howard
Sep 16, 2013 Camlpdf, the first good command-line PDF tool I've found Anil Madhavapeddy
Sep 09, 2013 OCaml Development in Vim Heidi Howard
Sep 09, 2013 OCamlot--exploring the edges of OPAM packages Anil Madhavapeddy
Aug 31, 2013 Option handling with OCaml polymorphic variants Thomas Leonard
Aug 28, 2013 ICFP, CUFP & OCaml2013 Heidi Howard
Aug 23, 2013 Introducing vchan Vincent Bernardoff
Aug 19, 2013 Real World OCaml beta3 release Heidi Howard
Aug 08, 2013 Mirage travels to OSCON'13: a trip report Richard Mortier
Aug 06, 2013 Final Real World OCaml beta; the good, the bad and the ugly Anil Madhavapeddy
Aug 01, 2013 OCaml Lecture Notes Heidi Howard
Jul 18, 2013 Creating Xen block devices with Mirage Dave Scott
Jul 10, 2013 Profiling OCaml – Getting Started Guide Heidi Howard
Jul 07, 2013 OCaml binary compatibility Thomas Leonard
Jun 20, 2013 Replacing Python: second round Thomas Leonard
Jun 17, 2013 Phew, Real World OCaml beta now available. Anil Madhavapeddy
Jun 09, 2013 Replacing Python: candidates Thomas Leonard
Jun 01, 2013 Jun 2013 news update Anil Madhavapeddy
May 20, 2013 The road to a developer preview at OSCON 2013 Anil Madhavapeddy
May 01, 2013 May 2013 news update Anil Madhavapeddy
Apr 01, 2013 Apr 2013 news update Anil Madhavapeddy
Mar 14, 2013 Wireframe demos for OCaml.org Amir Chaudhry
Mar 10, 2013 Adding namespaces to OCaml Leo White
Mar 01, 2013 Mar 2013 news update Anil Madhavapeddy
Feb 05, 2013 An alternative to camlp4 - Part 2 Leo White
Feb 01, 2013 Feb 2013 news update Anil Madhavapeddy
Jan 23, 2013 An alternative to camlp4 - Part 1 Leo White