Articles on space

Discover our latest posts on #space and explore related insights and stories.

Browse:

All #education #esa #hacking #in-orbit #mirageos #news #ocaml #partnership •#space #spaceos #technology #unikernels

Thu, 14 May 2026

O(x)Caml in Space

On 23 April, Borealis booted in orbit on DPhi Space's ClusterGate-2: a pure-OCaml CCSDS protocol stack with end-to-end-encrypted command and control and post-quantum key rotation. OxCaml is what comes next.

#ocaml #space #unikernels

Wed, 15 Apr 2026

by Thomas Gazagnaire

Reimplementing the Space Protocol Stack from Scratch

The full stack from Space Packets to SDLS encryption, with an interactive demo and interop tests that found bugs in two reference implementations.

#ocaml #space

Tue, 07 Apr 2026

by Thomas Gazagnaire

Predicting Satellite Collisions in OCaml

Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.

#ocaml #space

Tue, 31 Mar 2026

by Thomas Gazagnaire

Describing Binary Formats in OCaml

EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.

#ocaml #space

Thu, 12 Mar 2026

by Thomas Gazagnaire

From Cannes to Los Angeles: Visiting the People Who Build Satellites

Visiting satellite production lines in Los Angeles, and why the questions have changed since 2022.

#space

Tue, 10 Mar 2026

by Thomas Gazagnaire

Apparently I Have Been Writing Flight Software All Along

I wrote the MirageOS configuration tool. NASA's FPP does the same job for flight software. So I pointed FPP at MirageOS. It works.

#ocaml #space

Wed, 25 Feb 2026

by Thomas Gazagnaire

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.

#space

Mon, 23 Feb 2026

by Thomas Gazagnaire

From ASPLOS to Orbit: Unikernels Twelve Years Later

The ASPLOS unikernels paper won its test-of-time award in 2025. Twelve years later, where does the thesis hold?

#space #unikernels

Thu, 19 Feb 2026

by Thomas Gazagnaire

F Prime Looks a Lot Like MirageOS (but in C++)

Comparing NASA's F Prime flight framework with OCaml's MirageOS: state machines, type safety, and wiring patterns.

#ocaml #space

Tue, 17 Feb 2026

by Thomas Gazagnaire

New Year, New Blog

Launching a new blog about OCaml, systems programming, and space software.

#space