The OCaml Planet RSS

A Vision for OCaml in the AI Era Nicolás Ojeda Bär ABSTRACT AI is reshaping software development, yet OCaml's adoption in AI workflows remains limited. This talk explores how the OCaml community can proactively embrace AI to make OCaml a productive language in the AI era—both for writing AI applications and for AI-assisted development. We examine two critical questions: First, how can OCaml become a viable alternative to Python for machine learning? By addressing ecosystem breadth and developer experience, we can solve real problems—from unifying research and production codebases to enabling scalable deployment with OCaml's performance guarantees. Second, how can we make OCaml more productive for AI-assisted development? Strong type systems and integrated tooling give OCaml a natural advantage for coding agents, but we need specialized, open-source tools built for the OCaml ecosystem. This talk introduces Raven, a modern scientific computing ecosystem for OCaml that mirrors Python's ML stack, and Spice, an upcoming local-first, OCaml-native coding agent. Beyond tooling, we'll discuss how the community can anticipate changes in onboarding, documentation, and workflows to ensure OCaml thrives in an AI-driven future—while maintaining equal opportunity and access for all developers. Session page: https://fun-ocaml.com/2025/a-vision-for-ocaml-in-the-ai-era/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

OCaml at LexiFi Nicolás Ojeda Bär ABSTRACT LexiFi is likely to have been the first real industrial user of OCaml, back when it was funded in 2000. In this talk, I will present some of the things we have learned along the way. Some of the points I will address: our technology stack (development environment, deployment and distribution, cloud infrastructure, etc), tooling, strong and weak points of OCaml, people aspects (hiring and training), etc. If there is time, I will also present one of our key technical innovations: extending the OCaml compiler with type reflection (this topic will be explored further in the dedicated Workshop). Session page: https://fun-ocaml.com/2025/ocaml-at-lexifi/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

The weather outside is frightful, but the Raspberry Pi is so delightful; I have been cheering myself by connecting up all the various bits of hardware scattered on my desk. I often buy these components but never quite get around to using them.

I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml Mindy Preston (yomimono) ABSTRACT I was unsatisfied with existing cross-stitch pattern generating software, which was mostly structured like pixel-based paint programs. Those programs with support for very common operations like tiling borders were locked behind paywalls. I decided to write my own in OCaml, and I've been using it to design cross-stitch patterns since 2019. I'll talk a bit about the joy of making the Exact Right Tool, the anguish of abandoned experiments, and the ambiguous pleasure of monetizing art. Session page: https://fun-ocaml.com/2025/i-can-see-the-pixels/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch Malcolm Matalka (Terrateam) ABSTRACT Terrateam is an open source infrastructure management product written in OCaml. In order to stay lean and flexible, Terrateam has developed almost all of its own frameworks and tooling. With a small team, the Terrateam product punches well above its weight compared to its competition. This talk will cover the choice to develop their own frameworks, the good, the bad, and how OCaml has been instrumental in being able to achieve so much despite being a two person company. Session page: https://fun-ocaml.com/2025/terrateam/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

Purely functional gRPC and HTTP/2 with OCaml Adam Cholewiński (Dialo) Session page: https://fun-ocaml.com/2025/production-grade-network-protocols/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

Get an overview of the Unikraft backend support for MirageOS, including performance benchmarks on different devices.

Analyzing Programs with SMT Solvers Tikhon Jelvis (Semgrep) ABSTRACT We can use SMT solvers like Z3 to analyze programs and answer difficult questions about our code. By generating and solving complex constraints, we can improve error message localization, attack cryptographic protocols, check refinement types, search for proofs, verify invariants, compare programs against specifications or even synthesize code. Z3 is the goto state-of-the-art SMT solver, available under and open source license and has a first-class OCaml library. In this talk, I'll walk through a simple OCaml program to generate SMT constraints that represent a bounded model of programs in a simple imperative language. Algebraic data types and pattern matching are a perfect fit for this kind of work. Session page: https://fun-ocaml.com/2025/analyzing-programs-with-smt-solvers/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment