OCaml Planet
25 stories
OCaml PlanetLanguagesNotes from week 44 Greenland is being processed into the Zarr store on a single L4; day10 stopped refreshing its base images and started carrying every package it might need; a five-year-old lwt workaround turned out…
OCaml PlanetLanguagesconsole: Making OCaml Command-Line Tools Look Good A command-line tool can print lines, which stay in the terminal's scrollback but look plain. Or it can take over the screen like a full-screen app, which looks good until it exits and takes its…
OCaml Planet
OCaml PlanetLanguagesMigrating Mollymawk to mkernel, mnet, and vif Moving Mollymawk from MirageOS and Lwt to our new OCaml 5 unikernel ecosystem.
OCaml PlanetLanguagesTessera: A New Era of Open-Source Earth Intelligence from Space We've all seen satellites drifting by at night, and wondered how many are actually up there. With how long they have been observing Earth, it is unsurprising that satellites have accumulated a vast…
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 27 Oct 2026 uniker.nl - Unikernels in OCamlAnnouncing segmap, a fast data structure for renamingshexen.0.1intel_hex.1.0Js_of_ocaml / Wasm_of_ocaml 6.5TIFF Inspector: an ocaml-tiff based inspector, with an…
OCaml PlanetLanguagesNotes from week 43 ocaml.org memory and CPU improvements; the first Tessera block processed straight into the Zarr store; a CephFS kernel bug that returned zeros for files that were fine; and day10 updates.
OCaml PlanetLanguagesk7: Keeping CLI Animations in Sync with Your Code I have always been a fan of asciinema and of Charm's VHS. asciinema records a terminal while you use it, and VHS types a script of commands into a terminal and films the result.
OCaml PlanetLanguages.plan-26-43: Wireguard meshes over troubled water Forester toplevels are working well in FoCS lectures, a smooth Patch the Planet week with Trail of Bits, and drowning in security reports.
OCaml Planet
OCaml PlanetLanguagesTracing Dune, with a side of graphs
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 20 Oct 2026 opentelemetry 0.92
OCaml Planet
OCaml PlanetLanguagesuniker.nl, our new website for unikernels A new workflow to develop and deploy unikernels
OCaml Planet
OCaml PlanetLanguagesA new workflow to develop and deploy unikernels Read the post on "A new workflow to develop and deploy unikernels" from our blog.
OCaml PlanetLanguagesNotes from week 42 day10 reverse dependencies are live and found a dune regression; the aardvark 2017 run finished; and the v2~beta1 Zarr store was rebuilt on a grid that no longer depends on its own data.
OCaml PlanetLanguages.plan-26-42: Tails of the unexpected Back to lecturing Foundations of CS, why List.tl raises, a record Tessera crowd at the CCI, and a sample of termtime meetings from Japanese AI governance to NVIDIA and samosa socials.
OCaml Planet
OCaml PlanetLanguagesThe Changing Craft of Programming with John Crepezzi John Crepezzi has spent his career building tools for other programmers—at Tumblr, at Square, and then at GitHub, where he worked on the merge queue and the early versions of Codespaces.
OCaml PlanetLanguagesThought Experiment #1 Yesterday evening I was at the first Thought Experiment, a new series of informal evenings on how "AI is changing the way we code, find vulnerabilities, and prove theorems".
OCaml PlanetLanguagesOCaml now has type recovery: when type checking goes wrong, but keeps going Merlin, the foundational library that underpins the reference implementation of the OCaml Language Server Protocol provides a wide range of practical features, including commands, code completion…
OCaml Planet
OCaml PlanetLanguagesImproving how Mollymawk handles data Refactoring Mollymawk's internal data structures and how it persists data.
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 13 Oct 2026 betacalendars 1.0.0 — deterministic date and calendar utilitiesSedlex 3.8.1opam 2.6.1shakuhachi v0.4.0Docfd: TUI multiline fuzzy document finder - 13.1.3 + proper user guideOUPS meetup october…
OCaml PlanetLanguagesNotes from week 41 NPY to Zarr has been completed for v1 and v1.1; day10 revdeps; Tessera tools packaged and failures in bench.ci.dev.
OCaml PlanetLanguages.plan-26-41: Hello, is it Part II you're looking for? The Foundations of Computer Science notes are now done as a Forest with live OCaml toplevels, and Part II projects sorted.
OCaml PlanetLanguagesOCaml's module language is the perfect fit for agentic programming Write interfaces first, statically type check the design, then hand each module to an agent one at a time. OCaml's module language makes this a natural workflow for future formal methods too.
OCaml Planet
OCaml PlanetLanguagesZostera, our new implementation of WireGuard in OCaml How to implement a VPN in OCaml
OCaml PlanetLanguagesAn Overview of OCaml Release Readiness: How Does the OCaml Ecosystem Stay Up-to-Date with the Compiler? What is the OCaml ecosystem doing to make upgrading to the latest version of the language seamless? When the OCaml compiler receives a new update, it has the potential to have wide-ranging effects to…
Nothing matches this filter yet.