Mastodawn

[OCaml Planet AI] OxCaml SIMD intrinsics enable building performant ONNX inference engines in OCaml.

Details here: https://www.tunbury.org/2026/03/13/oxcaml-inference/

ONNX inference engine using OxCaml’s SIMD intrinsics

Following my previous CPU vs GPU post I started thinking about what the ONNX inference engine actually did and if it could be replicated in OxCaml with SIMD.

Tunbury.ORG

Tarides 4d ago

The new ocaml.nvim plugin provides Neovim integration to OCaml's LSP server – giving users access to advanced ocaml-lsp features with less fuss 🌟 https://tarides.com/blog/2025-12-10-creating-ocaml-nvim-to-bring-neovim-support-to-ocaml-s-lsp-server/

Creating `ocaml.nvim` to Bring Neovim Support to OCaml's LSP Server

Introducing the `ocaml.nvim` plugin, which integrates OCaml's Neovim editor with the LSP.

Tarides Mar 16

Dinosaure Mar 16

A little dream comes true! We just deployed an #unikernel in #OCaml which is a search engine through the old caml-list: https://caml-list.robur.coop/ :tada:. It's a full operating system which is able to search and serve a little website. It is worth archiving and keeping accessible a whole section of caml’s history.

blame

Tarides Mar 16

Xavier Van de Woestyne Mar 16

Time to taste the #bobkonf2026 coffee 😍

Tarides Mar 10

apoisel Mar 10

OCaml Weekly News, for the week of March 03 to 10, 2026

https://discuss.tchncs.de/post/56327432

OCaml Weekly News, for the week of March 03 to 10, 2026 - tchncs

Lemmy

Tarides Feb 25

apoisel Feb 24

OCaml Weekly News, for the week of February 17 to 24, 2026

https://discuss.tchncs.de/post/55495560

OCaml Weekly News, for the week of February 17 to 24, 2026 - tchncs

Lemmy

Tarides Feb 17

Hannes Feb 17

We (the #OCaml #security response team) https://ocaml.org/security published today an advisory for the OCaml runtime (Marshal decoding over-read) https://osv.dev/vulnerability/OSEC-2026-01

I'm happy we managed to coordinate this, turned out to be an excessive amount of work - fixing the runtime, fuzzing, performance testing, but also integrating into osv.dev -- any feedback is highly appreciated, esp. if we're missing out on best practices. Otherwise, please welcome OSEC to your vulnerability databases. We're here to stay. :)

If you like our work, please fund OCSF https://ocaml-sf.org or apply to our calls for proposals (or both ;) https://discuss.ocaml.org/t/ocaml-security-grants/

Have a nice evening 😍

OCaml Security

This page details the OCaml security disclosure process, including how to report vulnerabilities, the role and members of the OCaml Security Response Team (SRT), and their publications.

OCaml

Tarides Feb 17

Take a journey back to Singapore and the biggest functional programming conference of 2025 in this post from our blog: https://tarides.com/blog/2025-12-04-icfp-2025-looking-back-at-the-biggest-functional-programming-conference-of-the-year/

ICFP 2025: Looking Back at the Biggest Functional Programming Conference of the Year

Check out our summary of everything OCaml at ICFP 2025, including insights from the Tarides engineers who attended!

Tarides Feb 10

With Emacs integration to OCaml's LSP server, both the user and the maintainer benefit from a simplified setup! You can learn more on our blog: https://tarides.com/blog/2025-11-27-bringing-emacs-support-to-ocaml-s-lsp-server-with-ocaml-eglot/

Bringing Emacs Support to OCaml's LSP Server with `ocaml-eglot`

Discover the `ocaml-eglot` project, a plugin that integrates OCaml's Emacs editor support with the LSP.

Tarides Jan 30

Check out the new Unikraft backend for MirageOS. Samuel Hym shared the goals, design, benchmarks, and more about the new feature on the blog: https://tarides.com/blog/2025-11-13-announcing-unikraft-support-for-mirageos-unikernels/

Announcing Unikraft Support for MirageOS Unikernels

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