Articles by Jan Midtgaard

Explore articles by Jan Midtgaard, featuring deep insights into systems programming, distributed computing, and cutting-edge technology. Discover the author's unique perspective and technical expertise that contribute to innovation at Tarides.

Wed, 24 Apr 2024

Under the Hood: Developing Multicore Property-Based Tests for OCaml 5

In 2022, Multicore OCaml became reality. Programming on multiple threads brings new possibilities, but also new complexities. In order to foster confidence in OCaml 5 and retain OCaml's reputation as a trustworthy and memory-safe platform, Tarides has developed multicoretests: Two property-based tes…

Jan Midtgaard

Principal Software Engineer

Fri, 28 Oct 2022

The MirageOS Retreat: A Journey of Food, Cats, and Unikernels

MirageOS is an OCaml ecosystem to construct unikernels, i.e., minimal operating systems. Here, we write about our social and technical experience at the MirageOS retreat in Morocco, as well as the vibe and wonderful organisational details. To sum up the technical part, we worked on different facets …

Jules Aguillon

Senior Software Engineer

Sayo Bamigbade

Intern Software Engineer

Enguerrand Decorne

Senior Software Engineer

Sonja Heinze

Senior Software Engineer

Jan Midtgaard

Principal Software Engineer

Lucas Pluvinage

Senior Software Engineer