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.
Source
Keyword
Year
Author
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.
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.
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. He came to Jane Street to build a code search engine for OCaml. A week into the job, ChatGPT came out, and he’s been working on AI tooling ever since.
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. He came to Jane Street to build a code search engine for OCaml. A week into the job, ChatGPT came out, and he's been working on AI tooling ever since. In this episode, Ron and John talk about how a three-day prototype grew into a firmwide platform for agentic coding, how AI can break the social contract around code review, and how to build tools that support both agent workflows and human understanding. 00:00:00 – Start 00:00:28 – QBasic and an infinite loop 00:04:25 – Tumblr, Square, and GitHub 00:06:41 – Building for thousands instead of millions 00:10:43 – From Ruby to OCaml 00:18:05 – Active Record, Petrol, and metaprogramming 00:22:14 – Three days to build JaneGPT 00:29:27 – Writing evals, and grading models with models 00:33:48 – Giving LLMs their own permissions 00:36:29 – Adversarial models and reward hacking 00:41:00 – Deny lists, allow lists, and bwrap 00:48:09 – AI users 00:53:09 – Tool calling and the birth of the AIDE CLI 01:04:01 – Vibe coding and the Bonsai gap 01:06:32 – Agents as perpetual beginners 01:09:12 – Our own tools vs. Claude Code 01:15:14 – What's left of the craft 01:20:04 – Verification is the hard part 01:25:12 – Narrative code review 01:36:43 – Agent teams and what's next 01:43:33 – Slop and the code review social contract For more episodes, visit: https://signalsandthreads.com/
Notes from a Paris evening on AI and formal methods: message sequence charts for agent workflows, proofs on machine code checked by a byte-for-byte oracle, and AI tools for democracy.
In this article, we'll look at how we migrated the Typing Recovery mechanism, previously part of Merlin's vendored front end, directly into OCaml.
Refactoring Mollymawk's internal data structures and how it persists data.
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 2026faker 0.1.1: fake (but realistic) data, seed-compatible with faker-js
NPY to Zarr has been completed for v1 and v1.1; day10 revdeps; Tessera tools packaged and failures in bench.ci.dev.
The Foundations of Computer Science notes are now done as a Forest with live OCaml toplevels, and Part II projects sorted.
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.
