[ofrzeta]

TIL that OCaml is used in Docker Desktop's VPNkit - or I misinterpret the Tarides uses cases page: https://tarides.com/solutions

[yawaramin]

It definitely is, they blogged about it just a few days ago: https://www.docker.com/blog/how-docker-desktop-networking-wo...

[pjmlp]

It is, there is even a talk about it somewhere, it reuses code from MirageOS.

[ghthor]

There is mention during this podcast.

https://signalsandthreads.com/what-is-an-operating-system/