Profile avatar
erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
38 posts 109 followers 372 following
Prolific Poster
Conversation Starter
Posts 31 Comments 19

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)

submitted 41 days ago • 0 comments

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-...)

submitted 28 days ago • 0 comments

An epic hack, getting OCaml running on a TI-84+ CE calculator. farlow.dev/2025/05/17/o...

submitted 34 days ago • 0 comments

｢ 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...

submitted 36 days ago • 0 comments

OCaml Web Development: Essential Tools and Libraries in 2025 https://lobste.rs/s/tpge66 #web #ml

submitted 38 days ago • 1 comment

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)

submitted 41 days ago • 0 comments

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

submitted 42 days ago • 2 comments

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

submitted 45 days ago • 2 comments

I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming

submitted 47 days ago • 1 comment

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.

submitted 108 days ago • 2 comments

#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

submitted 57 days ago • 0 comments

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! 🙂)

submitted 102 days ago • 0 comments

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)

submitted 210 days ago • 9 comments

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)

submitted 61 days ago • 4 comments

Rocq has this rarely known feature, and mathematicians hate it for that. (This is not clickbait 😆) Impredicative Set allows to quantify over types of values while still being at the same level. This leads to paradox for most mathematicians but not in Rocq! Here is what follows: 👇

submitted 84 days ago • 1 comment

discuss.ocaml.org/t/looking-fo... 🧡🐫

submitted 70 days ago • 4 comments

Git was a side project. Just 10 days of code. 20 years after Git’s first commit, Linus Torvalds reflects on what he built (and what he didn’t expect) → github.blog/open-source/...

submitted 70 days ago • 1 comment

Pour ce mois d'avril, nous vous proposons l'opération : "🐻 Un jour, un logiciel Libre". Et nous commençons par le logiciel le plus important de cette liste. Daktilo : l'outil idéal pour dynamiser l'open space, vos collègues vont vous dire merci !

submitted 83 days ago • 3 comments

Dear Coq/ProofGeneral users, The emacs (melpa) package of ProofGeneral has been updated to support Rocq 9.0.0, with or without the new CLI, so we would encourage gentle testers to give it a try. Bug reports welcome! cf. discourse.rocq-prover.org/t/looking-fo... and github.com/ProofGeneral...

submitted 81 days ago • 0 comments

TIL: regclient.org is handy to query metadata like Docker Hub's rate-limits. Example for alpine (Docker Official image): $ docker run -it --rm regclient/regctl image rate-limit alpine { "Remain": 100, "Limit": 100, "Reset": 0, "Set": true, "Policies": [ "100;w=21600" ] } (1/4)

submitted 83 days ago • 1 comment

Vous êtes-vous déjà demandé quel était le bon format pour une date ? ijmacd.github.io/rfc...

submitted 83 days ago • 2 comments

Initial idea - July 2019 Design proposal (before any code! 😇) - November 2019 Initial prototype - September 2021 Working prototype - September 2022 Candidate implementation - April 2025 #RAD 🫣

submitted 89 days ago • 1 comment

Do you use Git? Wishing to quickly check whether a public Git(…) repo is archived on www.softwareheritage.org, and to do so otherwise, in one go? Then you may be interested in these nice browser add-ons: www.softwareheritage.org/browser-exte...

submitted 88 days ago • 0 comments

Functional programming is a game changer. 🚀 In my latest article, I make the case for FP and why OCaml stands out as a performant and pragmatic choice. Check it out! 👇 github.com/david2am/oca... #FunctionalProgramming #OCaml

submitted 95 days ago • 1 comment

Functional Programming self-affirmations: 1. Parse, Don’t Validate 2. Make Illegal States Unrepresentable 3. Errors as values 4. Functional Core, Imperative Shell 5. Smart Constructor Repeat daily in front of a mirror for 2 minutes.

submitted 213 days ago • 11 comments

> We have been using OCaml 5 in production since the middle of February 2025, and the rollout has been entirely uneventful. This was a highlight for me, after having worked to stress test it over the past ~3 years. There are other nuggets in @semgrep.bsky.social's latest blog post though... 🤓

submitted 103 days ago • 0 comments

First blog post in a long long time~ some brief musings on my experiences learning Clojure coming from OCaml!! I know I have a few OCaml/Clojure-ers following me, so I'd love to hear your opinions on this!! kirancodes.me/posts/log-da... #Clojure #OCaml #FunctionalProgramming #ProgrammingLanguages

submitted 108 days ago • 3 comments

Article de ITConnect qui fait du bien à lire sur la différence entre sudo, su et su - que l'on utilise souvent par habitude sans vraiment savoir les différences. www.it-connect.fr/sudo-su-et-s...

submitted 108 days ago • 8 comments

your feedback helps direct and drive progress by focusing us on the things you care about, so please do fill in the survey!

submitted 112 days ago • 0 comments

the great folks working on OCaml editor integrations need your feedback and feature ideas to make OCaml development even better! there's a short survey here: docs.google.com/forms/d/e/1F...

submitted 112 days ago • 4 comments

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...

submitted 119 days ago • 7 comments