David
@david2am.bsky.social
match David with 🤓 -> web dev | 🐪 -> into #OCaml | ✏️ -> read him on dev.to/david2am | _ -> 🇨🇴, ✝️
Acadia is out today! Bringing the benefits of Elm to SQLite and PostgreSQL: - Friendly error messages - Custom types for precise column data - Simple module system for easy reuse Check it out! acadia.engineering/blog/rethink...
Rethinking Database Programming
acadia.engineering
The OCaml Handbook: A Complete Guide from First Program to Production Systems by Steve T. Publications is a new release on Leanpub! Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook … leanpub.com/theocamlhand...
I built my own JavaScript runtime in OCaml I wanted to see how far OCaml could go against Bun and Node, and also also OCaml vs zig vs c++ in similar APIs. So I built `sirocco`. Uses JavaScriptCore (same engine as Bun and Safari). Event loop with libuv and it's written in OxCaml.
The OCaml Users Survey is still open until May 25 (Monday)! If you haven't taken it, please take it now! 🐫 🧡 https://docs.google.com/forms/d/e/1FAIpQLSet4a4y7TL7zv6uS6iQk27NoJGYjhz4ANQVMRQuZNoVSfroBA/viewform?usp=send_form
OCaml Users Survey 2026
This survey is configured to not use an existing Google Account to save your progress (which will be lost if you close your browser or click the back button before finishing the survey). None of the questions are mandatory. Please do not enter any personal information in the free-form text fields as the summary of the results and the raw data will be made available to the community (we will of course redact any personal information we detect, but we may still miss some). As an official OCaml online space, this survey has adopted the OCaml Code of Conduct. The free-form text fields are provided to gather constructive feedback from the community. Any comment that is a clear violation of the CoC will be expunged from the results before making them publicly available. Thank you in advance for your participation! This survey will be accepting answers until May 25th 2026 (AOE).
docs.google.com
Curious about using functional programming for web development? This blog post gives you an overview of Ocsigen, a full web development framework for OCaml! tarides.com/blog/2025-10...
Ocsigen: A Full OCaml Framework for Websites and Apps
Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!
tarides.com
Why a “simple” language feels so hard at first? I wrote some thoughts on how we can make the experience better for newcomers. 👉🏼 discuss.ocaml.org/t/peel-the-o... #OCaml #learning #programming
Peel the Onion: Why OCaml Seems Difficult When it's so Easy
Peel the Onion: Why OCaml Seems Difficult When it’s so Easy —— OCaml is not inherently complex. It’s actually one of the simplest languages I’ve ever used — much easier to reason about than JavaScrip...
discuss.ocaml.org
Alice is an experimental #OCaml build tool and package manager from one of Dune's developers www.alicecaml.org/blog/introdu... The whole blog is quite interesting.
Introducing Alice
A radical, experimental OCaml build system and package manager
alicecaml.org
Take a look at my new tutorial on how to create a brand new OCaml project in 5 minutes forem.com/david2am/oca... #ocaml #learning #programming #dune
OCaml in 5 Minutes: From Zero to 'Hello'
Tired of the OCaml setup rabbit hole? In 5 minutes, you’ll have a fully working OCaml project. ...
forem.com
Does anyone else from the @ocaml.org community is going to be at @lambda_world next week? 👀
OCaml is low-maintenance, I'm high maintenance it all cancels out
The best thing about education isn’t access to information, it’s being in a room with a good teacher, likeminded engaged peers, and time to talk. Education is a social activity. Tech hype misses the point: the real challenge isn’t delivering info, but creating meaning together youtu.be/0xS68sl2D70
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains
youtu.be
🙌
Announcing TresJS v5.0 🎉 Our proudest release so far. Declarative @threejs.org for @vuejs.org gets a major upgrade: ✨ WebGPU experimental support 🛠️ New create-tres CLI tool ⚡ Re-imagined context 🔧 Refactored composables Ready to build the future of 3D on the web?
A new episode of Signals and Threads just dropped! This one is an interview with Chris Lattner talking about Mojo, a new-ish language for GPU programming that's aiming to be an alternative to the CUDA stack. signalsandthreads.com/why-ml-needs...
Signals and Threads Podcast
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a pee...
signalsandthreads.com
if you're interested in the Raven project (machine learning for OCaml), you should 1000% join their discord: discord.gg/5ZhhN68Jja
Join the Raven ML Discord Server!
Check out the Raven ML community on Discord - hang out with 18 other members and enjoy free voice and text chat.
discord.gg
Thibaut's LLM workshop at FUN OCaml uses Dune package management 🥹🐫
Violence is always unacceptable, and threats of violence have no place in public discourse. Our thoughts are with Charlie Kirk and his family.
For the past four decades, finding the fastest route to every destination in a network involved sorting the routes by distance. This meant that algorithms could only work as quickly as they could sort. No longer.
New Method Is the Fastest Way To Find the Best Routes | Quanta Magazine
A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.
quantamagazine.org
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries. It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list. inbox.vuxu.org/caml-list/10...
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
inbox.vuxu.org
My answer to the question "Why should I learn Zig?" https://www.youtube.com/watch?v=w9rkil0dotI
Hello Systems by Loris Cro - YouTube
Sometimes you hear about the amazing escapades of systems programmers who delve into the depths of a niche subject and save the day by fixing impossible bugs...
youtube.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.
Zig SHOWTIME #42 - Asynchrony is NOT Concurrency! w/ Andrew Kelley https://youtu.be/l8fDQdSjPQg
[#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube
https://kristoff.it/blog/asynchrony-is-not-concurrency/
youtu.be
The universe is not always smooth. At the centers of black holes, for instance, the math of space-time falls apart. New geometric tools might help reckon with this reality. www.quantamagazine.org/a-new-geomet...
A New Geometry for Einstein’s Theory of Relativity | Quanta Magazine
A team of mathematicians based in Vienna is developing tools to extend the scope of general relativity.
quantamagazine.org
New OCaml Success Story: Imandra - Financial Compliance with Automated Reasoning 🐫 OCaml's type system and functional programming make an impact in financial compliance - preventing errors and handling complex logic where correctness isn't optional. Full case study: ocaml.org/success-stor...
Financial Compliance with Automated Reasoning · Success Stories
Imandra leverages OCaml to develop automated reasoning tools that enable financial institutions to mathematically verify their trading algorithms meet regulatory requirements.
ocaml.org