--- title: "Thomas Gazagnaire :: O(x)Caml in Space" url: https://daily.dev/posts/thomas-gazagnaire-o-x-caml-in-space-izjauqgnt source_url: https://gazagnaire.org/blog/2026-05-14-borealis.html type: article source: "Hacker News" published: 2026-05-15T12:53:03.417Z updated: 2026-05-15T12:53:35.248Z tags: ["quantum-computing", "ocaml"] reading_time: 11 upvotes: 1 comments: 0 language: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Thomas Gazagnaire :: O(x)Caml in Space **[Hacker News](https://daily.dev/sources/hn)** · 11 min read · 1 upvotes · 0 comments ## Summary Parsimoni successfully deployed a pure-OCaml CCSDS protocol stack called Borealis to low Earth orbit on DPhi Space's ClusterGate-2 satellite on April 23, 2026. The stack implements end-to-end encrypted command and control with post-quantum key rotation (ML-DSA-65) via OTAR — claimed to be the first public in-orbit demonstration of post-quantum OTAR. OCaml was chosen for memory safety (eliminating the ~70% of CVEs from memory corruption in C/C++), with formally verified cryptographic primitives and GADT-encoded protocol state machines. The post also covers OxCaml (Jane Street's compiler branch), which uses locality and stack allocation annotations to reduce p99.9 dispatch latency from 29ns to 9ns and eliminate GC pressure entirely on the CCSDS hot path. The system runs on an Arm Cortex-A53 SoC as a statically linked Docker image, leveraging MirageOS libraries that have been in production for a decade. Future work focuses on fleet management, signed updates, and payload isolation across multiple satellites. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [C\+\+ and OCaml in the Trading Machine](https://daily.dev/posts/c-and-ocaml-in-the-trading-machine-m26ysfgui) · Medium · 0 upvotes · 0 comments --- Tags: [#quantum-computing](https://daily.dev/tags/quantum-computing), [#ocaml](https://daily.dev/tags/ocaml) [View this post on daily.dev](https://daily.dev/posts/thomas-gazagnaire-o-x-caml-in-space-izjauqgnt)