OCaml Planet
25 stories
OCaml PlanetLanguagesA Work-Stealing Scheduler in OCaml The Chase-Lev deque from scratch, per-domain workers, random victim selection, and a fork/join layer built on top, using Domain and Atomic.
OCaml PlanetLanguagesLenses and Prisms in OCaml An optics library whose kinds are a phantom polymorphic variant, and a ppx that derives lenses from records, prisms from variants, and both from field paths and patterns.
OCaml PlanetLanguagesTesting Mollymawk Building a test suite for Mollymawk and an automated CI on FreeBSD.
OCaml Planet
OCaml PlanetLanguagesOcsigen Server 8.0.0: one command, and a modernized API Ocsigen Server 8.0.0 is out. Running a web server no longer needs a configuration file: ocsigenserver ./public serves a directory, and ocsigenserver --reverse-proxy http://localhost:9000 puts a proxy…
OCaml Planet
OCaml PlanetLanguagesLearning Goals and the Goals of Learning: Teaching in the Age of AI with Aaron Bauer Aaron Bauer is a software engineer and one of Jane Street's few developer educators—a role that splits his time between writing code and teaching other people how to write it.
OCaml PlanetLanguagesRewriting Tailwind CSS in OCaml: Is It (Pixel-)Correct? I really like Tailwind CSS. Keeping styles next to the HTML makes it much easier to keep the two in sync.
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 22 Sep 2026 ortac-0.8 specification-driven testing with DomainsBlog post on static linkingopam 2.6.0 is out!Unicode 18.0.0 update for Uucd, Uucp, Uunf and Uusegozstd 0.1rtree 0.3.0opam-monore 0.5.0boulodrome…
OCaml PlanetLanguagesNotes from week 38 Converting icechunk to zarr using Fargate workers; rebuilding the Tessera dispatcher around Zarr shards instead of 0.1 degree tiles, and day10 going live with all amd64 distributions.
OCaml PlanetLanguages.plan-26-38: Near, far, wherever you are, Tessera infers on Working through dClimate's wall-to-wall v1.1 Tessera embeddings, and finding threatened species near you with the Dash of Life.
OCaml PlanetLanguagesImplementing SAT in OCaml Part 5 A hand-written C stub binding to Z3, run against the same difference-logic benchmarks as the from-scratch solver, and where it falls over.
OCaml PlanetLanguagesFormal Verification: Release of Ortac 0.8.0 for Testing with Domains Ortac 0.8.0 generates QCheck-STM test suites that check OCaml libraries for parallel safety with multiple SUTs. Here are the design choices behind it.
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 15 Sep 2026 The first release candidate (2.6.0~rc1) is here. If all goes well this should be the last pre-release before the stable release of 2.6.0. Please tell us if you notice any regression.
OCaml PlanetLanguagesA tour of the OCaml Workshop 2026 This year, for the first time, the Functional Programming Workshops were held in Paris, on Inria's, the French National Computer Science Research Institute, campus along with a watch party for the…
OCaml Planet
OCaml PlanetLanguagesNotes from week 37 day10 now runs side-by-side with OBuilder on the RISC-V opam-repo-ci workers, and the layer cache shows why it wins.
OCaml PlanetLanguagesMore tree-sitter, more neocaml, more elisp Back in April I wrote about spending a month on elisp where I created tree-sitter grammars for the OCaml mini-languages (think dune, opam and odoc) and used them to improve OCaml support in Emacs.
OCaml PlanetLanguages.plan-26-37: The humans aren't dead, the humans are ahead Mathematics gets its AI reckoning after security, thinking through formative assessment for the CST Tripos, triaging Scrutineer bugs without panicking, and an Echo Labs visit.
OCaml PlanetLanguagesIntroduction to Yojson Safe vs Basic, the Yojson.Safe.t variants, manual construction and traversal, Util helpers, streaming, and ppx_deriving_yojson.
OCaml PlanetLanguagesImplementing SAT in OCaml Part 4 A real linear-arithmetic fragment: difference logic atoms x - y <= k, decided by Bellman-Ford negative-cycle detection with explanations.
OCaml PlanetLanguagesOpen MPhil/Part II student projects for 2026-2027 A refreshed set of Part II and MPhil projects, split between environmental science problems that need computer science, and more conventional systems and programming languages topics.
OCaml Planet
OCaml PlanetLanguagesOCaml Weekly News, 08 Sep 2026 I've been working in the OCaml backend mainly in native emission and asmcomp swapping out calls to C for instructions for each architecture the compiler supports.
OCaml PlanetLanguagesSummer notes The notion of making docs a 'first class' feature of OCaml seemed pretty important to me, so I applied to present it at the OCaml Workshop, and it got accepted!
OCaml Planet
OCaml PlanetLanguagesTyXML 5.0.0: the HTML living standard and SVG 2 New elements: s , bdi , search , data , slot , and track with its kind , srclang and default attributes, which audio and video take through a new ?tracks argument.
OCaml Planet
OCaml PlanetLanguagesNotes from week 36 Correcting last week’s opam-repo-ci overlay, running day10 alongside OBuilder on every job, and fixing the Windows sparse-file error at its source.
OCaml PlanetLanguages.plan-26-36: Ground control to major MODIS Tessera v2 beta2 smooths space at the cost of time, new Pembroke Associate Scholars, Scrutineer's git remediation workflow, paying the Windows tax, and retiring AI disclosure metadata.
Nothing matches this filter yet.