#FunOCaml
LightNews LightNews
sabine.sh
All talk recordings are available on our YouTube: https://YouTube.com/@FUNOCaml
December 10, 2025 at 10:35 PM
ocaml.org
Purely functional gRPC and HTTP/2 with OCaml - Adam Cholewiński - FUN OCaml 2025
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/profi...
dlvr.it
December 5, 2025 at 3:37 PM
sabine.sh
youtube.com/@FUNOCaml
December 4, 2025 at 12:35 PM
ocaml.org
Purely functional gRPC and HTTP/2 with OCaml - Adam Cholewiński - FUN OCaml 2025
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
www.youtube.com
November 23, 2025 at 7:34 PM
sabine.sh
youtube.com/@FUNOCaml
FUN OCaml
FUN OCaml is an open source conference and hacking event dedicated to OCaml enthusiasts and professionals around the globe! Here we publish recordings of the conference talks!
youtube.com
November 19, 2025 at 9:30 PM
sabine.sh

https://youtube.com/@FUNOCaml
November 9, 2025 at 4:53 PM
serpent7776.bsky.social
For the 2nd year straight, #FunOCaml was definitely the most fun tech conference out there. Thanks for organising it.
September 18, 2025 at 6:46 PM
sabine.sh
Thibaut's LLM workshop at FUN OCaml uses Dune package management 🥹🐫
Screenshot of code showing FunOCaml 2025 project setup instructions. Title reads "Building an LLM with Raven". Setup section explains using Dune package management without opam, with commands to lock dependencies using "dune pkg lock" and build everything using "dune build".
September 16, 2025 at 8:02 AM
fun-ocaml.com
just seeing: there's a recording of the first part of the FUN OCaml stream already up at www.youtube.com/@FUNOCaml/st...
FUN OCaml
FUN OCaml is an open source conference and hacking event dedicated to OCaml enthusiasts and professionals around the globe! Here we publish recordings of the conference talks!
www.youtube.com
September 15, 2025 at 12:23 PM
david.sancho.dev
This is ready @FunOCaml
September 15, 2025 at 6:58 AM
serpent7776.bsky.social
FunOCaml in 1...
September 14, 2025 at 10:58 AM
sabine.sh
YouTube.com/@FUNOCaml
September 13, 2025 at 7:30 PM
serpent7776.bsky.social
FunOCaml in 2...
September 13, 2025 at 4:37 PM
serpent7776.bsky.social
FunOCaml in 3...
September 12, 2025 at 9:34 PM
fun-ocaml.com
youtube.com/@FUNOCaml
September 11, 2025 at 2:39 PM
fun-ocaml.com
If you can't make it to the on-site event in Warsaw on September 15+16, you can still participate:

Join the live-stream that we broadcast through youtube.com/@FUNOCaml!

The live-stream is provided for free and we're happy to chat with and receive questions from online attendees, btw! 🐫 🔥
FUN OCaml
Fun OCaml is an open source conference and hacking event dedicated to OCaml enthusiasts and professionals around the globe! Here we publish recordings of the conference talks!
youtube.com
August 25, 2025 at 8:27 AM
fun-ocaml.com
FUN OCaml 2025: SMT Solvers for Program Analysis

Tikhon Jelvis presents practical use of SMT solvers like Z3 for code verification, error detection, and program synthesis. Hands-on OCaml demo showing how algebraic data types make formal verification accessible.

Sept 15-16, Warsaw, Poland
Conference slide for FUNOCaml 2025 (September 15-16, Warsaw, Poland) featuring a talk by Tikhon Jelvis titled "Analyzing Programs with SMT Solvers." The slide includes a circular profile photo of Tikhon, a man with glasses, dark hair, and a beard wearing a dark jacket. The talk description explains how to leverage SMT solvers like Z3 for program analysis by building constraints that can verify code properties, locate errors, and synthesize programs automatically. It mentions a hands-on walkthrough of an OCaml implementation that generates SMT constraints for a simple imperative language, demonstrating how algebraic data types and pattern matching make formal verification practical and accessible.
August 13, 2025 at 11:08 AM
fun-ocaml.com
OCaml Legacy Migration: 3M Lines from Parmap to Effects

Nathan Taylor and Nat Mote share their experience migrating a massive OCaml codebase to OCaml 5's shared-memory parallelism at FUNOCaml 2025 (Warsaw, Sept 15-16).
Conference talk announcement for FUNOCaml 2025 in Warsaw, Poland on September 15-16. Shows headshots of two speakers, Nathan Taylor and Nat Mote. The talk is titled 'From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition story' and describes migrating a 3 million line OCaml codebase from process-based Parmap to OCaml 5's shared-memory parallelism with Eio effects. The speakers will cover their incremental migration approach, static and dynamic analysis, pitfalls encountered, and practical lessons for similar migrations
August 11, 2025 at 8:04 AM
fun-ocaml.com
New OCaml web framework workshop at FUNOCaml 2025

Romain Calascibetta teaching Vif & Hurl - a typed web framework for OCaml 5 with end-to-end type safety for routes, forms, and SQL queries.

Build a real-time chat app while learning how OCaml's type system eliminates web dev bugs.
Conference poster for FUNOCaml 2025, taking place September 15-16 in Warsaw, Poland. Features a black and white portrait photo of Romain Calascibetta on the left side. The poster advertises a workshop titled 'Vif & Hurl, a web framework for OCaml 5' where attendees will learn to build modern web applications in OCaml 5 using Vif, a new typed web framework providing end-to-end type safety for routes, forms, and SQL queries. The workshop will involve creating a real-time chat application with websockets while exploring how OCaml's type system can eliminate entire classes of web development bugs
August 11, 2025 at 8:01 AM
fun-ocaml.com
🔧 OpenTelemetry workshop at FUNOCaml 2025 (Warsaw, Sept 15-16)

