@tarides.com
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
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...
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...