3 years later, I finally have a blog in English (to mumble, among other things, about #OCaml)! xvw.lol/en/ (The articles will continue in French and I'll try to provide translations as soon as possible).

Index

English home of xvw.lol

xvw.lol

Missed @xvw.lol's #BOB2025 talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here: bobkonf.de/2025/woestyn...

BOB Konferenz@bobkonf.de · last yr.

Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025

Il n'y a pas 8 jours qu'un musulman était assassiné en pleine prière. Que Retailleau et le préfet s'en sont ostensiblement désintéressés. Et maintenant, ça. La haine des musulmans est au pouvoir Retailleau est un homme d'extrême droite. Il ne lui manque que l'étiquette, qu'il finira par prendre.

BFMTV@bfmtv.com · last yr.

💥 "Je souhaite interdire le voile à l'université" ▶️ https://l.bfmtv.com/JMUu

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

[Status] I'm working on Celma (github.com/d-plaindoux/...), an embedded language in Rust for parser definitions based on parser combinators. Bootstrapping Celma on Celma is in progress. The next stages are type-checking and compilation in Rust inspired by the paper www.cl.cam.ac.uk/~jdy22/paper....

It is time! After 2 years, a new major release of nom, the rust parser combinators library! It comes with a lot of interesting points check it out unhandledexpression.com/nom-8/

I'm really happy to present, with @tarides.com , #OCaml Eglot, an #Emacs (minor) mode for editing OCaml code, using LSP through Eglot, the built-in #LSP client of Emacs: github.com/tarides/ocam... Feedback, contribution and RT much appreciated

GitHub - tarides/ocaml-eglot: An overlay on Eglot for editing OCaml code using LSP

An overlay on Eglot for editing OCaml code using LSP - tarides/ocaml-eglot

github.com

For my first post, I would like to share the material used for the talk "Dependent types: From Theory to Practice". Version for ScalaIO and Sunny-tech: d.plaindoux.free.fr/talks/depend... Version for FunctionalScala: d.plaindoux.free.fr/talks/functi...