May 15, 2026
Ground control to Major Nerd
O(x)Caml in Space
A coding language just made it to orbit, and the comments are already fighting about it
TLDR: A safety-focused programming language has now been used on a real satellite system, a big deal because fixing security problems in space is much harder than on Earth. Commenters split between mocking language fanboys, praising the speed gains, and arguing the team may have overcomplicated the security design.
A little coding-language victory lap turned into a full-on comment-section soap opera after Parsimoni announced that its all-OCaml space software successfully booted in low Earth orbit. In plain English: they got a program written in a safety-focused language to run on a satellite system, locking commands and data behind heavy encryption so other people sharing the hardware can't snoop or meddle. For the builders, this is a huge flex: instead of trusting a shaky shared computer in space, they wrapped everything so tightly that even the satellite operator mostly sees scrambled data.
But the community? Oh, they were very online about it. One of the snarkiest drive-by reactions was basically, calm down, Jane Street isn't going to date you, mocking the OCaml fandom and instantly setting the tone. Another camp went the opposite way, cheering the performance angle and gushing over how the language can avoid memory messes and garbage-collection slowdowns with the right tweaks. Translation: some readers saw a nerdy moonshot, others saw a real engineering win.
And then came the skeptic energy. One commenter threw cold water on the whole celebration, arguing that space communication rules like CCSDS already force engineers to rebuild too much from scratch, so maybe memory safety isn't even the biggest danger here. Their hotter take: why not use something more familiar, like the encryption system behind secure web traffic, instead of inventing a custom fortress in orbit? Meanwhile, two perfectly timed "nice" comments landed like sitcom laugh-track buttons, proving once again that no matter how advanced the mission, the internet will still find room for a meme.
Key Points
- •Parsimoni says its pure-OCaml CCSDS protocol stack, Borealis, booted in low Earth orbit on 23 April inside DPhi Space’s ClusterGate-2 payload module.
- •The system provides encrypted command-and-control, BPSec protection, and OTAR-based key rotation, with support for post-quantum signing keys using ML-DSA-65.
- •Borealis runs as a daemon on both ground and satellite systems and exposes a client-server model for telemetry, commands, responses, and rekey requests.
- •Because ClusterGate-2 has no direct external network connectivity, Borealis uses DPhi’s file upload/download API as a delay-tolerant network, packaging data into BPv7 bundles written to disk.
- •The article argues that strong cryptographic protection is necessary for hosted-payload satellites because shared Linux-kernel environments can be undermined by recurring kernel vulnerabilities.