Blog
The OCaml Planet RSS
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
Tessera v1.1 now also synced to Source Cooperative but we're short on GPUs for v2, Scrutineer security scans driven by a local GLM, PROPL 2026 videos are live, and TDM reservations in OCaml for Evidence TAP.
From backtracking to CDCL: a trail, decision levels, first-UIP conflict analysis, clause learning, and non-chronological backjumping.
Testing day10 on the RISC-V path in OCaml-CI, diagnosing failed Windows containerd commits, and measuring the Tessera / Microsoft Planetary Computer download bottleneck.
A command-first tour of OCaml documentation: doc comments, markup, cross-references, .mld pages, and publishing the result.
TESSERA v2 beta embeddings are in the TZE explorer, security embargoes being outrun by agents, opam packages now need humans behind them, prometheus and eio releases
Thinking through how the conventional OSS security embargoes no longer buy us time, and what open source maintainers might do instead to respond
CNF, unit propagation, a full recursive DPLL solver, pure literal elimination, a DIMACS parser, and a command-line driver.
This week, six million Tessera S3 objects were renamed. ocaml-gdal was extended to handle vector formats. FreeBSD CI performance investigations and OCaml compiler updates. Further work on day10 and OCaml CI.
