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.

The Internet needs an antibotty immune system, stat

Anthropic's Mythos makes autonomous vulnerability chaining across devices a sudden reality, so I've been thinking about how digital 'antibotty' inoculation networks may be needed far sooner than I expected.

08 Apr 2026

Anil Madhavapeddy's Blog

Read Article
Is Running Untrusted Code on a Satellite a Good Idea?

The problem statement: no isolation, no standard packaging, no OTA updates. Three missing pieces for multi-tenant satellite payloads.

25 Feb 2026

Thomas Gazagnaire

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
OCaml Receives the ACM SIGPLAN Programming Languages Software Award

OCaml has received one of the most prestigious awards in the field of programming languages, and we are very thrilled that four of the award…

20 Jun 2023

Tarides

Read Article
The Chaotic Debut of My Software Projects

I am no stranger to the exciting feeling of starting new projects. By dint of repeating this “exercise” over the years, I have come to build an intuitive process which “works for me.”

29 May 2023

Thomas Letan’s Blog

Read Article
Tarides is now a sponsor of the OCaml Software Foundation

Tarides is pleased to provide support for the OCaml Software Foundation, a non-profit foundation hosted by the Inria Foundation. The OCaml…

17 Sep 2020

Tarides

Read Article
Turning Down the LAMP: Software Specialisation for the Cloud

First HotCloud talk presenting the initial MirageOS concept for cloud software specialization.

22 Jun 2010

Anil Madhavapeddy's Blog

Read Article