Blog Archive 2026 Proving liveness with TLA Jan 01 2026 2025 Linux mode setting, from the comfort of OCaml Nov 16 2025 Vulkan graphics in OCaml vs C Sep 20 2025 Investigating Linux graphics Jun 24 2025 Trying Tamarin on Applied Cryptography Apr 09 2025 2024 OCaml 5 performance part 2 Jul 22 2024 OCaml 5 performance problems Jul 22 2024 2023 Lambda Capabilities Apr 26 2023 2021 Isolating Xwayland in a VM Oct 30 2021 Qubes-lite with KVM and Wayland Mar 07 2021 2019 CI/CD pipelines: Monad, Arrow or Dart? Nov 14 2019 Using TLA+ to understand Xen vchan Jan 01 2019 2016 A Unikernel Firewall for QubesOS Jan 01 2016 2015 CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB Jun 22 2015 CueKeeper: Gitting Things Done in the browser Apr 28 2015 Securing the Unikernel Jan 21 2015 2014 Visualising an asynchronous monad Oct 27 2014 Simplifying the solver with functors Sep 17 2014 Optimising the unikernel Aug 15 2014 My first unikernel Jul 28 2014 Python to OCaml: retrospective Jun 06 2014 OCaml: what you gain Feb 13 2014 OCaml: the bugs so far Jan 07 2014 2013 Polymorphism for beginners Dec 20 2013 Asynchronous Python vs OCaml Nov 28 2013 OCaml tips Oct 13 2013 Experiences with OCaml objects Sep 28 2013 Option handling with OCaml polymorphic variants Aug 31 2013 OCaml binary compatibility Jul 07 2013 Replacing Python: second round Jun 20 2013 Replacing Python: candidates Jun 09 2013