OCaml-based CCSDS protocol stack successfully deployed in low Earth orbit
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…
Read the full articleYou might also wanna read
Voyager Space and IBM Successfully Test Post-Quantum Security on ISS Communication Link
Voyager Space and IBM have successfully demonstrated a post-quantum secured communication link between Earth and the International Space Sta
quantumcomputingreport.com·1mo ago
The orbital data center race: Can space-based AI processing overcome immense technical hurdles?
What if the next time you sent a question to OpenAI’s ChatGPT or Google’s Gemini, the answer didn’t come from microchips inside a massive bu
aerospaceamerica.aiaa.org·10d agoIntroducing OxCaml
At Jane Street, we’ve been actively making improvements to OCaml for a long time. Over the last few years, we’ve started to build some fairl
The Consensus Weekly: OxCaml's Zero-Allocation Annotation and Software Infrastructure Roundup
The Consensus provides research and analysis for experienced developers, as well as funding news at companies with interesting problems in s
theconsensus.dev·12d agoOxidizing OCaml: Data Race Freedom
OCaml with Jane Street extensions is available from our public opam repo . Only a slice of the features described in this series are current
Using Python and OCaml in the same Jupyter notebook
The cover image is based on Jupiter family by NASA/JPL.
Comments
Sign in to join the conversation.
No comments yet. Be the first.