Thomas Gazagnaire
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Reposted by Thomas Gazagnaire
No, hiring isn't hard for #OCaml. The Blub paradox is real. I have 30 resumes in my Inbox. The hard part is saying no.
terrateam.io/blog/is-ocam...
terrateam.io/blog/is-ocam...
November 14, 2025 at 11:49 AM
No, hiring isn't hard for #OCaml. The Blub paradox is real. I have 30 resumes in my Inbox. The hard part is saying no.
terrateam.io/blog/is-ocam...
terrateam.io/blog/is-ocam...
Reposted by Thomas Gazagnaire
Just published a comprehensive guide to the OCaml programming language. Tried to go beyond the "what" and into the "why" – covering its foundational concepts, the fascinating case study of Jane Street, and its modern use in blockchain and security. Read more: 👉 tinyurl.com/yyrywrvb #Programming
What is OCaml? A Deep Dive into the High-Assurance Functional Programming Language
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
November 8, 2025 at 11:01 AM
Just published a comprehensive guide to the OCaml programming language. Tried to go beyond the "what" and into the "why" – covering its foundational concepts, the fascinating case study of Jane Street, and its modern use in blockchain and security. Read more: 👉 tinyurl.com/yyrywrvb #Programming
Reposted by Thomas Gazagnaire
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 by Thomas Gazagnaire
We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy.
stategraph.dev/blog/why-we-...
stategraph.dev/blog/why-we-...
Why we chose OCaml to write Stategraph
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
stategraph.dev
November 7, 2025 at 12:20 PM
We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy.
stategraph.dev/blog/why-we-...
stategraph.dev/blog/why-we-...
Reposted by Thomas Gazagnaire
FUN OCaml schedule is now live on the website, and I put the link to the scheduled YouTube live stream there as well!
fun-ocaml.com#schedule
fun-ocaml.com#schedule
Fun OCaml 2025: Warsaw - September 15+16, 2025
Fun OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals around the globe! Let's get together for an exhilarating event packed with creativity, innovation,...
fun-ocaml.com
September 12, 2025 at 1:12 PM
FUN OCaml schedule is now live on the website, and I put the link to the scheduled YouTube live stream there as well!
fun-ocaml.com#schedule
fun-ocaml.com#schedule
Reposted by Thomas Gazagnaire
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
xvw.lol
August 13, 2025 at 6:06 PM
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
Looking forward to use this to improve the UX of using Irmin and MirageOS
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries.
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
inbox.vuxu.org
August 2, 2025 at 6:44 PM
Looking forward to use this to improve the UX of using Irmin and MirageOS
Reposted by Thomas Gazagnaire
Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"!
📅 Sep 15-16, Warsaw 🇵🇱
Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
📅 Sep 15-16, Warsaw 🇵🇱
Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
July 9, 2025 at 11:53 AM
Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"!
📅 Sep 15-16, Warsaw 🇵🇱
Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
📅 Sep 15-16, Warsaw 🇵🇱
Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
Reposted by Thomas Gazagnaire
Fun with Include and Open in #OCaml to encode import schemas. A questionable use of the module language!
xvw.lol/en/articles/...
xvw.lol/en/articles/...
OCaml, modules, and import schemes
Using the module system open and include statements to reproduce common import patterns from other languages
xvw.lol
June 30, 2025 at 8:02 AM
Fun with Include and Open in #OCaml to encode import schemas. A questionable use of the module language!
xvw.lol/en/articles/...
xvw.lol/en/articles/...
Reposted by Thomas Gazagnaire
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!
dl.acm.org/doi/pdf/10.1...
dl.acm.org/doi/pdf/10.1...
June 24, 2025 at 8:57 AM
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!
dl.acm.org/doi/pdf/10.1...
dl.acm.org/doi/pdf/10.1...
Reposted by Thomas Gazagnaire
Something I predict will happen soon is using LLMs to port large test suites from one language / framework to another.
Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
June 22, 2025 at 5:48 PM
Something I predict will happen soon is using LLMs to port large test suites from one language / framework to another.
Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
Reposted by Thomas Gazagnaire
Been having much fun over at @eeg.cl.cam.ac.uk and @tarides.com helping Jane Street with this release. Here's the online release party (starring multicore-the-fluffy-camel, our beloved mascot). Blog post incoming soon, but in the meanwhile, enjoy browsing oxcaml.org
June 13, 2025 at 2:19 PM
Been having much fun over at @eeg.cl.cam.ac.uk and @tarides.com helping Jane Street with this release. Here's the online release party (starring multicore-the-fluffy-camel, our beloved mascot). Blog post incoming soon, but in the meanwhile, enjoy browsing oxcaml.org
Reposted by Thomas Gazagnaire
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
June 13, 2025 at 2:14 PM
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
Reposted by Thomas Gazagnaire
Upcoming events on local-first:
• Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks
• Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
• Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks
• Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
Local-First Conf 2025
Join us for the second edition of Local-First Conf. Connect with a rapidly-growing community in an intimate setting. Berlin 27th - 28th May 2025.
www.localfirstconf.com
April 8, 2025 at 2:17 PM
Upcoming events on local-first:
• Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks
• Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
• Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks
• Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
Reposted by Thomas Gazagnaire
Reposted by Thomas Gazagnaire
...and @dra27.uk successfully showed off the relocatable compiler to the core OCaml devs yesterday. It'll be awesomely useful to have this in the core toolchain when it comes to playing well with package managers. www.dra27.uk/blog/platfor...
March 28, 2025 at 4:33 PM
...and @dra27.uk successfully showed off the relocatable compiler to the core OCaml devs yesterday. It'll be awesomely useful to have this in the core toolchain when it comes to playing well with package managers. www.dra27.uk/blog/platfor...
Reposted by Thomas Gazagnaire
A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering.
youtu.be/g3qd4zpm1LA?...
youtu.be/g3qd4zpm1LA?...
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
youtu.be
April 4, 2025 at 12:28 PM
A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering.
youtu.be/g3qd4zpm1LA?...
youtu.be/g3qd4zpm1LA?...
Reposted by Thomas Gazagnaire
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025
There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...
conf.researchr.org
April 3, 2025 at 9:51 AM
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
Reposted by Thomas Gazagnaire
Initial idea - July 2019
Design proposal (before any code! 😇) - November 2019
Initial prototype - September 2021
Working prototype - September 2022
Candidate implementation - April 2025 #RAD 🫣
Design proposal (before any code! 😇) - November 2019
Initial prototype - September 2021
Working prototype - September 2022
Candidate implementation - April 2025 #RAD 🫣
Relocatable OCaml by dra27 · Pull Request #53 · ocaml/RFCs
Rendered version. The first proof-of-concept of this work was presented at OCaml Workshop 2022.
The OCaml compiler distribution requires the Standard Library to be stored in a fixed location, speci...
github.com
March 27, 2025 at 8:41 AM
Initial idea - July 2019
Design proposal (before any code! 😇) - November 2019
Initial prototype - September 2021
Working prototype - September 2022
Candidate implementation - April 2025 #RAD 🫣
Design proposal (before any code! 😇) - November 2019
Initial prototype - September 2021
Working prototype - September 2022
Candidate implementation - April 2025 #RAD 🫣
Reposted by Thomas Gazagnaire
We just released OpenInfraQuote (oiq), an open source cost estimation tool built with OCaml. It runs in CI, reads Terraform plans and state files, and gives cost estimates from the CLI. No servers. More docs soon.
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
GitHub - terrateamio/openinfraquote: Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files
Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files - terrateamio/openinfraquote
github.com
March 26, 2025 at 6:06 PM
We just released OpenInfraQuote (oiq), an open source cost estimation tool built with OCaml. It runs in CI, reads Terraform plans and state files, and gives cost estimates from the CLI. No servers. More docs soon.
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
Reposted by Thomas Gazagnaire
🐪 OpenInfraQuote (oiq)
Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures.
It's written in Ocaml and it's open source!
github.com/terrateamio/...
Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures.
It's written in Ocaml and it's open source!
github.com/terrateamio/...
March 26, 2025 at 3:59 PM
🐪 OpenInfraQuote (oiq)
Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures.
It's written in Ocaml and it's open source!
github.com/terrateamio/...
Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures.
It's written in Ocaml and it's open source!
github.com/terrateamio/...
Reposted by Thomas Gazagnaire
Why are companies quietly using Elm, OCaml, and Haskell? Evan Czaplicki explores how typed functional languages offer competitive advantages to businesses like Jane Street & Standard Chartered, and how to evaluate their potential for your company.
A Decision Maker's Guide to Typed Functional Languages • Evan Czaplicki • GOTO 2024
This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcphhttps://gotocph.comEvan Czaplicki - Creator and developer of Elm @EvanCzaplicki RESO...
youtu.be
March 21, 2025 at 1:00 PM
Why are companies quietly using Elm, OCaml, and Haskell? Evan Czaplicki explores how typed functional languages offer competitive advantages to businesses like Jane Street & Standard Chartered, and how to evaluate their potential for your company.
Reposted by Thomas Gazagnaire
Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025
March 14, 2025 at 10:48 AM
Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025
Reposted by Thomas Gazagnaire
And we're off! #BOBkonf2025 starts with Annette Bieniusa's keynote "Local-first Software".
March 14, 2025 at 8:23 AM
And we're off! #BOBkonf2025 starts with Annette Bieniusa's keynote "Local-first Software".
Reposted by Thomas Gazagnaire
March 14, 2025 at 8:04 AM