Sign in

xvw

@xvw.lol
456 followers 270 following 331 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
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
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
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
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
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 · 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 · 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
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 ...
0125
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
Reposted by xvw
Benjamin Thuillier @gilwath.com · 16/06/2026
Why give an LLM a dynamically typed language when you could give it a real type system and a compiler that tells it exactly what's wrong? That's the bet behind Tapir. Part 1 is up: gilwath.com/articles/bui... #scala #tapir
gilwath.com
Building a Typesafe API in Scala with Tapir - Part 1: Defining Endpoints
In the age of AI, expressive languages and libraries that provide compile-time guarantees matter more than ever, and that's exactly why Tapir and Scala shine.
041
xvw @xvw.lol · 15/06/2026
🇬🇧 An explanation of the haphazard/chaotics and ad-hoc reasons that led me to choose Emacs as my primary editor (no regrets) xvw.lol/en/articles/... #emacs
xvw.lol
Emacs, how it all started (for me)
A presentation of why, and how, I started using Emacs
020
Reposted by xvw
Kuba Suder 🇵🇱🇺🇦 @mackuba.eu · 10/06/2026
I've updated my Bluesky Guide blog post 🦋 - rewritten the "federation" section to explain PDSes and AppViews - added links to a *ton* of new apps like Skyscraper, Flux, Heron, Indigo, Nubecita, Aeronaut, Hangar, Anisota, Witchsky - random updates everywhere about things that have changed on Bluesky
mackuba.eu
A complete guide to Bluesky 🦋
I've decided to write down some of the tips & tricks that I often give to friends when I send them an invite code, or the advice and answers that I sometimes give to people that I find in some feed asking about things. This of course got much longer than I planned 😅
34617
Reposted by xvw
Tangled @tangled.org · 10/06/2026
Newsletter 02 is out! blog.tangled.org/newsletter-02
blog.tangled.org
Newsletter 02
Vouching, CI logs over SSH, and more
212918
Reposted by xvw
Fabrice Riceputi @campvolant.bsky.social · 08/06/2026
418232
xvw @xvw.lol · 07/06/2026
Bye bye #Rouen ! J'y étais pour @forkit.community ! Ma seconde édition (où j'animais un workshop chaotique sur MirageOS). Le bilan est clair, en 2 ans, Fork It a réussi, grace a son organisation et sa sélection, a devenir ma conférence favorite ! Merci pour tout !
081
Reposted by xvw
France traversée @clementd.wtf · 05/06/2026
@xvw.lol traverse
111
Reposted by xvw
Benjamin Thuillier @gilwath.com · 04/06/2026
Have you ever wondered how to build automatic derivation? If you want to know more about this mechanism in Scala 3, I have written something about it. gilwath.com/articles/sca... #scala #scala3 #typeclass
gilwath.com
Automatic Typeclass Derivation in Scala 3
Building a Debuggable typeclass from scratch and teaching the Scala 3 compiler to derive it for any case class or enum, using Mirror and inline metaprogramming.
032
xvw @xvw.lol · 03/06/2026
With my Broken English :D
141
Reposted by xvw
Benjamin Thuillier @gilwath.com · 02/06/2026
YOCaml is awesome, OCaml I'm just sad that it seems that there is no well mantained kafka client 😜
011
Reposted by xvw
Benjamin Thuillier @gilwath.com · 02/06/2026
Yes, someone ( @xvw.lol ) tell me almost every week how awesome is github.com/xhtmlboi/yoc... and OCaml of course so I have to try
github.com
GitHub - xhtmlboi/yocaml: YOCaml is a static site generator, mostly written in OCaml
YOCaml is a static site generator, mostly written in OCaml - xhtmlboi/yocaml
131
Reposted by xvw
Benjamin Thuillier @gilwath.com · 01/06/2026
Did I continue my exploration of OCaml? Yes. Was it fun? Definitely. And did I learn a few things? Absolutely gilwath.com/articles/fro... #OCaml #Scala
gilwath.com
Discovering OCaml as a Scala Developer Part 2: Building a CRUD HTTP API
Building the same small Tasks CRUD API in both Scala and OCaml, and comparing the experience side by side.
1116
Reposted by xvw
Anil Madhavapeddy @avsm.amok.recoil.org.ap.brid.gy · 26/05/2026
superb piece of work getting merlin's typing recovery upstreamed into the OCaml compiler; it might even make 5.5! "the typer won't stop at the first error. Instead it will continue typing as much as possible, reporting other errors along the way" github.com/ocaml/ocaml/pull/14241
github.com
Add Merlin's Typing recovery by xvw · Pull Request #14241 · ocaml/ocaml
This PR upstreams Merlin's typing recovery to the OCaml Typechecker. This new mechanism can be enabled with the -typing-recovery cli flag. When running in that mode, the typer won't stop at...
186
xvw @xvw.lol · 25/05/2026
I'll be at @forkit.community Rouen event on June 05, 2026! Join me! www.forkit.community/events/2026-...
forkit.community
Attendee Xavier Van de Woestyne | Rouen, France, 2026
Fork it! Community’s mission is to share computer science knowledge through worldwide events.
041
Reposted by xvw
France traversée @clementd.wtf · 21/05/2026
Alt: it's traverse
041
xvw @xvw.lol · 21/05/2026
Maintenant on passe a @clementd.wtf !
030
Reposted by xvw
Arnaud @pankzsoft.net · 21/05/2026
@lambdanantes.bsky.social ca commence fort avec @etorreborre.blog qui nous parle de modularité et compositionnalité
032
xvw @xvw.lol · 21/05/2026
We are at LambdaNantes ! Hosted by Adam and @pankzsoft.net , at @epitech-officiel.bsky.social #nantes ! With @etorreborre.blog and @clementd.wtf as speakers !
073