OCaml<p>OCaml Weekly News, 05 Aug 2025: * My fourth Outreachy Internship Blog post<br> * qcheck-lin and qcheck-stm 0.2<br> * CRs Workflows: Invitation for Early Testing and Discussion<br> * OCaml version of the "Build systems à la carte" paper<br> * Dream development open video call<br> * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2025.08.05.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alan.petitepomme.net/cwn/2025.</span><span class="invisible">08.05.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software.
If you wish to join, contact us for an invite.
Administered by:
Server stats:
8.6Kactive users
fosstodon.org: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.3
#ocamlplanet
1 post · 1 participant · 0 posts today
OCaml<p>Upcoming OCaml Events: * OCaml Users and Developers Workshop 2025 // Singapore, Singapore // Oct 17, 2025 <a href="https://ocaml.org/events?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ocaml.org/events?utm_source=dl</span><span class="invisible">vr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>OCaml Weekly News, 29 Jul 2025: * opam 2.4.1<br> * new tools to keep your projects clean (after AI, or just after yourself)<br> * First beta release for OCaml 5.4.0<br> * Encoding SAT in OCaml GADTs<br> * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2025.07.29.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alan.petitepomme.net/cwn/2025.</span><span class="invisible">07.29.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Adventures with BuildKit: I’ve been doing battle the last few days with Docker, and in particular trying<br>to persuade BuildKit to do what I wanted. I find Docker leans towards being a<br>deployment tool, rather than a development tool which is to say that it’s<br>exceedingly useful for both, but when I encounter problems trying to persuade it<br>to do what I’m after for development, it tends to feel I’m not using it for the<br>purpose for which it was intended.… <a href="https://www.dra27.uk/blog/platform/2025/07/29/taming-buildkit.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dra27.uk/blog/platform/2025/07</span><span class="invisible">/29/taming-buildkit.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Add Your Own Recipes to the OCaml Cookbook!: Are you looking to learn something new about OCaml? Or do you want to contribute to the community in a new way? OCaml.org hosts the OCaml Cookbook, a collection of projects that users can try out, as well as contribute new ones for others to enjoy. This post will introduce you to the concept, show you how to add new recipes, and hopefully leave you inspired to check it out for yourself!</p><p>Why… <a href="https://tarides.com/blog/2025-07-25-add-your-own-recipes-to-the-ocaml-cookbook?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tarides.com/blog/2025-07-25-ad</span><span class="invisible">d-your-own-recipes-to-the-ocaml-cookbook?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>The Saga of Multicore OCaml: Jane Street is an electronic trading firm that uses low latency trading systems built in OCaml to provide liquidity to financial markets worldwide. In December 2022, after nearly a decade of development, OCaml 5.0 was released with OCaml’s first multi-core capable runtime. This was an exciting milestone, finally making it possible to write shared-memory parallel programs in OCaml. The new runtime was designed to be easy to… <a href="https://www.youtube.com/watch/XGGSPpk1IB0?version=3&utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch/XGGSPpk1IB0?</span><span class="invisible">version=3&utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>opam 2.4 release: Feedback on this post is welcomed on Discuss!</p><p>We are extremely happy to announce the release of opam 2.4.0 and encourage all users to upgrade.<br>Please read on for installation and upgrade instructions.</p><p>Major changes</p><p> * </p><p>On opam init the compiler chosen for the default switch will no longer be ocaml-system (#3509)<br>This was done because the system compiler (as-is your ocaml installed system wide, e.g. /usr/bin/ocaml) is… <a href="https://ocamlpro.com/blog/2025_07_23_opam_2_4_release?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ocamlpro.com/blog/2025_07_23_o</span><span class="invisible">pam_2_4_release?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>OCaml Weekly News, 22 Jul 2025: * Third outreachy internship blog<br> * opam 2.4.0 is out!<br> * x-ocaml, notebooks as a webcomponent<br> * Dune dev meeting<br> * Lwt.6.0.0~alpha (direct-style)<br> * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2025.07.22.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alan.petitepomme.net/cwn/2025.</span><span class="invisible">07.22.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Upcoming OCaml Events: * OCaml Users and Developers Workshop 2025 // Singapore, Singapore // Oct 17, 2025 <a href="https://ocaml.org/events?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ocaml.org/events?utm_source=dl</span><span class="invisible">vr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Learning OCaml: Having Fun with the Fun Module: When I started to play with OCaml I was kind of surprised that there was no<br>id (identity) function that was available out-of-box (in Stdlib module,<br>that’s auto-opened). A quick search lead me to the<br>Fun module, which is part of the<br>standard library and is nested under<br>Stdlib. It was introduced in OCaml 4.08, alongside other<br>modules such as Int, Result and Option.1</p><p>The Fun module provides a few basic… <a href="https://batsov.com/articles/2025/07/19/learning-ocaml-having-fun-with-the-fun-module/?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">batsov.com/articles/2025/07/19</span><span class="invisible">/learning-ocaml-having-fun-with-the-fun-module/?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Learning OCaml: Numerical Type Conversions: Today I’m going to cover a very basic topic - conversions between<br>OCaml’s primary numeric types int and float. I guess most of you<br>are wondering if such a basic topic deserves a special treatment, but<br>if you read on I promise that it will be worth it.</p><p>So, let’s start with the basics that probably everyone knows:</p><p> * you can convert integers to floats with float_of_int</p><p> * you can convert floats to… <a href="https://batsov.com/articles/2025/07/19/learning-ocaml-numerical-type-conversions/?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">batsov.com/articles/2025/07/19</span><span class="invisible">/learning-ocaml-numerical-type-conversions/?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Cresting the OCaml AI humps: I've been hacking with Sadiq Jaffer (^),<br>Jon Ludlam (^) and<br>Ryan Gibb (^) on various approaches to<br>improving the agentic coding experience for OCaml.</p><p>We jotted down our notes in a draft paper to keep track of everything going on, including summarising previous experiments with Qwen3 for FoCS. Since then, there's been a flurry of extra activity from others which we need to integrate!</p><p> * Marcello Seri started pushing to… <a href="https://anil.recoil.org/notes/cresting-the-ocaml-ai-hump?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">anil.recoil.org/notes/cresting</span><span class="invisible">-the-ocaml-ai-hump?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Sometimes it’s just knowing where to tap: @@ -44,6 +44,8 @@<br> # the lines involved in the conflict, which is arguably worse<br> #/Changes merge=union</p><p>+testsuite export-ignore<br>+<br> # No header for text and META files (would be too obtrusive).<br>.md typo.missing-header<br>README typo.missing-header</p><p>First time users of OCaml on Windows: 25% speedup on switch creation. All<br>platforms gain a benefit, even if it’s much smaller. As both rustup<br>and uv have taught… <a href="https://www.dra27.uk/blog/platform/2025/07/18/where-to-tap.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dra27.uk/blog/platform/2025/07</span><span class="invisible">/18/where-to-tap.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Into the sunset or into the dawn?: Earlier this year, I returned to the Computer Laboratory<br>at the University of Cambridge, as part of the<br>Energy and Environment Group,<br>combining with my work at Tarides. It’s been<br>something of a whirlwind, which doesn’t look like it’ll be abating just yet, but<br>there’s still been the odd chance to consider where things are and where we<br>might be headed. I’m minded of a scene from an opera I performed a few years ago<br>in… <a href="https://www.dra27.uk/blog/platform/2025/07/18/through-a-glass-darkly.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dra27.uk/blog/platform/2025/07</span><span class="invisible">/18/through-a-glass-darkly.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Odoc 3 is live on OCaml.org!: Odoc 3 is live on OCaml.org!</p><p> * published </p><p>2025-07-14</p><p>As of today, Odoc 3 is now live on OCaml.org! This is a major update to odoc, and has brought a whole host of new features and improvements to the documentation pages.</p><p>Some of the highlights include:</p><p> * Source code rendering<br> * Hierarchical manual pages<br> * Image, video and audio support<br> * Separation of API docs by… <a href="https://jon.recoil.org/blog/2025/07/odoc-3-live-on-ocaml-org.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jon.recoil.org/blog/2025/07/od</span><span class="invisible">oc-3-live-on-ocaml-org.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Fireworks and things: Thanks to some targetted optimisations in the script which manages Relocatable<br>OCaml’s various branches,<br>I’d vastly improved the turn-around time when making changes to the patch-set<br>and propagating them through the various tests and backports. On Tuesday night,<br>the entire set of branches was green in CI (they’re sat here<br>with green check marks and everything). All that was to be needed on Wednesday<br>was to quickly update the opam… <a href="https://www.dra27.uk/blog/platform/2025/07/17/fireworks.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dra27.uk/blog/platform/2025/07</span><span class="invisible">/17/fireworks.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Using Kyutai's low latency audio models on macOS in one command: I've just taken Kyutai's speech-to-text model for a spin on my Mac laptop, and it's stunningly good. As background, this is what the prolific Laurent Mazare has been hacking on; he has made a ton of contributions to the OCaml community as well, such as ocaml-torch and starred in a very fun Signals to Threads episode on machine learning at Jane Street back in 2020.</p><p>You can get the… <a href="https://anil.recoil.org/notes/kyutai-streaming-voice-mlx?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">anil.recoil.org/notes/kyutai-s</span><span class="invisible">treaming-voice-mlx?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>OCaml Weekly News, 15 Jul 2025: * OCaml Language Committee: an update on a policy for conflicts of interest<br> * OCaml intern for Claudius<br> * An example for every OCaml package<br> * Esa 0.1.0 - Enhanced Suffix Arrary(and further plans)<br> * Tutorial: cut and pasting code<br> * QCheck 0.24<br> * New Odoc-3-Generated Package Documentation is Live on OCaml.org<br> * Lwt.6.0.0~alpha (direct-style)<br> * MirageOS on Unikraft<br> * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2025.07.15.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alan.petitepomme.net/cwn/2025.</span><span class="invisible">07.15.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>Introducing Jane Street's OxCaml Branch!: Jane Street is a well-known OCaml powerhouse. They have a reputation for expertise and a long history of supporting the open-source community. Jane Street have been developing experimental features on a branch of OCaml, using them in production internally, and preparing them to be shared with the rest of the ecosystem. These extensions are now bundled and distributed together under the name OxCaml.</p><p>We are… <a href="https://tarides.com/blog/2025-07-09-introducing-jane-street-s-oxcaml-branch?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tarides.com/blog/2025-07-09-in</span><span class="invisible">troducing-jane-street-s-oxcaml-branch?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
OCaml<p>OCaml Weekly News, 08 Jul 2025: * OCaml security team<br> * Dockerfile for building an OPAM application, with dune/apt/opam caching<br> * opam 2.4.0~rc1<br> * Js_of_ocaml 6.1.0 / Wasm_of_ocaml<br> * Announcing Raven: Scientific Computing for OCaml (Alpha Release)<br> * Slipshow!<br> * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2025.07.08.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alan.petitepomme.net/cwn/2025.</span><span class="invisible">07.08.html?utm_source=dlvr.it&utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCamlPlanet</span></a></p>
TrendingLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
LoginDrag & drop to upload