OCaml Labs Joins Tarides

#1

Post by S4M » Wed, Feb 02, 2022, 2:55 AM UTC

Re: OCaml Labs Joins Tarides

#2

Post by ofrzeta » Wed, Feb 02, 2022, 5:35 AM UTC

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

Re: OCaml Labs Joins Tarides

#3

Post by pjmlp » Wed, Feb 02, 2022, 5:50 AM UTC

ofrzeta wrote: post #2

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

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

Re: OCaml Labs Joins Tarides

#4

Post by yawaramin » Wed, Feb 02, 2022, 5:56 AM UTC

ofrzeta wrote: post #2

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

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

Re: OCaml Labs Joins Tarides

#5

Post by ghthor » Wed, Feb 02, 2022, 7:24 PM UTC

pjmlp wrote: post #3

ofrzeta wrote: post #2

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

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

There is mention during this podcast.

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