Tarides

I was in Chennai today for the launch of FP Launchpad, a new centre at the Indian Institute of Technology, Madras dedicated to crafting efficient, reliable and trustworthy software with mathematical guardrails. I believe having a well-funded, long-horizon centre of excellence in India is a big step forward for a country that produces the highest number of software engineers, but lacks a critical mass of PL research infrastructure... until now! We saw talks from the Centre head KC Sivaramakrishnan, Rishiyur Nikhil, Nikhil Swamy, Chester Rebeiro, Krishnan Raghavan, Ilya Sergey, Manas Thakur, Shriram Krishnamurthi and me in a packed day! I was also absolutely delighted to meet so many students, staff and faculty across the country. Read the lowdown about the day at https://lnkd.in/e8fPKFbB Congratulations to KC Sivaramakrishnan, my thanks to Jane Street for their generous support, and my excitement at continued stronger links between Indian Institute of Technology, Madras and the University of Cambridge!

MirageOS unikernels (https://mirage.io/) now run on seL4 (https://sel4.systems/)! 🚀 Used in safety-critical and high-assurance environments like defence and aerospace, seL4 is a natural fit as a hardware management system for MirageOS. ⚒️ seL4 is a formally verified microkernel that provides a capability system, virtual memory management, IPC, hypervisor support, and scheduling. Launched as part of Kacper Michalik’s internship project, we achieved support by taking a virtualisation approach. MirageOS unikernels run inside virtual machines managed by Microkit (https://lnkd.in/d5SxMYWh), which runs as seL4’s root task. seL4 manages the CPU scheduling and memory protection at the hypervisor level. This way, we preserved the entire MirageOS build system and bindings. Because MirageOS already had Solo5 bindings, we were able to reuse the existing virtualisation API rather than build them from scratch, which significantly reduced the implementation effort. Currently, the project supports aarch64 with a Solo5 ABI. Future improvements could include a custom ABI or VirtIO-based MirageOS bindings, expanding the driver ecosystem, and broadening platform support. The mirage-sel4-templates repo (https://lnkd.in/euVR6Qqd) with working examples has a minimal template that can have you running a MirageOS unikernel on seL4 in QEMU within minutes. Happy hacking! 🐫 Have you worked with seL4 or unikernels before? Drop a comment below! #OCaml #MirageOS #seL4 #unikernels #opensource

Collision tracking is becoming shared infrastructure. Since January 2026, the US Office of Space Commerce published open test data for conjunction assessment (with an answer key). SpaceX launched Stargaze. EUSST already screens for 600+ European satellites. Using this open data, I built the full screening pipeline in OCaml: orbit propagation, CDM parsing, collision probability, and a 3D globe. It matches the TraCSS answer key. The whole thing runs in the browser. The interesting part is portability. The same code, with no system dependencies, could run on a server or as a unikernel on a satellite. Today the ground loop consumes most of a 24-72 hour warning window. If the satellite runs the same algorithm on board, time to first assessment drops to seconds. https://lnkd.in/gMfvdcdV #space #OCaml #NewSpace #ssa

 I wanted to remove Node.js from my blog's build pipeline. So I started porting Tailwind CSS to OCaml. To validate the port, I needed a CSS diff tool. To build the diff tool, I needed a parser. The parser grew into a typed AST and an optimiser. The result is Cascade, a typed CSS toolkit covering Level 3 through 5 (including @layer, container queries, nesting, and the modern colour spaces that Tailwind v4 generates). A typo like dsiplay is a compile error. Passing a colour to padding is a type error. The optimiser merges duplicate rules while respecting cascade order. The post has an interactive demo compiled to JavaScript via js_of_ocaml: paste two CSS snippets and get a structural diff in your browser! https://lnkd.in/gBSb38kH  #OCaml #css #opensource #tailwindcss

Are you curious about using Dune? 🐫  Check out this new tutorial on our YouTube channel! It teaches you how to set up your first project and includes some common techniques like watch mode, creating and defining modules, and using Yojson. 💡 https://lnkd.in/e3Db9cyZ

[OCaml Planet] TESSERA now supports the Zarr geo-embeddings convention proposal: Community feedback reshaped our Zarr store layout — years became a dimension, shards got bigger, and we retired the TESSERA-specific convention in favour of a shared geo-embeddings standard that also covers other models.

Dive into static analysis and how it's used to verify properties of programs in Charlène Gros' Tech Talk on our YouTube channel 🐫 https://lnkd.in/eT3BzkBC