Overview
News
Technologies
Salaries
Products
People
Growth
Financials
News
An O(x)Caml book that runs
I am building a course, "Functional Programming with OCaml", for the NPTEL MOOC platform: twelve modules of recorded lectures. The course book is not a PDF and not a website with code listings you copy elsewhere. It is a website where the code runs, in yo
Read more
Report
Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB
In the previous post on capsules, I cheated. The lecture I was adapting (from my CS6868 course on language abstractions for parallelism) used Await_capsule.Mutex.with_lock , the recommended non-deprecated way to acquire a capsule mutex, but the post shipp
Read more
Report
Capsules: compile-time lock discipline in OxCaml
In the previous post we fixed the racy gensym with Portable.Atomic . That worked because the shared state was a single integer with atomic primitives. What about state that needs a hash table, a multi-step update, or any structure where atomics aren't eno
Read more
Report
Data race freedom in OxCaml
A while back I wired up x-ocaml so this blog could embed live, editable OCaml notebooks. That post used a vanilla OCaml 5 toplevel. Today the toplevel running in your browser is built from OxCaml , the Jane Street fork of the compiler. That means we can p
Read more
Report
From Convergence to Confidence: Push-button verification for RDTs
What does it mean for a replicated data type to be correct ? For most of the literature, my own prior work included, the answer has been convergence: two replicas that have applied the same operations end up in the same state. I argued in my PaPoC 2026 ke
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.