Sign in

FUN OCaml

@fun-ocaml.com
311 followers 62 following 80 posts

FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals January 25+26, 2027 - Bengaluru, India www.youtube.com/@FUNOCaml

PostsRepliesMedia
FUN OCaml @fun-ocaml.com · 11/09/2025
Here's Nathan Taylor who'll be speaking at FUN OCaml 2025 - and it's already next Monday! ✨🐫
021
FUN OCaml @fun-ocaml.com · 08/09/2025
Stoked to be hosting Nat Mote and his colleague Nathan Taylor at FUN OCaml 2025 for their joint talk on transitioning from OCaml 4 to OCaml 5 and from Parmap to using Effects!
041
FUN OCaml @fun-ocaml.com · 29/08/2025
going to FUN OCaml or planning to watch the live stream? 🥹🐫 hop on the FUN OCaml Discord and meet some likeminded folks!
110
FUN OCaml @fun-ocaml.com · 13/08/2025
🐫 FUN OCaml 2025 workshop in Warsaw (Sept 15-16): Building type-safe web apps with OCaml, JSX, and Melange that work seamlessly with React server components. Led by David Sancho Moreno - hands-on session covering universal libraries and functional programming patterns in modern React workflows.
Workshop announcement for FUN OCaml 2025 conference in Warsaw, Poland on September 15-16. Features a circular photo of David Sancho Moreno, the workshop presenter, wearing a dark vest over a white shirt. The workshop is titled "mlx, Melange, React and Server Components" and describes a hands-on session for building type-safe web applications using OCaml with JSX syntax and Melange to create universal libraries that work with React server components. The background has a dark blue gradient design with the FUN OCaml logo featuring an orange camel silhouette
172
FUN OCaml @fun-ocaml.com · 13/08/2025
Nicolas Ojeda Bär will speak about "OCaml at LexiFi" at FUN OCaml 2025 (Sept 15-16, Warsaw)! 🐫🔥 Learn from one of OCaml's earliest industrial adopters: tech stack decisions, hiring practices, deployment strategies, and what actually works (and doesn't) in enterprise environments.
Conference announcement slide for FUN OCaml 2025, September 15-16 in Warsaw, Poland. Features a circular photo of Nicolas Ojeda Bär, a smiling man with brown hair wearing a blue shirt. The slide announces his talk titled 'OCaml at LexiFi' describing how LexiFi, founded in 2000 and one of OCaml's earliest industrial adopters, will share two decades of real-world experience using OCaml in production. The talk will cover their complete technology stack, tooling decisions, hiring practices, and OCaml's strengths and limitations in enterprise environments, including insights into OCaml deployment, cloud infrastructure, and potentially their compiler extension work with type reflection
032
FUN OCaml @fun-ocaml.com · 13/08/2025
Mindy Preston presents "I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml" - building domain-specific tooling, technical decisions, and lessons from failed experiments. FUN OCaml 2025 | Sept 15-16 | Warsaw Two days of practical OCaml development and real-world applications.
Conference poster for FUN OCaml 2025, September 15-16 in Warsaw, Poland. Features a circular photo of Mindy Preston, a person with short brown hair wearing a blue hoodie and holding an orange cat. The poster announces her talk "I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml" which explores building a custom cross-stitch pattern generator in OCaml, discussing technical decisions behind domain-specific tooling, lessons from failed experiments, and complexities of commercializing creative software.
052
FUN OCaml @fun-ocaml.com · 13/08/2025
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.
072
FUN OCaml @fun-ocaml.com · 11/08/2025
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
041
FUN OCaml @fun-ocaml.com · 11/08/2025
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
172
FUN OCaml @fun-ocaml.com · 11/08/2025
🔧 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
041
FUN OCaml @fun-ocaml.com · 11/08/2025
🔧 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).'
041
FUN OCaml @fun-ocaml.com · 28/07/2025
🚀 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
152
FUN OCaml @fun-ocaml.com · 28/07/2025
🚀 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
153
FUN OCaml @fun-ocaml.com · 28/07/2025
🐫 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.'
1156
FUN OCaml @fun-ocaml.com · 16/07/2025
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.
095
FUN OCaml @fun-ocaml.com · 16/07/2025
Xavier Van de Woestyne "Generating Static Websites the Functional Programming Way" at #FUNOCaml 2025! Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions 📅 Sept 15-16 | Warsaw
Conference talk slide for FUNOCaml 2025 in Warsaw, Poland (September 15-16). Features a circular photo of speaker Xavier Van de Woestyne wearing glasses and a dark hoodie. The talk title is "Generating Static Websites the Functional Programming Way" and describes how the presentation examines limitations of popular static site generators like Jekyll, Zola, and Hugo for complex sites, exploring static site generation through build systems theory and showcasing YOCaml, a static site framework written in OCaml using functional programming abstractions.
0125
FUN OCaml @fun-ocaml.com · 16/07/2025
FUNOCaml 2025 Talk "OxCaml From a System Engineer's Point of View" 📅 Sept 15-16, Warsaw Dmitriy Kovalenko (Rust/C/Zig dev) evaluates 0xCaml for systems programming through building odiff, a high-performance image comparison library. Comparative analysis + practical insights
Conference slide for FUNOCaml 2025 in Warsaw, Poland on September 15-16. Features a circular photo of speaker Dmitriy Kovalenko, a man with glasses and light hair wearing a dark jacket over a white shirt, photographed outdoors. The slide announces his talk titled 'OxCaml From a System Engineer's Point of View' with description: 'Dmitriy Kovalenko, a systems programmer experienced with Rust, C, and Zig, explores 0xCaml as a potential addition to his toolkit. He investigates how 0xCaml compares to native OCaml and other systems languages, then tests it by building codiff, a high-performance image comparison library with 0xCaml, sharing his findings and lessons learned from the experience.'
093
FUN OCaml @fun-ocaml.com · 16/07/2025
Exciting news! Lukasz Stafiniak will lead a hands-on RL workshop at #FUNOCaml2025 in Warsaw (Sept 15-16)! 🐫 Learn to train a Sokoban game agent using Raven/OCANNL - covering neural networks, GRPO algorithms, and connections to LLM training 🤖🎮
Conference poster for FUNOCaml 2025 workshop in Warsaw, Poland on September 15-16. Features a circular photo of Lukasz Stafiniak, a bearded man with shoulder-length hair. The workshop is titled 'Train a Reinforcement Learning Agent for the Game Sokoban in Raven/OCANNL' and describes covering reinforcement learning basics, building game environments, neural network models (CNN or transformer), training infrastructure, and exploring GRPO (Group Relative Policy Optimization) algorithms and connections to language model training.
193
FUN OCaml @fun-ocaml.com · 09/07/2025
Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"! 📅 Sep 15-16, Warsaw 🇵🇱 Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
Conference announcement slide for FUNOCaml 2025 workshop. Dark blue background with orange FUNOCaml logo. Shows circular headshot photo of Thibaut Mattio, a young man with dark hair and beard smiling at camera. Title reads 'Build Language Models with Raven' with subtitle describing hands-on workshop for building transformer language models using OCaml and Raven's JAX-like ecosystem. Event details show September 15 + 16 in Warsaw, Poland
263
FUN OCaml @fun-ocaml.com · 08/07/2025
🎉 Excited to announce Malcolm Matalka (from @terrateam.io ) will be speaking at #FUNOCaml 2025 in Warsaw! 🧡🐫 📅 September 15-16, 2025 📍 Warsaw, Poland
"Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch" explores how @terrateamio built their infrastructure management platform by creating custom frameworks instead of relying on existing ones.

Learn how OCaml enabled a two-person company to build almost all their own tooling and achieve success! 🚀
252