@tarides.com
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
The 5.4 update of OCaml is out! Check out our blog for an overview of the biggest new features and fixes🐫 tarides.com/blog/2025-10...
OCaml 5.4 Release: New Features, Fixes, and More!
An overview of the OCaml 5.4 update highlighting new features and bug fixes!
tarides.com
November 13, 2025 at 2:10 PM
The 5.4 update of OCaml is out! Check out our blog for an overview of the biggest new features and fixes🐫 tarides.com/blog/2025-10...
Reposted
Putting this OCaml out there for posterity sake.
The resources in the post is super valuable.
kcsrk.info/ocaml/2025/1...
The resources in the post is super valuable.
kcsrk.info/ocaml/2025/1...
Foundations for hacking on OCaml · KC Sivaramakrishnan
kcsrk.info
November 11, 2025 at 9:49 AM
Putting this OCaml out there for posterity sake.
The resources in the post is super valuable.
kcsrk.info/ocaml/2025/1...
The resources in the post is super valuable.
kcsrk.info/ocaml/2025/1...
Reposted
November 10, 2025 at 7:35 AM
Reposted
Deadline for #BOBkonf2025 submissions is coming up fast: you have one more week — call ends end of day on 17 November 2025.
bobkonf.de/2026/cfc.html
bobkonf.de/2026/cfc.html
November 10, 2025 at 10:53 AM
Deadline for #BOBkonf2025 submissions is coming up fast: you have one more week — call ends end of day on 17 November 2025.
bobkonf.de/2026/cfc.html
bobkonf.de/2026/cfc.html
Reposted
ocaml's native CI framework OCurrent recently got FLOSS/Fund support for maintenance 🐫
November 6, 2025 at 11:04 AM
ocaml's native CI framework OCurrent recently got FLOSS/Fund support for maintenance 🐫
Reposted
Very cool article!
"Why I love OCaml"
mccd.space/posts/ocaml-...
(which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...)
#OCaml
"Why I love OCaml"
mccd.space/posts/ocaml-...
(which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...)
#OCaml
Why I love OCaml
Personal blog of Marc Coquand.
mccd.space
November 7, 2025 at 12:52 PM
Very cool article!
"Why I love OCaml"
mccd.space/posts/ocaml-...
(which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...)
#OCaml
"Why I love OCaml"
mccd.space/posts/ocaml-...
(which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...)
#OCaml
Reposted
exciting updates in the OCaml platform this month! OCaml 5.4.0 released with labelled tuples, immutable arrays, and atomic record fields 🔥 plus a new security team was established. what features are you most excited to try? 🐫
November 6, 2025 at 9:26 PM
exciting updates in the OCaml platform this month! OCaml 5.4.0 released with labelled tuples, immutable arrays, and atomic record fields 🔥 plus a new security team was established. what features are you most excited to try? 🐫
Parsimoni is part of Techstars autumn 2025 space accelerator programme! It's a fantastic opportunity and we're excited to follow their progress🐫 🚀 tarides.com/blog/2025-09...
Parsimoni Joins Techstars' Autumn 2025 Programme!
Parsimoni has been selected for Techstars' autumn 2025 space accelerator programme!
tarides.com
October 29, 2025 at 2:14 PM
Parsimoni is part of Techstars autumn 2025 space accelerator programme! It's a fantastic opportunity and we're excited to follow their progress🐫 🚀 tarides.com/blog/2025-09...
Sonja and Carine are giving a talk about the behind-the-scenes process of making Merlin and OCaml multicore work well together at Llambda World 2025 🧙 🐫 lambda.world/schedule/
Lambda World: The Fun-Fun Functional Programming Experience in Cádiz
Join us on October 23-24 in sunny Cádiz and experience the brilliance of functional programming at Lambda World!
lambda.world
October 24, 2025 at 10:01 AM
Sonja and Carine are giving a talk about the behind-the-scenes process of making Merlin and OCaml multicore work well together at Llambda World 2025 🧙 🐫 lambda.world/schedule/
Reposted
You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!
October 17, 2025 at 9:40 AM
You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!
Reposted
@xvw.lol notes just how complex modern editor tooling is, esp with agentic workflows #icfpsplash25 - he’s also done the coolest OCaml use of effects I’ve seen to help fix this! discuss.ocaml.org/t/ann-an-exp...
October 17, 2025 at 9:05 AM
@xvw.lol notes just how complex modern editor tooling is, esp with agentic workflows #icfpsplash25 - he’s also done the coolest OCaml use of effects I’ve seen to help fix this! discuss.ocaml.org/t/ann-an-exp...
Discover what's new for the Gospel project in Nicolas' blog post all about Ortac and QCheck-STM in OCaml! tarides.com/blog/2025-09...
Dynamic Formal Verification in OCaml: An Ortac/QCheck-STM Tutorial
We introduce the Ortac/QCheck-STM, a tool to automatically generate QCheck-STM tests based on Gospel specification, in a tutorial-like manner.
tarides.com
October 9, 2025 at 12:23 PM
Discover what's new for the Gospel project in Nicolas' blog post all about Ortac and QCheck-STM in OCaml! tarides.com/blog/2025-09...
Reposted
We're back! Mark your calendars: BOBkonf returns on 13 March 2026 …
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
October 2, 2025 at 11:49 AM
We're back! Mark your calendars: BOBkonf returns on 13 March 2026 …
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.
Find out more here:
bobkonf.de/2026/cfc.html
Reposted
Reposted
A fun talk about...hacking OCaml. Basically, what you get when you supercollide a systems-y OCaml developer and a CTF.
www.youtube.com/watch?v=SV9V...
www.youtube.com/watch?v=SV9V...
Hacking OCaml
YouTube video by Jane Street
www.youtube.com
September 30, 2025 at 6:03 PM
A fun talk about...hacking OCaml. Basically, what you get when you supercollide a systems-y OCaml developer and a CTF.
www.youtube.com/watch?v=SV9V...
www.youtube.com/watch?v=SV9V...
Reposted
We have done an update on the Ahrefs industrial success story here:
ocaml.org/success-stor... 🧡🐫
now there's a little more context
ocaml.org/success-stor... 🧡🐫
now there's a little more context
Petabyte-Scale Web Crawling and Data Processing · Success Stories
Ahrefs built the world's third-largest web crawler using OCaml, indexing petabytes of web data with a lean, efficient team.
ocaml.org
October 2, 2025 at 11:15 AM
We have done an update on the Ahrefs industrial success story here:
ocaml.org/success-stor... 🧡🐫
now there's a little more context
ocaml.org/success-stor... 🧡🐫
now there's a little more context
Check out Timéo's latest work on new refactoring tools for the #OCaml editor Merlin in our latest blog post: tarides.com/blog/2025-08...
Internship Report: Refactoring Tools Coming to Merlin
Timéo shares his project integrating new refactoring features into Merlin, improving user experience with a new command.
tarides.com
September 26, 2025 at 11:01 AM
Check out Timéo's latest work on new refactoring tools for the #OCaml editor Merlin in our latest blog post: tarides.com/blog/2025-08...
Have a look at all the new features in Wasm 3.0! Thanks to wasm_of_ocaml, OCaml developers will have access to the latest Wasm features for their projects webassembly.org/news/2025-09...
Wasm 3.0 Completed - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the...
webassembly.org
September 24, 2025 at 12:22 PM
Have a look at all the new features in Wasm 3.0! Thanks to wasm_of_ocaml, OCaml developers will have access to the latest Wasm features for their projects webassembly.org/news/2025-09...
Reposted
The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...
Outreachy Mentors Wanted
I’m excited to share that the OCaml community has secured funding for the next round of Outreachy. Thanks to Jane Street and Tarides, we have funding for 3 mentees in the next cohort of Outreachy inte...
discuss.ocaml.org
September 20, 2025 at 9:55 AM
The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...
Reposted
I made some progress on chaufr over the weekend.
Here is what I worked on. 🐫🧡
#OCaml
fearful-odds.rocks/blog/db-migr...
Here is what I worked on. 🐫🧡
#OCaml
fearful-odds.rocks/blog/db-migr...
Shipping a robust DB migration runner for Chaufr (OCaml + Caqti + Lwt)
Implemented a production-minded database migration system for Chaufr: CLI, tracking, checksum validation, rollback, and safe SQL execution.
fearful-odds.rocks
September 15, 2025 at 8:24 AM
I made some progress on chaufr over the weekend.
Here is what I worked on. 🐫🧡
#OCaml
fearful-odds.rocks/blog/db-migr...
Here is what I worked on. 🐫🧡
#OCaml
fearful-odds.rocks/blog/db-migr...