xvw

xvw

@xvw.lol

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). 🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en

465 followers273 following333 posts

xvw reposted

xvw
@xvw.lol

My work over the last few months :) #OCaml #IDE #typing

tarides.com@tarides.com

Your editor can still tell you useful things about code that doesn't compile yet. That's Typing Recovery. It used to live in Merlin's patched copy of the OCaml front end, and it now lives in OCaml itself. tarides.com/blog/2026-10...

xvw
@xvw.lol

My work over the last few months :) #OCaml #IDE #typing

tarides.com@tarides.com

Your editor can still tell you useful things about code that doesn't compile yet. That's Typing Recovery. It used to live in Merlin's patched copy of the OCaml front end, and it now lives in OCaml itself. tarides.com/blog/2026-10...

xvw reposted

Lambda Nantes
@lambdanantes.bsky.social

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.frAtelier développement Web avec OCaml13 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...

xvw reposted

tarides.com
@tarides.com

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

xvw
@xvw.lol

Next Step ! Sébastien nous parle de ... "La couleur du bruit" ! Une édition haute en couleur et diversifiée !

xvw reposted

OCaml
@ocaml.org
dlvr.itRelease of OCaml 5.5.1We 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
xvw
@xvw.lol

J'y serai !

Lambda Nantes@lambdanantes.bsky.social

Une semaine avant le premier Lambda Nantes de la saison, le 24 septembre à partir de 19 heures dans les locaux d'Epitech Nantes. Nous parlerons des cultures de la programmation (/cc @tomasp.net ) et de la couleurs des bruits. Venez nombreux et nombreuses ! lambdanant.es/events/2026-...

lambdanant.esMaking sure you're not a bot!

xvw reposted

Tomas Petricek
@tomasp.net

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.netDenicek: Computational substrate for document-oriented end-user programmingProgramming 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...
xvw
@xvw.lol

What a surprise, here is the Tshirt of the lady sitting next to me! #ocaml #international #fp

xvw reposted

Adam Chalmers
@adamchalmers.com

using 'null' for errors is so funny. "have you got my value?" "nah something went wrong" "oh OK. what went wrong?" "😉😉😉"

xvw reposted

David Sancho
@david.sancho.dev

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.

xvw
@xvw.lol

Impressive table of content!

Leanpub@leanpub.bsky.social

The OCaml Handbook: A Complete Guide from First Program to Production Systems by Steve T. Publications is a new release on Leanpub! Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook … leanpub.com/theocamlhand...

xvw reposted

Thomas Gazagnaire
@gazagnaire.org

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.orgThomas Gazagnaire :: Cascade: A Typed CSS Toolkit in OCamlPorting 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 ...

xvw reposted

Arnaud
@pankzsoft.net

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

BOB Konferenz@bobkonf.de

Save the date: #BOBkonf2027 takes place Friday, 26 February 2027, at Scandic Hotel Potsdamer Platz in Berlin! Until then, why not re-watch some (or all!) of the excellent talks from previous conferences on our website? You can find them via bobkonf.de/archive/ #BOBkonf

xvw reposted

France traversée
@clementd.wtf

Je suis d'accord pour taxer go. 10€ la ligne.

Docteur Bagarre@docteurbagarre.bsky.social

Donc le programme du PS proposé... une taxation du Go. Télécharger Rogue Trader sur Steam pourra donc vous coûter 40*0.1 = 4 euros.

xvw reposted

Lambda Nantes
@lambdanantes.bsky.social

N'oubliez pas ce soir notre dernier meetup de la saison "Il n'y a pas que Git dans la vie"!

atmo.rsvpIl n'y a pas que Git dans la viePour 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).

xvw reposted

Arnaud
@pankzsoft.net

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.frIl n'y a pas que Git dans la vie30 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...

xvw reposted

Benjamin Thuillier
@gilwath.com

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.comBuilding a Typesafe API in Scala with Tapir - Part 1: Defining EndpointsIn 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.

xvw reposted

Kuba Suder 🇵🇱🇺🇦
@mackuba.eu

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