Sign in

xvw

@xvw.lol
458 followers 271 following 332 posts

Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages). 🇫🇷 xvw.lol, 🇬🇧 xvw.lol/en

PostsRepliesMedia
Reposted by xvw
BOB Konferenz @bobkonf.de · 02/10/2026
The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November. Find more information, check bobkonf.de/2027/cfc.html #BOBkonf
bobkonf.de
065
xvw @xvw.lol · 01/10/2026
"Lists that keep track of their reversal" #ocaml #fp My friend Pierre wrote a small article about dealing with `cons`, `rev` and co with lists: grim.cargocut.org/a/rev-list.h...
grim.cargocut.org
Lists that keep track of their reversal
Summary of a small discussion on how to track, at type level, whether a list is constructed forwards or backwards. It remains to be seen whether this will be useful in everyday life, but the proposal ...
010
Reposted by xvw
Lambda Nantes @lambdanantes.bsky.social · 01/10/2026
Le prochain meetup Lambda Nantes aura lieu le 13 octobre, à partir de 19h, toujours dans les locaux de l'Epitech Nantes. Cette session sera un atelier pour découvrir le développement d'applications web et de sites statiques avec le langage OCaml. Inscriptions sur mobilizon.fr/events/e621d...
mobilizon.fr
Atelier développement Web avec OCaml
13 oct. 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Cet atelier, animé par Xavier van de Woestyne, vous propose d'explorer par la pratique ce qu'OCaml apport au dével...
022
Reposted by xvw
tarides.com @tarides.com · 01/10/2026
Code isn't text - it has structure. Combobulate now supports OCaml and OxCaml, bringing tree-sitter structural navigation to Emacs. Move by expressions and match arms, not by lines. Pizie Dust shows you how: tarides.com/blog/2026-10...
132
xvw @xvw.lol · 30/09/2026
Happy to review !
010
xvw @xvw.lol · 30/09/2026
And since you like deploying stuff: this one is work in progress uniker.nl/introduction/
uniker.nl
What a unikernel is — Unikernels in OCaml
One program, one address space, one purpose.
022
xvw @xvw.lol · 30/09/2026
For learning OCaml, this one is cool cs3110.github.io/textbook/cov... and if your goal is to be more application oriented, dev.realworldocaml.org/toc.html (but JST biased) and if you need specific topics ping me :)
cs3110.github.io
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
240
Reposted by xvw
Tomas Petricek @tomasp.net · 24/09/2026
Un énorme merci à Julien for presenting the Cultures of Programming book at @lambdanantes.bsky.social!
042
xvw @xvw.lol · 24/09/2026
HAUT EN COULEURS JE VOUS DIS ! #lambdaNantes
011
xvw @xvw.lol · 24/09/2026
Next Step ! Sébastien nous parle de ... "La couleur du bruit" ! Une édition haute en couleur et diversifiée !
120
xvw @xvw.lol · 24/09/2026
On commence @lambdanantes.bsky.social 🤌😍 avec une conférence de Julien, qui nous parle de culture de la programmation, une présentation dérivee du livre de @tomasp.net Culture of Programming, après une très belle présentation du Meetup de @pankzsoft.net sur le Meetup a @epitech-officiel.bsky.social
152
Reposted by xvw
BOB Konferenz @bobkonf.de · 21/09/2026
They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...
Portrait photo of Xavier Leroy
0127
xvw @xvw.lol · 18/09/2026
xvw.lol 😎
xvw.lol
Index
Accueil du site xvw.lol
110
Reposted by xvw
OCaml @ocaml.org · 17/09/2026
dlvr.it
Release of OCaml 5.5.1
We have the pleasure of celebrating the birthday of Giovanni Girolamo Saccheri by announcing the release of OCaml version 5.5.1. This patch-level release fixes a major type system bug for module-dependent functions and also contains two security fixes for the runtime: one in the Marshal module, another inside the loading of bytecode. At a less severe level, this release also fixes two bugs in the runtime for concurrent programs, another runtime bug for musl users; and a handful of other bugs. The release also restores support for cloning the compiler on macOS. Overall, we are strongly advising you to switch to OCaml 5.5.1 if you were already using OCaml 5.5.0. The full list of changes can be found in the full changelog. --- Installation Instructions The base compiler can be installed as an opam switch with the following commands: opam update opam switch create 5.5.1 The source code for the release is also directly available on: * GitHub * OCaml archives at Inria Fine-Tuned Compiler Configuration If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create ocaml-variants.5.5.1+options where is a space separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 5.5.1+flambda+nffa ocaml-variants.5.5.1+options ocaml-option-flambda ocaml-option-no-flat-float-array
042
xvw @xvw.lol · 16/09/2026
J'y serai !
000
Reposted by xvw
Tomas Petricek @tomasp.net · 15/09/2026
We presented Denicek at UIST 2025. Now you can play with the demos interactively! Write a counter and TODO list app, organise a conference with co-organisers, clean data in an interactive notebook... Essay backed by the real implementation: tomasp.net/denicek/ (with @jonathoda.bsky.social)
tomasp.net
Denicek: Computational substrate for document-oriented end-user programming
Programming by demonstration, collaborative editing, incremental recomputation and handling of schema change can make programming easier, but how can we support all of them in a single system? Denicek...
0112
xvw @xvw.lol · 15/09/2026
how do i convinced @tangled.org to give me free merch? asking for me 😂😎
010
xvw @xvw.lol · 15/09/2026
What a surprise, here is the Tshirt of the lady sitting next to me! #ocaml #international #fp
040
Reposted by xvw
Tim McGilchrist @tsmc.purely-functional.com · 14/09/2026
Some updates on tree-sitter support for OCaml mini-languages (odoc, opam and dune) and improving Emacs support for OCaml with neocaml. lambdafoo.com/posts/2026-0... #emacs #ocaml
lambdafoo.com
More tree-sitter, more neocaml, more elisp · Perpetually Curious
052
Reposted by xvw
David Sancho @david.sancho.dev · 14/09/2026
Rewriting away from Rust github.com/rescript-la...
github.com
Rewrite rewatch in OCaml by cknitt · Pull Request #8653 · rescript-lang/rescript
Rewrite rewatch in OCaml Summary This PR makes an experimental OCaml rewrite of rewatch—ReScript's build system and command-line interface—the packaged rescript executable on Linux, macOS, ...
081
Reposted by xvw
johanna @jola.dev · 14/09/2026
All bits are equally significant to me
0254
xvw @xvw.lol · 06/09/2026
Slipshow always reach a new level! Here is Juraslip Park. A slideshow tool written in #OCaml, coming from the future! discuss.ocaml.org/t/ann-slipsh...
discuss.ocaml.org
[ANN] Slipshow!
Another release was just merged in opam! Did you notice the trembling glass of water? That’s the next release of Slipshow that I’m announcing: Slipshow 0.13.0: Juraslip Park While digging in decades...
010
Reposted by xvw
Benjamin Thuillier @gilwath.com · 31/08/2026
Back from summer holidays: new part of my Scala vs OCaml exploration, this time on talking to a SQL database. I thought it would be rougher on the OCaml side but it was not that bad compared to Scala with doobie. gilwath.com/articles/fro... #OCaml #Scala
gilwath.com
Discovering OCaml as a Scala Developer Part 3: Serving data with SQL Database (Postgresql)
Using a SQL Database to serve the data for our CRUD API
021
xvw @xvw.lol · 30/08/2026
Ça ne répond pas à "inférence" ! Donc ok, un Scala avec de l'inférence
100
xvw @xvw.lol · 30/08/2026
Scrogneugneu
110
Reposted by xvw
Mike Sperber @sperbsen.bsky.social · 28/08/2026
The @zurihac.bsky.social folks have also put up my talk on teaching programming (Haskell edition), and it's got over 8000 views already. www.youtube.com/watch?v=iV9U...
youtube.com
Why We’re Teaching Programming Wrong: A Haskell Perspective | Michael Sperber | ZuriHac 2026
YouTube video by OST – Ostschweizer Fachhochschule
31910
xvw @xvw.lol · 30/08/2026
Inférences et modules ?
100
xvw @xvw.lol · 30/08/2026
Un langage multi paradigme... Avec FP, impératif, avec des types algébriques et de l'inférence, modules et objets ! ❤️
100
xvw @xvw.lol · 20/08/2026
What if the origin of our Design Patterns actually came from home architecture? 🏡💻 You probably know the GoF's "Design Patterns". But did you know it was directly inspired by "A Pattern Language", a 1200-page book on physical architecture? 📜 www.youtube.com/watch?v=KM0h... 🇫🇷 At @forkit.community
youtube.com
Plain Pattern Language - Lorie den Os
YouTube video by Fork it! Community
042
xvw @xvw.lol · 14/08/2026
🇫🇷 l'année passée, au #capitoleDuLibre (2025) j'ai pu partager ma passion pour #ocsigen! Un framework futuriste qui vient du monde #ocaml dans "Restoring fun at every level of web programming" ! @ocsigen.org Voici la vidéo : www.youtube.com/watch?v=qD5D...
youtube.com
Restoring fun at every level of web programming
YouTube video by Capitole du Libre
020
Reposted by xvw
Pierre Zemb @pierrezemb.fr · 14/08/2026
I just published a new blogpost about one of my favorite papers I discovered this year: "Explaining #FoundationDB's Architecture Through Compartmentalization" pierrezemb.fr/posts/founda...
pierrezemb.fr
Explaining FoundationDB's Architecture Through Compartmentalization
Compartmentalization explains FoundationDB's architecture: find the responsibilities that got coupled together, split them, and scale only the parts that can scale.
041
Reposted by xvw
GNU Guile Scheme @gnuguile.bsky.social · 13/08/2026
We love our functional programming friends! @haskell.org @ocaml.org @elixir-lang.org @gleam.run
7408
Reposted by xvw
France traversée @clementd.wtf · 12/08/2026
🌑(🌞 🌍) -> 🌞 (🌑 🌍)
052
Reposted by xvw
Adam Chalmers @adamchalmers.com · 07/08/2026
using 'null' for errors is so funny. "have you got my value?" "nah something went wrong" "oh OK. what went wrong?" "😉😉😉"
5233
xvw @xvw.lol · 05/08/2026
You need to add the www. 😅
000
xvw @xvw.lol · 04/08/2026
My girlfriend just launched her website! www.tahanea.net #website #sims #ocaml #linguistic
tahanea.net
140
Reposted by xvw
Luke Hubbard @lukeinth.bsky.social · 03/08/2026
Missed first two days of localfirstconf in person so now videos are out I’ve been catching up. This talk by @jenson.org resonates the most with me. Now is the time we should be building new and novel system interfaces www.youtube.com/watch?v=-IOL...
youtube.com
Scott Jenson — How the Desktop UX needs to evolve to keep up with Local-first
YouTube video by Local-First Conf
1235
xvw @xvw.lol · 31/07/2026
🇫🇷 Two years ago, I gave a presentation at #codeursEnSeine about... #web3 (a highly controversial topic). I’m reposting the video (in French), where I hope I managed to strike a balanced tone (and be a little funny): www.youtube.com/watch?v=32fn... I'd love to hear your feedbacks!!!
youtube.com
Le Web3, une conférence estampillée du hashtag "NoBullshit" - Xavier Van de Woestyne
YouTube video by Codeurs en Seine
011
xvw @xvw.lol · 31/07/2026
No Idea !
110
xvw @xvw.lol · 31/07/2026
Yes, also very complete. But more book, more fun!
010
Reposted by xvw
David Sancho @david.sancho.dev · 02/01/2026
I built my own JavaScript runtime in OCaml I wanted to see how far OCaml could go against Bun and Node, and also also OCaml vs zig vs c++ in similar APIs. So I built `sirocco`. Uses JavaScriptCore (same engine as Bun and Safari). Event loop with libuv and it's written in OxCaml.
13611
xvw @xvw.lol · 31/07/2026
Impressive table of content!
272
Reposted by xvw
Thomas Gazagnaire @gazagnaire.org · 22/07/2026
I have rewritten from scratch a CSS minifier/differ in pure OCaml, and it seems to be competitive with the best minifiers out there! gazagnaire.org/blog/2026-07... #ocaml #css #web
gazagnaire.org
Thomas Gazagnaire :: Cascade: A Typed CSS Toolkit in OCaml
Porting Tailwind to OCaml needed a CSS parser. The parser grew a typed AST, and a structural diff and a minifier fell out of it. Cascade 1.0.0 is that toolkit, and it turns out to be competitive with ...
0135
Reposted by xvw
Arnaud @pankzsoft.net · 09/07/2026
I love BOBKonf, it's such an enjoyable conference, I wish I could attend every year but sometimes I cannot. Definitely will try to be there in 2027. And besides I love Berlin :)
063
Reposted by xvw
France traversée @clementd.wtf · 09/07/2026
ocaml.hx is making good progress, I now have a working type-enclosing. Next would be hole-jumping tangled.org/clementd.wtf...
tangled.org
clementd.wtf/ocaml-helix
A repository on Tangled
021
xvw @xvw.lol · 05/07/2026
😍😍😍
100
Reposted by xvw
France traversée @clementd.wtf · 04/07/2026
So uh tangled.org/clementd.wtf...
tangled.org
clementd.wtf/ocaml-helix
A repository on Tangled
141
Reposted by xvw
France traversée @clementd.wtf · 01/07/2026
Je suis d'accord pour taxer go. 10€ la ligne.
171
Reposted by xvw
Lambda Nantes @lambdanantes.bsky.social · 30/06/2026
N'oubliez pas ce soir notre dernier meetup de la saison "Il n'y a pas que Git dans la vie"!
atmo.rsvp
Il n'y a pas que Git dans la vie
Pour cette dernière édition de Lambda Nantes de la saison 2025-2026, nous avons le plaisir de proposer 2 présentations sur un thème qui s'éloigne un peu des sujets usuels, celui des outils de gestion de versions. Nous remercions Epitech Nantes pour son accueil toujours généreux et précieux ! Rendez-vous 2, place Louis Daubenton, de 19h à 21h. Comme à l'accoutumée l'effort sera récompensé par du réconfort (en option et avec modération) : nous poursuivrons les discussions dans un lieu accueillant des alentours. Jujutsu : repenser le contrôle de version à l'ère moderne Le contrôle de version, on y passe du temps tous les jours, autant que les outils soient agréables à utiliser. Jujutsu, c'est un VCS récent, compatible avec Git en coulisses, mais qui propose un modèle mental radicalement simplifié : plus de staging area, des commits mutables par défaut, une résolution de conflits découplée du rebase. Des choix qui semblent étranges au premier abord, et évidents au bout d'une semaine. Dans ce talk, on verra comment Jujutsu change concrètement le quotidien: réécriture d'historique/navigation entre les révisions/gestion des conflits/..., avec des démos pratiques et un retour d'expérience après un an d'utilisation exclusive. Maxime Ménager est développeur senior chez Pledg, avec une quinzaine d'années de métier derrière lui. Arrivé tardivement aux langages fonctionnels, il a eu un coup de cœur pour Elixir, mais jongle actuellement entre Python & Go. Convaincu que les meilleurs outils sont ceux qu'on remet en question, il aime explorer ce qui existe en dehors des sentiers battus, et partager ce qu'il y trouve. Radicle : Collaboration décentralisée avec Git N'est il pas regrettable qu'un outil initialement pensé et prévu pour faciliter la collaboration entre développeurs de manière totalement décentralisée ait muté en une simple interface pour GitHub, ou même n'importe quelle autre forge centralisée ? Git, comme Mercurial en son temps, permet à chacun de travailler localement et de manipuler patches et branches à volonté en identifiant les sources de ces changements. Mais ce qui manque ce sont des mécanismes de communication de ces changements qui soient fiables, sûrs et décentralisées : une forge décentralisée et répartie qui ne soit pas contrôlée par une seule entité. C'est ce que propose le projet Radicle (https://radicle.dev) et que nous allons explorer dans cette conférence. J'essaierai de donner un aperçu le plus exhaustif de Radicle : comment le configurer et l'utiliser au quotidien, comment il permet de couvrir la plupart des besoins d'un projet de développement (issues, PRs, intégration continue, identité et permissions...), les principes sur lesquels il est basé, et la communauté qui le développe et le soutient. Arnaud Bailly développe professionnellement des logiciels depuis plus de 30 ans, dans différents environnements techniques (VBA, Java, Haskell, Rust, Javascript, Web, Desktop, Client/Server, cloud...), organisationnels (consulting, startups, big corps) et domaines métiers (finance, éditeur logiciel, blockchain, R&D).
034
Reposted by xvw
Arnaud @pankzsoft.net · 22/06/2026
Compte-tenu des prévisions caniculaires pour demain mardi 23 juin, il nous parait préférable de décaler le meetup @lambdanantes.bsky.social prévu à 19h à l'Epitech Nantes au mardi 30 juin. mobilizon.fr/events/9d4c0...
mobilizon.fr
Il n'y a pas que Git dans la vie
30 juin 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Pour cette dernière édition de Lambda Nantes de la saison 2025-2026, nous avons le plaisir de proposer 2 présentat...
024