Austin Theriault from Semgrep shows how they instrument their production OCaml systems for observability at scale. Hands-on implementation techniques and real-world patterns.
Workshop announcement for FUNOCaml 2025 conference in Warsaw, Poland, September 15-16. Features a circular photo of Austin Theriault with a dog. The workshop is titled 'OCaml Observability with OpenTelmetry' and describes how Semgrep uses OpenTelemetry to scale their OCaml-based product, covering implementation of telemetry types and real-world examples from their production system. Participants will learn hands-on techniques for instrumenting OCaml applications with observability tools essential for scaling complex software systems
August 11, 2025 at 7:56 AM
fun-ocaml.com
🔧 Emma Jin from Semgrep will share performance war stories at FUNOCaml 2025 - debugging bottlenecks in a mixed Python/OCaml codebase.

Practical insights for anyone dealing with multi-language systems or performance optimization.

Sep 15-16, Warsaw 🇵🇱 Live Stream on YouTube
Conference slide for FUNOCaml 2025, September 15-16 in Warsaw, Poland. Features a circular headshot photo of Emma Jin, a smiling woman with long dark hair wearing a blue top. The slide shows a talk titled 'Performance Pitfalls: Tales From a Python/OCaml Codebase' with description: 'Semgrep is a tool that enables developers to search their code for security vulnerabilities, built with an OCaml engine and a Python frontend. This has come with a fair amount of performance pain. In this talk, I'll share some of the worst problems we ran into, how we found them, and how we solved them (mostly, rewriting Python code in OCaml).'
August 11, 2025 at 7:51 AM
fun-ocaml.com
🚀 Ready to hack the OCaml compiler?

Join Nicolás Ojeda Bär from LexiFi at FUNOCaml 2025 for "Hacking the OCaml Compiler to Add Type Reflection" - a hands-on workshop where you'll implement type reflection as an alternative to PPX.

📅 Sept 15-16, Warsaw
🔧 Compiler hacking 101

#OCaml #FUNOCaml2025
Conference slide for FUNOCaml 2025 workshop in Warsaw, Poland on September 15-16. Features a circular photo of presenter Nicolás Ojeda Bär, a smiling man with brown hair wearing a blue shirt. The workshop is titled "Hacking the OCaml Compiler to Add Type Reflection" and describes how LexiFi maintains a powerful fork of the OCaml compiler with type reflection capabilities as an alternative to PPX. The workshop offers hands-on experience implementing a toy version of type reflection in the compiler, serving as both an introduction to the technique and a "compiler hacking 101" experience for those interested in contributing to OCaml's development
July 28, 2025 at 11:46 AM
fun-ocaml.com
🚀 Manas Jayanth is presenting "Cross-Platform OCaml Projects" at FUNOCaml 2025 in Warsaw!

They'll share how they implemented portable lock files for esy (Reason/OCaml package manager) to achieve reproducible builds across different operating systems.

📅 Sept 15-16, Warsaw
Conference slide for FUNOCaml 2025, September 15-16 in Warsaw, Poland. Shows a talk titled 'Cross-Platform OCaml Projects' by Manas Jayanth, with a pixelated profile photo. The description reads: 'OCaml's ecosystem includes many platform-specific packages that can break portability when transitive dependencies won't work across different operating systems. Manas Yayanth explains how they implemented portable lock files for esy (the Reason/OCaml package manager), ensuring projects can be built cross-platform
July 28, 2025 at 11:43 AM
fun-ocaml.com
🐫 Don't miss Leandro Ostera at FUN OCaml 2025 in Warsaw, Sept 15-16!

"State of the OCaml Ecosystem 2025" digs into real GitHub data - repo activity, contributor trends, and which libraries are gaining traction.

See the numbers behind OCaml's momentum and where it's headed.
Conference slide for FUNOCaml 2025 event in Warsaw, Poland on September 15-16. Features a circular photo of Leandro Ostera, a man with curly hair wearing a gray t-shirt, smiling outdoors. The slide announces his talk titled 'State of the OCaml Ecosystem 2025' with description: 'This talk breaks down how the OCaml ecosystem is actually growing by digging into real GitHub data - repo activity, contributor trends, and which libraries are gaining traction. We'll look at the numbers behind OCaml's momentum and what they tell us about where the community and tooling are headed in 2025.'
July 28, 2025 at 11:39 AM
fun-ocaml.com
Paul-Elliot Angles d'Auriac:

Slipshow: A Full-Featured Presentation Tool in OCaml

FUN OCaml 2025 | Warsaw | Sept 15-16

How one developer rewrote a JavaScript presentation tool in OCaml, creating a platform with runtime engine, collaborative editing, VSCode extension & app.
Conference presentation slide for FUNOCaml 2025 event in Warsaw, Poland on September 15-16. Features a circular photo of Paul-Elliot Angles d'Auriac, a person with shoulder-length wavy hair wearing round glasses and drinking from a blue cup. The slide announces a talk titled "Slipshow: A Full-Featured Presentation Tool in OCaml" and describes how Slipshow is a presentation tool originally written in JavaScript but rewritten in OCaml, featuring a runtime engine, compiler, collaborative editing website, VSCode extension, and standalone application. The talk explores how OCaml enabled a single developer to create and maintain such a comprehensive project.
July 16, 2025 at 1:00 PM