Tarides

We're hiring for Bombadil! Come work with me on the future of browser testing — specification languages and temporal logic, JS runtimes, bundlers, and WASM frontends in Rust, and lots and lots of property-based testing. Apply here: antithesis.com/company/career… Retweets appreciated.

The new ocaml.nvim plugin provides Neovim integration to OCaml's LSP server – giving users access to advanced ocaml-lsp features with less fuss 🌟 tarides.com/blog/2025-12-1…

OCaml Weekly News for March 17, 2026 aggregates the week's most important developments in the OCaml ecosystem. Catch up on what you missed: alan.petitepomme.net/cwn/2026.03.17…

It's been a minute, but, time for another Signals and Threads, this one with Will Wilson about the testing tools he's building at @AntithesisHQ. And, in a bow to modernity, we have a video version of this one too!

1/ Our paper on end-to-end compartmentalisation for mixed safe/unsafe language systems got accepted at AsiaCCS 2026. FIDES enforces function-level isolation across OCaml and C with just 2 custom RISC-V instructions. No MMU or OS required.

Shout-out to Sai, who hacked across the stack -- writing OCaml for MirageOS unikernels, hacking on the OCaml and Clang compilers, hacking linkers, hacking firmware to get bare-metal setup, and hacking Bluespec to extend the Shakti RISC-V processor with security extensions!

“A guided tour through Oxidised OCaml” Wasn’t aware that the ICFP 2025 tutorial was recorded. youtu.be/qTSpEKZohKY?si…

Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming. Build real systems, publish research, contribute to open source. fplaunchpad.org/2026/03/06/app…

.plan-26-w10: Streaming TESSERA embeddings straight into the browser with wasm is ridiculously good fun. Release next week if I can get enough oxcaml written to finish the transcoding of embeddings into Zarr! anil.recoil.org/notes/2026w10

Sign up to be a mentor for OCaml Outreachy Internships -- May 2026 Cycle discuss.ocaml.org/t/outreachy-ma…

A direct-style TCP/IP stack in OCaml using effect handlers. discuss.ocaml.org/t/ann-mnet-a-n…

Just wrote my first expect test in OCAML and I'm completely sold. What a lovely way to explore and figure out the right behaviour for your function and then being able to solidify that in your tests with very minimal effort.

Neocaml is a new Emacs package designed for OCaml programming, created by the Rubocop creator. It features TreeSitter-powered major modes for OCaml code and interface files. The package also includes integration with an OCaml toplevel (REPL).

Finalising one-shot continuations: github.com/ocaml/ocaml/pu… Seems to work out pretty neatly.

[Changelog] Release of OCaml 5.4.1 and 4.14.3: We have the pleasure of announcing the dual releases of OCaml 4.14.3 and OCaml 5.4.1, dedicated to the memory of Nicolaas Govert de Bruijn on the anniversary of his death. Those releases are a collection… dlvr.it/TR8grJ

Got the right cufflinks on for tonight’s British High Commission event in Delhi #ocaml

Take a journey back to Singapore and the biggest functional programming conference of 2025 in this post from our blog: tarides.com/blog/2025-12-0…

OCaml sudoku solver running on a 1960s UNIVAC 1219B! (OCaml -> C -> RISC-V -> RISC-V emu written in UNIVAC asm). Many more cool demos to come. There's lots of cool tech in this project to talk about. This is the first time C is run on this machine, let alone OCaml 🐪

OxCaml isn't just useful due to its language extensions; it's making us think through how to engineer OCaml code to be lower allocation by default even before switching. See Mark's progress on an MP3 decoder to speed it up 10x tunbury.org/2026/02/11/oca…

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: tarides.com/blog/2025-11-2…