@tarides.com
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Reposted
Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!
January 15, 2026 at 2:48 PM
Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!
Reposted
I had a bunch of people ask how to replicate my advent of agentic humps setup, so I've published the OCaml and OxCaml devcontainers to let you run unattended Claude with permissions bypass and container sandboxing. It hasn't deleted all my data yeNOSIGNAL anil.recoil.org/notes/ocaml-...
Devcontainer for using O(x)Caml and Claude in your projects
A prebuilt Docker devcontainer for sandboxed OCaml and OxCaml development with Claude Code, including multiarch builds and network isolation.
anil.recoil.org
January 8, 2026 at 11:06 AM
I had a bunch of people ask how to replicate my advent of agentic humps setup, so I've published the OCaml and OxCaml devcontainers to let you run unattended Claude with permissions bypass and container sandboxing. It hasn't deleted all my data yeNOSIGNAL anil.recoil.org/notes/ocaml-...
Reposted
Hello from OCaml world!
January 11, 2026 at 5:06 PM
Hello from OCaml world!
Reposted
[OCaml Planet] 🐫 Patrick Ferris published the December 2025 OCaml Roundup. Tracks library updates, tooling changes, and community activity for the month.
January 12, 2026 at 11:19 AM
[OCaml Planet] 🐫 Patrick Ferris published the December 2025 OCaml Roundup. Tracks library updates, tooling changes, and community activity for the month.
Reposted
first blog post of the year www.chrisarmstrong.dev/posts/what-w...
What would make OCaml serverless ready?
What role does programming language choice make when targeting serverless environments, and how does OCaml stack up against popular serverless development languages? What would it take to make OCaml y...
www.chrisarmstrong.dev
January 8, 2026 at 2:29 AM
first blog post of the year www.chrisarmstrong.dev/posts/what-w...
Reposted
Reposted
For my last few days of my Advent of Agentic Humps, I blended 50 different language ecosystem's HTTP clients to brew an OCaml Requests library. Agents figured out the random quirks needed for a client by getting advice from our friends in Java, Haskell, C, C#, Python anil.recoil.org/notes/aoah-2...
AoAH Day 13: Heckling an OCaml HTTP client from 50 implementations in 10 languages
Agentically synthesising a batteries-included OCaml HTTP client by gathering recommendations from fifty open-source implementations across JavaScript, Python, Java, Rust, Swift, Haskell, Go, C++, PHP ...
anil.recoil.org
December 14, 2025 at 5:23 PM
For my last few days of my Advent of Agentic Humps, I blended 50 different language ecosystem's HTTP clients to brew an OCaml Requests library. Agents figured out the random quirks needed for a client by getting advice from our friends in Java, Haskell, C, C#, Python anil.recoil.org/notes/aoah-2...
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
December 4, 2025 at 11:28 AM
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...
Reposted
Hey everyone.
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
GitHub - aguluman/advent-of-code-ocaml: Advent of Code Solutions In OCaml
Advent of Code Solutions In OCaml. Contribute to aguluman/advent-of-code-ocaml development by creating an account on GitHub.
github.com
November 29, 2025 at 10:45 AM
Hey everyone.
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
Reposted
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...