Thomas Leonard's blog

Investigating Linux graphics

Trying Tamarin on Applied Cryptography

OCaml 5 performance part 2

OCaml 5 performance problems

Lambda Capabilities

Isolating Xwayland in a VM

Qubes-lite with KVM and Wayland

CI/CD pipelines: Monad, Arrow or Dart?

Using TLA+ to understand Xen vchan

A Unikernel Firewall for QubesOS

CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB

CueKeeper: Gitting Things Done in the browser

Securing the Unikernel

Visualising an asynchronous monad

Simplifying the solver with functors

Optimising the unikernel

My first unikernel

Python to OCaml: retrospective

OCaml: what you gain

OCaml: the bugs so far