ocaml

A practical guide introducing the Dune build system for OCaml, covering project setup, building libraries and executables, and testing.

Jane Street engineers introduce strace-ui, an interactive terminal UI for strace that simplifies syscall debugging with filtering, PID tracking, and man page integration, and highlight the TUI renaissance enabled by their Bonsai framework.

Jane Street announces Incremental, a library for building self-adjusting computations that efficiently update when inputs change, applicable to online algorithms, GUI construction, and configurable computations.

OxCaml, Jane Street's fork of the OCaml compiler, introduces compile-time guarantees against data races, enabling sequential consistency without runtime overhead. The blog post explains the new mode axes and their implications for parallel programming.

David Crawshaw argues that while the industry invests in Rust's lack of GC, Jane Street's OCaml with OxCaml demonstrates that GC is beneficial for most code paths, with only 1% needing performance optimization.

A pure-OCaml implementation of the CCSDS protocol stack, codenamed Borealis, successfully booted up on the DPhi Space ClusterGate-2 payload module in low Earth orbit, demonstrating safe and performant OCaml in space.