Hello world, finally this is live :-)
The last couple of weeks have been pretty intense as I've been moving to LA with my family. I am spending six months here, working on Parsimoni and getting closer to the US space industry.
Last week I visited NASA's Jet Propulsion Laboratory (JPL) and saw Voyager 2's control room -- still running after 48 years. Optimism, Perseverance's ground twin, was rolling over Pasadena sand in a test enclosure next door. I also attended the F Prime workshop and completed two workshops on flight software engineering. F Prime is NASA's open-source flight software framework. Over 100 people attended -- university and student teams, internal JPL product teams, and large projects like HPSC. Only a small bunch of us were not from the US.
The recurring theme in every conversation: flying a helicopter on Mars is now routine, but deploying shared payload software to a satellite is still real science fiction (no pressure!).
On the Tarides side, the team continues to maintain and develop the OCaml platform -- opam, Dune, Merlin, odoc -- while I am on a different timezone. Lots of things are happening (see the Tarides blog) and many more are planned for 2026. In a world where people write apps by chatting with AI bots, core language tools are even more important to make sure we keep trust in our software systems (more on this later in this blog, hopefully).
I intend to write here more regularly this year -- about SpaceOS, the OCaml platform, and what happens when you try to put unikernels in orbit. Stay tuned.