Érik Martin-Dorel
@erikmartindorel.bsky.social
Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Reposted by Érik Martin-Dorel
Every layer of the stack is getting faster. #Terraform isn't.
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
The Infrastructure Stack Is Getting Faster. Terraform Is Not.
Every part of the stack is accelerating except infrastructure. Terraform has the ecosystem but not the speed. That's fixable.
stategraph.dev
October 31, 2025 at 8:19 AM
Every layer of the stack is getting faster. #Terraform isn't.
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
Reposted by Érik Martin-Dorel
Fastest way to check if a year is a leap year?
hueffner.de/falk/blog/a-...
Best part:
"I couldn't immediately find a way to prove it, so I employed the tried-and-true method of getting someone else to do it for me by posting it to the Code Golf StackExchange."
hueffner.de/falk/blog/a-...
Best part:
"I couldn't immediately find a way to prove it, so I employed the tried-and-true method of getting someone else to do it for me by posting it to the Code Golf StackExchange."
May 16, 2025 at 9:52 AM
Fastest way to check if a year is a leap year?
hueffner.de/falk/blog/a-...
Best part:
"I couldn't immediately find a way to prove it, so I employed the tried-and-true method of getting someone else to do it for me by posting it to the Code Golf StackExchange."
hueffner.de/falk/blog/a-...
Best part:
"I couldn't immediately find a way to prove it, so I employed the tried-and-true method of getting someone else to do it for me by posting it to the Code Golf StackExchange."
Reposted by Érik Martin-Dorel
All 7 #Java garbage collectors explained in one video 🧠
Serial, Parallel, G1, ZGC, Shenandoah, CMS, Epsilon – how they work and which one to use in 2025.
Watch the full breakdown by @cat-edelveis.bsky.social: youtu.be/qmVtSGUrQ04
Serial, Parallel, G1, ZGC, Shenandoah, CMS, Epsilon – how they work and which one to use in 2025.
Watch the full breakdown by @cat-edelveis.bsky.social: youtu.be/qmVtSGUrQ04
October 20, 2025 at 1:09 PM
All 7 #Java garbage collectors explained in one video 🧠
Serial, Parallel, G1, ZGC, Shenandoah, CMS, Epsilon – how they work and which one to use in 2025.
Watch the full breakdown by @cat-edelveis.bsky.social: youtu.be/qmVtSGUrQ04
Serial, Parallel, G1, ZGC, Shenandoah, CMS, Epsilon – how they work and which one to use in 2025.
Watch the full breakdown by @cat-edelveis.bsky.social: youtu.be/qmVtSGUrQ04
Reposted by Érik Martin-Dorel
Asking for a friend 😬
September 2, 2025 at 10:01 AM
Asking for a friend 😬
Just came across this very nice blog post by Pierre "Grim" R. (functional.cafe/@grm) ↓
Basic dependency injection with objects (gr-im.github.io/a/dependency...)
🐫✨🔥 #OCaml
Basic dependency injection with objects (gr-im.github.io/a/dependency...)
🐫✨🔥 #OCaml
Basic dependency injection with objects
A simple way to encode dependency injection using the Reader monad and objects in OCaml (to work well with type inference).
gr-im.github.io
September 4, 2025 at 4:08 PM
Just came across this very nice blog post by Pierre "Grim" R. (functional.cafe/@grm) ↓
Basic dependency injection with objects (gr-im.github.io/a/dependency...)
🐫✨🔥 #OCaml
Basic dependency injection with objects (gr-im.github.io/a/dependency...)
🐫✨🔥 #OCaml
Reposted by Érik Martin-Dorel
Très long billet de Xavier Van de Woestyne @xvw.lol sur le langage de programmation généraliste fonctionnel OCaml : fonctionnalités, avantages/inconvénients, écosystème, communauté #Programming xvw.lol/pages/why-oc...
Sur le choix d'OCaml
Une explication détaillée de pourquoi j'ai fais le choix de OCaml pour langage de programmation "par défaut" pour chaque projet.
xvw.lol
August 15, 2025 at 11:45 AM
Très long billet de Xavier Van de Woestyne @xvw.lol sur le langage de programmation généraliste fonctionnel OCaml : fonctionnalités, avantages/inconvénients, écosystème, communauté #Programming xvw.lol/pages/why-oc...
Reposted by Érik Martin-Dorel
And they use YOCaml 😎🤌
New Success Story: Secure Internet Services with OCaml and MirageOS 🔒
Robur, a worker-owned collective, builds secure, high-performance, and resource-efficient software solutions!
OCaml's static typing eliminates runtime errors with predictable performance - perfect for system-level programming.
Robur, a worker-owned collective, builds secure, high-performance, and resource-efficient software solutions!
OCaml's static typing eliminates runtime errors with predictable performance - perfect for system-level programming.
Secure Internet Services with OCaml and MirageOS · Success Stories
A worker-owned collective leverages OCaml and MirageOS to build secure, high-performance, and resource-efficient software solutions
ocaml.org
July 14, 2025 at 10:26 AM
And they use YOCaml 😎🤌
Reposted by Érik Martin-Dorel
Reposted by Érik Martin-Dorel
in case you've been wondering about getting an account on watch.ocaml.org:
1. it's possible if you're making OCaml videos and want to upload them (e.g. FUN OCaml has an account, among others)
2. if you want to just like an comment: use a Fediverse account (e.g. Mastodon)! 🧡🐫
1. it's possible if you're making OCaml videos and want to upload them (e.g. FUN OCaml has an account, among others)
2. if you want to just like an comment: use a Fediverse account (e.g. Mastodon)! 🧡🐫
Watch OCaml
Watch media related to the OCaml programming language and ecosystem
watch.ocaml.org
July 7, 2025 at 10:49 AM
in case you've been wondering about getting an account on watch.ocaml.org:
1. it's possible if you're making OCaml videos and want to upload them (e.g. FUN OCaml has an account, among others)
2. if you want to just like an comment: use a Fediverse account (e.g. Mastodon)! 🧡🐫
1. it's possible if you're making OCaml videos and want to upload them (e.g. FUN OCaml has an account, among others)
2. if you want to just like an comment: use a Fediverse account (e.g. Mastodon)! 🧡🐫
Reposted by Érik Martin-Dorel
Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
May 13, 2025 at 9:47 PM
Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
Just read a very nice article by @welltypedwit.ch !
welltypedwit.ch/posts/value-...
It strongly focuses on Haskell, but I believe it'd be interesting for #OCaml devs as well (and the blog article cites the paper on "Relaxing the Value Restriction" by Jacques Garrigue, DOI: doi.org/10.1007/978-...)
welltypedwit.ch/posts/value-...
It strongly focuses on Haskell, but I believe it'd be interesting for #OCaml devs as well (and the blog article cites the paper on "Relaxing the Value Restriction" by Jacques Garrigue, DOI: doi.org/10.1007/978-...)
Violating memory safety with Haskell's value restriction
Violating memory safety with Haskell's value restriction
welltypedwit.ch
May 26, 2025 at 9:50 PM
Just read a very nice article by @welltypedwit.ch !
welltypedwit.ch/posts/value-...
It strongly focuses on Haskell, but I believe it'd be interesting for #OCaml devs as well (and the blog article cites the paper on "Relaxing the Value Restriction" by Jacques Garrigue, DOI: doi.org/10.1007/978-...)
welltypedwit.ch/posts/value-...
It strongly focuses on Haskell, but I believe it'd be interesting for #OCaml devs as well (and the blog article cites the paper on "Relaxing the Value Restriction" by Jacques Garrigue, DOI: doi.org/10.1007/978-...)
Reposted by Érik Martin-Dorel
Also on android, also having the same problem. Apparently not a problem on iOS according to one of my mutuals.
@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.
@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.
May 18, 2025 at 12:07 PM
Also on android, also having the same problem. Apparently not a problem on iOS according to one of my mutuals.
@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.
@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.
Reposted by Érik Martin-Dorel
Reposted by Érik Martin-Dorel
｢ Functional programming fits in well with the web world. The transactional nature of HTTP and the convergence towards immutable state management solutions (such as Redux and consort) make OCaml a very good candidate for web application development ｣
#ocaml #webdev
tarides.com/blog/2025-05...
#ocaml #webdev
tarides.com/blog/2025-05...
OCaml Web Development: Essential Tools and Libraries in 2025
Are you curious about using OCaml for web development? We outline some of the biggest tools and libraries you'll want to check out!
tarides.com
May 18, 2025 at 7:01 PM
｢ Functional programming fits in well with the web world. The transactional nature of HTTP and the convergence towards immutable state management solutions (such as Redux and consort) make OCaml a very good candidate for web application development ｣
#ocaml #webdev
tarides.com/blog/2025-05...
#ocaml #webdev
tarides.com/blog/2025-05...
Reposted by Érik Martin-Dorel
Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
May 13, 2025 at 9:47 PM
Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks
how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)
Reposted by Érik Martin-Dorel
I implemented CSS in OCaml via styled-ppx, implemented HTML in OCaml via html_of_jsx, and implemented React in server-reason-react
I got them all
I got them all
May 12, 2025 at 4:00 PM
I implemented CSS in OCaml via styled-ppx, implemented HTML in OCaml via html_of_jsx, and implemented React in server-reason-react
I got them all
I got them all
Reposted by Érik Martin-Dorel
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
Try OxCaml
An OCaml toplevel supporting Janestreet's Modes
patrick.sirref.org
May 9, 2025 at 1:58 PM
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
Reposted by Érik Martin-Dorel
I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming
Algebraic Data Types
An overview of ADTs with F# & OCaml
open.substack.com
May 7, 2025 at 4:27 PM
I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming
Reposted by Érik Martin-Dorel
Today I came across ECaml (github.com/janestreet/e...) - a project that allows you to write #Emacs plugins in #OCaml. While, I don't have any issues with Elisp, I'll definitely check it out at some point. I'm guessing Jane Street are using it for their internal Emacs plugins.
GitHub - janestreet/ecaml: Writing Emacs plugin in OCaml
Writing Emacs plugin in OCaml. Contribute to janestreet/ecaml development by creating an account on GitHub.
github.com
March 7, 2025 at 3:04 PM
Today I came across ECaml (github.com/janestreet/e...) - a project that allows you to write #Emacs plugins in #OCaml. While, I don't have any issues with Elisp, I'll definitely check it out at some point. I'm guessing Jane Street are using it for their internal Emacs plugins.
Reposted by Érik Martin-Dorel
#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
April 28, 2025 at 10:08 AM
#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
Reposted by Érik Martin-Dorel
tout pareil ici sur un petit vps. j'ai du ban des ranges comme un goret pour etre tranquille :/
c'est bien décrit ici:
bsky.app/profile/arst...
c'est bien décrit ici:
bsky.app/profile/arst...
April 28, 2025 at 9:29 PM
tout pareil ici sur un petit vps. j'ai du ban des ranges comme un goret pour etre tranquille :/
c'est bien décrit ici:
bsky.app/profile/arst...
c'est bien décrit ici:
bsky.app/profile/arst...
Reposted by Érik Martin-Dorel
Live in four hours, the intro lesson of Thierry Coquand, creator of Coq/Rocq, in Colège de France in Paris: www.college-de-france.fr/fr/agenda/le...
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
La théorie des types, de Russell aux assistants à la démonstration | Collège de France
www.college-de-france.fr
March 13, 2025 at 1:08 PM
Live in four hours, the intro lesson of Thierry Coquand, creator of Coq/Rocq, in Colège de France in Paris: www.college-de-france.fr/fr/agenda/le...
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
Reposted by Érik Martin-Dorel
Nix doesn't have a docs problem it has a discovery problem!
So let me fix that by giving you all my favorite docs, youtubers, blogs and nix projects. (also no personal config have been listed)
Make sure to reply if you think i missed any.
(1/5)
So let me fix that by giving you all my favorite docs, youtubers, blogs and nix projects. (also no personal config have been listed)
Make sure to reply if you think i missed any.
(1/5)
November 25, 2024 at 10:27 AM
Nix doesn't have a docs problem it has a discovery problem!
So let me fix that by giving you all my favorite docs, youtubers, blogs and nix projects. (also no personal config have been listed)
Make sure to reply if you think i missed any.
(1/5)
So let me fix that by giving you all my favorite docs, youtubers, blogs and nix projects. (also no personal config have been listed)
Make sure to reply if you think i missed any.
(1/5)
Reposted by Érik Martin-Dorel
Dans les mystères de Microsoft... je viens de découvrir que Powershell n'est pas mis à jour automatiquement avec Windows et qu'on se retrouve avec une vieille version même sous Windows 11, qu'il faut mettre à jour manuellement.
(ça m'a dépanné des trucs donc je partage le tuyau)
(ça m'a dépanné des trucs donc je partage le tuyau)
April 23, 2025 at 3:06 PM
Dans les mystères de Microsoft... je viens de découvrir que Powershell n'est pas mis à jour automatiquement avec Windows et qu'on se retrouve avec une vieille version même sous Windows 11, qu'il faut mettre à jour manuellement.
(ça m'a dépanné des trucs donc je partage le tuyau)
(ça m'a dépanné des trucs donc je partage le tuyau)