Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS

We entrust some of our most sensitive information to an invisible stream of information flowing back and forth across the globe…

05 Jun 2024

Tarides

Read Article
OCaml in Space - Welcome SpaceOS!

Our mission is to build sustainable and secure software infrastructure that will not only work for decades but also positively impact the…

31 Jul 2023

Tarides

Read Article
MirageOS 4 Released!

Tarides is delighted to announce that MirageOS 4 is finally released! As core contributors to the project, we are proud to have been part of…

29 Mar 2022

Tarides

Read Article
Tarides Returns to FIC 2021

Last year, Tarides had the honour of winning the “Coup de Coeur” Startup Award at the International Cybersecurity Forum (FIC). It’s the…

06 Sep 2021

Tarides

Read Article
The future of Tezos on MirageOS

We are very glad to announce that Tarides has been awarded two new grants from the Tezos Foundation. Thanks to these new grants, Tarides…

20 Apr 2020

Tarides

Read Article
MirageOS talk at the Paris Open Source Summit

We are thrilled to have been selected by the Paris Open Source Summit committee to talk about “Secure-by-design IoT applications using…

04 Dec 2019

Tarides

Read Article