The OCaml Planet RSS

Following on from the Arm32 multicore backend, I have now ported the remaining two 32-bit architectures to OCaml 5 with multicore support: i386 and PowerPC 32-bit (PPC32).

I’ve been largely steering clear of the AI bandwagon up to now, mainly because the last thing I needed while working on Relocatable OCaml was to be trying to learn a new tool at the same time as finishing something which felt desperately late and which, at times, I myself didn’t fully understand! However, as the buzz of the announcement dies down, I had a first go at pointing Claude Code to the OCaml compiler codebase, and thought I’d add to the general noise of AI memoirs…

Rather varied week this week. A number of our EEG interns have started their work with us for the summer, with two nice projects falling under my direct supervision, with Lucas and Jeremy. It’s great to get to watch people start their first forays into the world of hacking on OCaml, once the customary “I was a baby when you started maintaining OCaml” comments et al are out of the way 😂 It’s also great to get to see the excitement, and reassuring to know that it is still an exciting thing to get to do for new people too!

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ...

I am happy to announce version 0.3 of ocamljs. Ocamljs is a system for compiling OCaml to Javascript. It includes a Javascript back-end for ...

I’ve updated my backtrace patch to work with OCaml 3.11.x as well as 3.10.x. The patch provides access to backtraces from within a...